| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Additivity of the two-dimensional Miller ideal
|
Spinas, Otmar
|
|
2010
|
|
6 |
p. 617-658
|
artikel
|
| 2 |
A hierarchy of filters smaller than $CF_\kappa\lambda--<$
|
Abe, Yoshihiro
|
|
1997
|
|
6 |
p. 385-397
|
artikel
|
| 3 |
A jump inversion theorem for the enumeration jump
|
Soskov, I.N.
|
|
2000
|
|
6 |
p. 417-437
|
artikel
|
| 4 |
A lattice-valued set theory
|
Titani, Satoko
|
|
1999
|
|
6 |
p. 395-421
|
artikel
|
| 5 |
A nonstandard set theory in the $\displaystyle\in$-language
|
Kanovei, Vladimir
|
|
2000
|
|
6 |
p. 403-416
|
artikel
|
| 6 |
A note on end extensions
|
Cornaros, Ch.
|
|
2000
|
|
6 |
p. 459-463
|
artikel
|
| 7 |
A primer of simple theories
|
Grossberg, Rami
|
|
2002
|
|
6 |
p. 541-580
|
artikel
|
| 8 |
A proof of Hechler's theorem on embedding $\aleph_1$-directed sets cofinally into $(\omega^\omega,>^*)$
|
Burke, Maxim R.
|
|
1997
|
|
6 |
p. 399-403
|
artikel
|
| 9 |
A proof of strongly uniform termination for Gödel's $T$ by methods from local predicativity
|
Weiermann, Andreas
|
|
1997
|
|
6 |
p. 445-460
|
artikel
|
| 10 |
Boolean deductive systems of BL-algebras
|
Turunen, Esko
|
|
2001
|
|
6 |
p. 467-473
|
artikel
|
| 11 |
Bounded forcing axioms as principles of generic absoluteness
|
Bagaria, Joan
|
|
2000
|
|
6 |
p. 393-401
|
artikel
|
| 12 |
Bounded truth table does not reduce the one-query tautologies to a random oracle
|
Suzuki, Toshio
|
|
2005
|
|
6 |
p. 751-762
|
artikel
|
| 13 |
Deep sequent systems for modal logic
|
Brünnler, Kai
|
|
2009
|
|
6 |
p. 551-577
|
artikel
|
| 14 |
Density of the Medvedev lattice of Π01 classes
|
Cenzer, Douglas
|
|
2003
|
|
6 |
p. 583-600
|
artikel
|
| 15 |
Entropy of formulas
|
Koponen, Vera
|
|
2009
|
|
6 |
p. 515-522
|
artikel
|
| 16 |
Equality of proofs for linear equality
|
Došen, Kosta
|
|
2008
|
|
6 |
p. 549-565
|
artikel
|
| 17 |
Forcing the Mapping Reflection Principle by finite approximations
|
Miyamoto, Tadatoshi
|
|
|
|
6 |
p. 737-748
|
artikel
|
| 18 |
Goodness in the enumeration and singleton degrees
|
Harris, Charles M.
|
|
2010
|
|
6 |
p. 673-691
|
artikel
|
| 19 |
Hardness assumptions in the foundations of theoretical computer science
|
Krajíček, Jan
|
|
2005
|
|
6 |
p. 667-675
|
artikel
|
| 20 |
Infinite decreasing chains in the Mitchell order
|
Ben-Neria, Omer
|
|
|
|
6 |
p. 771-781
|
artikel
|
| 21 |
Interpreting the compositional truth predicate in models of arithmetic
|
Cieśliński, Cezary
|
|
|
|
6 |
p. 749-770
|
artikel
|
| 22 |
Kolmogorov complexity and the second incompleteness theorem
|
Kikuchi, Makoto
|
|
1997
|
|
6 |
p. 437-443
|
artikel
|
| 23 |
La valeur d'un entier classique en $\lambda\mu$-calcul
|
Nour, Karim
|
|
1997
|
|
6 |
p. 461-473
|
artikel
|
| 24 |
Leibniz filters and the strong version of a protoalgebraic logic
|
Font, Josep Maria
|
|
2001
|
|
6 |
p. 437-465
|
artikel
|
| 25 |
Limit lemmas and jump inversion in the enumeration degrees
|
Griffiths, Evan J.
|
|
2003
|
|
6 |
p. 553-562
|
artikel
|
| 26 |
Limit spaces and transfinite types
|
Normann, Dag
|
|
2002
|
|
6 |
p. 525-539
|
artikel
|
| 27 |
Local order property in nonelementary classes
|
Grossberg, Rami
|
|
2000
|
|
6 |
p. 439-457
|
artikel
|
| 28 |
Model completeness and relative decidability
|
Chubb, Jennifer
|
|
|
|
6 |
p. 721-735
|
artikel
|
| 29 |
More on full reflection below $${\aleph_\omega}$$
|
Cummings, James
|
|
2010
|
|
6 |
p. 659-671
|
artikel
|
| 30 |
On arithmetic in the Cantor- Łukasiewicz fuzzy set theory
|
Hájek, Petr
|
|
2005
|
|
6 |
p. 763-782
|
artikel
|
| 31 |
On Herbrand consistency in weak arithmetic
|
Adamowicz, Zofia
|
|
2001
|
|
6 |
p. 399-413
|
artikel
|
| 32 |
On normal forms in Łukasiewicz logic
|
Di Nola , A.
|
|
2004
|
|
6 |
p. 795-823
|
artikel
|
| 33 |
On successors of Jónsson cardinals
|
Vickers, J.
|
|
2000
|
|
6 |
p. 465-473
|
artikel
|
| 34 |
On the filter of computably enumerable supersets of an r-maximal set
|
Lempp, Steffen
|
|
2001
|
|
6 |
p. 415-423
|
artikel
|
| 35 |
On the indestructibility aspects of identity crisis
|
Sargsyan, Grigor
|
|
2009
|
|
6 |
p. 493-513
|
artikel
|
| 36 |
On the r.e. predecessors of d.r.e. degrees
|
Ishmukhametov, Shamil
|
|
1999
|
|
6 |
p. 373-386
|
artikel
|
| 37 |
On the weak Freese–Nation property of ?(ω)
|
Fuchino, Sakaé
|
|
2001
|
|
6 |
p. 425-435
|
artikel
|
| 38 |
On ultraproducts of Boolean algebras and irr
|
Shelah, Saharon
|
|
2003
|
|
6 |
p. 569-581
|
artikel
|
| 39 |
Partitions of large Rado graphs
|
Džamonja, M.
|
|
2009
|
|
6 |
p. 579-606
|
artikel
|
| 40 |
Post's problem for supertasks has both positive and negative solutions
|
Hamkins, Joel David
|
|
2002
|
|
6 |
p. 507-523
|
artikel
|
| 41 |
Potential continuity of colorings
|
Geschke, Stefan
|
|
2008
|
|
6 |
p. 567-578
|
artikel
|
| 42 |
Preface
|
|
|
2005
|
|
6 |
p. 665-666
|
artikel
|
| 43 |
Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM
|
Takaki, Osamu
|
|
2005
|
|
6 |
p. 689-709
|
artikel
|
| 44 |
Proof-theoretic analysis by iterated reflection
|
Beklemishev, L.D.
|
|
2003
|
|
6 |
p. 515-552
|
artikel
|
| 45 |
Proper forcing extensions and Solovay models
|
Bagaria, Joan
|
|
2004
|
|
6 |
p. 739-750
|
artikel
|
| 46 |
Propositional logic of continuous transformations in Cantor space
|
Mints, Grigori
|
|
2005
|
|
6 |
p. 783-799
|
artikel
|
| 47 |
Quantified propositional calculus and a second-order theory for NC1
|
Cook, Stephen
|
|
2005
|
|
6 |
p. 711-749
|
artikel
|
| 48 |
Rank in set theory without foundation
|
Marshall, M. Victoria
|
|
1999
|
|
6 |
p. 387-393
|
artikel
|
| 49 |
Register computations on ordinals
|
Koepke, Peter
|
|
2008
|
|
6 |
p. 529-548
|
artikel
|
| 50 |
Relating decision and search algorithms for rational points on curves of higher genus
|
Kim, Minhyong
|
|
2003
|
|
6 |
p. 563-568
|
artikel
|
| 51 |
Resplendent models and $${\Sigma_1^1}$$ -definability with an oracle
|
Bovykin, Andrey
|
|
2008
|
|
6 |
p. 607-623
|
artikel
|
| 52 |
Saturated models in institutions
|
Diaconescu, Răzvan
|
|
2010
|
|
6 |
p. 693-723
|
artikel
|
| 53 |
Separations of first and second order theories in bounded arithmetic
|
Yasumoto, Masahiro
|
|
2005
|
|
6 |
p. 685-688
|
artikel
|
| 54 |
Shelah’s work on non-semi-proper iterations, I
|
Schlindwein, Chaz
|
|
2008
|
|
6 |
p. 579-606
|
artikel
|
| 55 |
Softness of MALL proof-structures and a correctness criterion with Mix
|
Hamano, Masahiro
|
|
2004
|
|
6 |
p. 751-794
|
artikel
|
| 56 |
The diamond principle for the uniformity of the meager ideal implies the existence of a destructible gap
|
Yorioka, Teruyuki
|
|
2005
|
|
6 |
p. 677-683
|
artikel
|
| 57 |
The equivalence of theories that characterize ALogTime
|
Nguyen, Phuong
|
|
2009
|
|
6 |
p. 523-549
|
artikel
|
| 58 |
Topological complexity of locally finite ω-languages
|
Finkel, Olivier
|
|
2008
|
|
6 |
p. 625-651
|
artikel
|
| 59 |
Total objects in inductively defined types
|
Kristiansen, Lill
|
|
1997
|
|
6 |
p. 405-436
|
artikel
|
| 60 |
Towers and clubs
|
Matet, Pierre
|
|
|
|
6 |
p. 683-719
|
artikel
|
| 61 |
Transfer principles in nonstandard intuitionistic arithmetic
|
Avigad, J.
|
|
2002
|
|
6 |
p. 581-602
|
artikel
|
| 62 |
Ultraproducts and Chevalley groups
|
Point, Françoise
|
|
1999
|
|
6 |
p. 355-372
|
artikel
|
| 63 |
Very simple theories without forking
|
Newelski, Ludomir
|
|
2003
|
|
6 |
p. 601-616
|
artikel
|
| 64 |
What is so special with the powerset operation?
|
Tzouvaras, Athanassios
|
|
2004
|
|
6 |
p. 723-737
|
artikel
|
Tijdschrift beschrijving