nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A characterization of $${\square(\kappa^{+})}$$ in extender models
|
Kypriotakis, Kyriakos |
|
2012 |
52 |
1-2 |
p. 67-90 |
artikel |
2 |
Antibasis theorems for $${\Pi^0_1}$$ classes and the jump hierarchy
|
Çevik, Ahmet |
|
2012 |
52 |
1-2 |
p. 137-142 |
artikel |
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 |
artikel |
4 |
Chang’s Conjecture and weak square
|
Sakai, Hiroshi |
|
2012 |
52 |
1-2 |
p. 29-45 |
artikel |
5 |
Club degrees of rigidity and almost Kurepa trees
|
Fuchs, Gunter |
|
2012 |
52 |
1-2 |
p. 47-66 |
artikel |
6 |
Effective algebraicity
|
Steiner, Rebecca M. |
|
2012 |
52 |
1-2 |
p. 91-112 |
artikel |
7 |
Non-deterministic inductive definitions
|
Berg, Benno van den |
|
2012 |
52 |
1-2 |
p. 113-135 |
artikel |
8 |
On elementary equivalence in fuzzy predicate logics
|
Dellunde, Pilar |
|
2012 |
52 |
1-2 |
p. 1-17 |
artikel |
9 |
Quelques réflexions inévitables
|
O. Wagner, Frank |
|
2012 |
52 |
1-2 |
p. 159-171 |
artikel |
10 |
Real closures of models of weak arithmetic
|
Jeřábek, Emil |
|
2012 |
52 |
1-2 |
p. 143-157 |
artikel |
11 |
The taming of recurrences in computability logic through cirquent calculus, Part I
|
Japaridze, Giorgi |
|
2012 |
52 |
1-2 |
p. 173-212 |
artikel |
12 |
The taming of recurrences in computability logic through cirquent calculus, Part II
|
Japaridze, Giorgi |
|
2012 |
52 |
1-2 |
p. 213-259 |
artikel |