| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
A characterization of $${\square(\kappa^{+})}$$ in extender models
|
Kypriotakis, Kyriakos
|
|
2012
|
52 |
1-2 |
p. 67-90
|
article
|
| 2 |
Antibasis theorems for $${\Pi^0_1}$$ classes and the jump hierarchy
|
Çevik, Ahmet
|
|
2012
|
52 |
1-2 |
p. 137-142
|
article
|
| 3 |
A saturation property of structures obtained by forcing with a compact family of random variables
|
Krajíček, Jan
|
|
2012
|
52 |
1-2 |
p. 19-28
|
article
|
| 4 |
Chang’s Conjecture and weak square
|
Sakai, Hiroshi
|
|
2012
|
52 |
1-2 |
p. 29-45
|
article
|
| 5 |
Club degrees of rigidity and almost Kurepa trees
|
Fuchs, Gunter
|
|
2012
|
52 |
1-2 |
p. 47-66
|
article
|
| 6 |
Effective algebraicity
|
Steiner, Rebecca M.
|
|
2012
|
52 |
1-2 |
p. 91-112
|
article
|
| 7 |
Non-deterministic inductive definitions
|
Berg, Benno van den
|
|
2012
|
52 |
1-2 |
p. 113-135
|
article
|
| 8 |
On elementary equivalence in fuzzy predicate logics
|
Dellunde, Pilar
|
|
2012
|
52 |
1-2 |
p. 1-17
|
article
|
| 9 |
Quelques réflexions inévitables
|
O. Wagner, Frank
|
|
2012
|
52 |
1-2 |
p. 159-171
|
article
|
| 10 |
Real closures of models of weak arithmetic
|
Jeřábek, Emil
|
|
2012
|
52 |
1-2 |
p. 143-157
|
article
|
| 11 |
The taming of recurrences in computability logic through cirquent calculus, Part I
|
Japaridze, Giorgi
|
|
2012
|
52 |
1-2 |
p. 173-212
|
article
|
| 12 |
The taming of recurrences in computability logic through cirquent calculus, Part II
|
Japaridze, Giorgi
|
|
2012
|
52 |
1-2 |
p. 213-259
|
article
|
Journal description