| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A comparison of two systems of ordinal notations
|
Simmons, Harold
|
|
2003
|
|
1 |
p. 65-83
|
artikel
|
| 2 |
A covering lemma for L(ℝ)
|
Cunningham, Daniel W.
|
|
2002
|
|
1 |
p. 49-54
|
artikel
|
| 3 |
A new conservation result of WKL0 over RCA0
|
Fernandes, António Marques
|
|
2002
|
|
1 |
p. 55-63
|
artikel
|
| 4 |
An intuitionistic fixed point theory
|
Buchholz, Wilfried
|
|
1997
|
|
1 |
p. 21-27
|
artikel
|
| 5 |
An L-like model containing very large cardinals
|
Apter, Arthur W.
|
|
2008
|
|
1 |
p. 65-78
|
artikel
|
| 6 |
An ordinal analysis of stability
|
Rathjen, Michael
|
|
2004
|
|
1 |
p. 1-62
|
artikel
|
| 7 |
A note on extensions of infinitary logic
|
Shelah, Saharon
|
|
2004
|
|
1 |
p. 63-69
|
artikel
|
| 8 |
A note on the schemes of replacement and collection
|
Mathias, A. R. D.
|
|
2006
|
|
1 |
p. 43-50
|
artikel
|
| 9 |
A note on the Σ1 spectrum of a theory
|
Möllerfeld, Michael
|
|
2002
|
|
1 |
p. 33-34
|
artikel
|
| 10 |
A proof of Gentzen's Hauptsatz without multicut
|
von Plato, Jan
|
|
2001
|
|
1 |
p. 9-18
|
artikel
|
| 11 |
A term rewriting characterization of the functions computable in polynomial space
|
Oitavem, Isabel
|
|
2002
|
|
1 |
p. 35-47
|
artikel
|
| 12 |
A term rewriting characterization of the polytime functions and related complexity classes
|
Beckmann, Arnold
|
|
1996
|
|
1 |
p. 11-30
|
artikel
|
| 13 |
Axiomatization of local-global principles for pp-formulas in spaces of orderings
|
Astier, V.
|
|
2004
|
|
1 |
p. 77-95
|
artikel
|
| 14 |
Categoricity of computable infinitary theories
|
Calvert, W.
|
|
2008
|
|
1 |
p. 25-38
|
artikel
|
| 15 |
Chains and antichains in partial orderings
|
Harizanov, Valentina S.
|
|
2008
|
|
1 |
p. 39-53
|
artikel
|
| 16 |
Completeness theorem for topological class models
|
Djordjevic, Radosav
|
|
2006
|
|
1 |
p. 1-8
|
artikel
|
| 17 |
Complex analysis in subsystems of second order arithmetic
|
Yokoyama, Keita
|
|
2006
|
|
1 |
p. 15-35
|
artikel
|
| 18 |
Construction of universal modal worlds based on hyperset theory
|
Tsujishita, Toru
|
|
1999
|
|
1 |
p. 1-18
|
artikel
|
| 19 |
Degrees of categoricity of computable structures
|
Fokina, Ekaterina B.
|
|
2009
|
|
1 |
p. 51-67
|
artikel
|
| 20 |
Degree spectra of the successor relation of computable linear orderings
|
Chubb, Jennifer
|
|
2008
|
|
1 |
p. 7-13
|
artikel
|
| 21 |
Denotational semantics for intuitionistic type theory using a hierarchy of domains with totality
|
Waagbø, Geir
|
|
1999
|
|
1 |
p. 19-60
|
artikel
|
| 22 |
Diamond and antichains
|
Cummings, James
|
|
2004
|
|
1 |
p. 71-76
|
artikel
|
| 23 |
Effectively inseparable Boolean algebras in lattices of sentences
|
Shavrukov, V. Yu.
|
|
2009
|
|
1 |
p. 69-89
|
artikel
|
| 24 |
Finding generic filters by playing games
|
Mildenberger, Heike
|
|
2009
|
|
1 |
p. 91-118
|
artikel
|
| 25 |
Fragments of $HA$ based on $\Sigma_1$-induction
|
Wehmeier, Kai F.
|
|
1997
|
|
1 |
p. 37-49
|
artikel
|
| 26 |
Free Łukasiewicz implication algebras
|
Díaz Varela, José Patricio
|
|
2008
|
|
1 |
p. 25-33
|
artikel
|
| 27 |
Fuzzy equational logic
|
Bělohlávek, Radim
|
|
2002
|
|
1 |
p. 83-90
|
artikel
|
| 28 |
Fuzzy Horn logic I
|
Bělohlávek, Radim
|
|
2005
|
|
1 |
p. 3-51
|
artikel
|
| 29 |
Games played on partial isomorphisms
|
Väänänen, Jouko
|
|
2003
|
|
1 |
p. 19-30
|
artikel
|
| 30 |
Homogeneously Souslin sets in small inner models
|
Koepke, Peter
|
|
2005
|
|
1 |
p. 53-61
|
artikel
|
| 31 |
Identity crises and strong compactness
|
Apter, Arthur W.
|
|
2001
|
|
1 |
p. 25-38
|
artikel
|
| 32 |
Infima of d.r.e. degrees
|
Liu, Jiang
|
|
2009
|
|
1 |
p. 35-49
|
artikel
|
| 33 |
Intuitionistic choice and classical logic
|
Coquand, Thierry
|
|
2000
|
|
1 |
p. 53-74
|
artikel
|
| 34 |
Isolated d.r.e. degrees are dense in r.e. degree structure
|
Ding, Decheng
|
|
1996
|
|
1 |
p. 1-10
|
artikel
|
| 35 |
Linear orders with distinguished function symbol
|
Cenzer, Douglas
|
|
2008
|
|
1 |
p. 63-76
|
artikel
|
| 36 |
Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals
|
Kohlenbach, Ulrich
|
|
1996
|
|
1 |
p. 31-71
|
artikel
|
| 37 |
Maximal cofinitary groups
|
Zhang, Yi
|
|
2000
|
|
1 |
p. 41-52
|
artikel
|
| 38 |
More Jonsson Algebras
|
Shelah, Saharon
|
|
2002
|
|
1 |
p. 1-44
|
artikel
|
| 39 |
Non-definability of the Ackermann function with type 1 partial primitive recursion
|
Niggl, Karl-Heinz
|
|
1997
|
|
1 |
p. 1-13
|
artikel
|
| 40 |
On a question of Pereira
|
Gitik, Moti
|
|
2008
|
|
1 |
p. 53-64
|
artikel
|
| 41 |
On complexity reduction of Σ1 formulas
|
Adamowicz, Zofia
|
|
2002
|
|
1 |
p. 45-58
|
artikel
|
| 42 |
On meta complexity of propositional formulas and propositional proofs
|
Naumov, Pavel
|
|
2008
|
|
1 |
p. 35-52
|
artikel
|
| 43 |
On nice equivalence relations on λ2
|
Shelah, Saharon
|
|
2003
|
|
1 |
p. 31-64
|
artikel
|
| 44 |
On ordering and multiplication of natural numbers
|
Bendová, Kamila
|
|
2001
|
|
1 |
p. 19-23
|
artikel
|
| 45 |
On pairs of free modules over a Dedekind domain
|
Cittadini, Saverio
|
|
2005
|
|
1 |
p. 75-95
|
artikel
|
| 46 |
On potential isomorphism and non-structure
|
Huuskonen, Taneli
|
|
2003
|
|
1 |
p. 85-120
|
artikel
|
| 47 |
On the Jordan-Hölder decomposition of proof nets
|
Puite, Quintijn
|
|
1997
|
|
1 |
p. 59-65
|
artikel
|
| 48 |
On the predicate logics of continuous t-norm BL-algebras
|
Montagna, Franco
|
|
2004
|
|
1 |
p. 97-114
|
artikel
|
| 49 |
On two problems concerning end extensions
|
Cornaros, Ch.
|
|
2007
|
|
1 |
p. 1-14
|
artikel
|
| 50 |
On two questions concerning the automorphism groups of countable recursively saturated models of PA
|
Kossak, Roman
|
|
1996
|
|
1 |
p. 73-79
|
artikel
|
| 51 |
Pavelka-style completeness in expansions of Łukasiewicz logic
|
Freytes, Hector
|
|
2008
|
|
1 |
p. 15-23
|
artikel
|
| 52 |
Possible size of an ultrapower of $\omega$
|
Jin, Renling
|
|
1999
|
|
1 |
p. 61-77
|
artikel
|
| 53 |
Preface
|
Cenzer, Douglas
|
|
2008
|
|
1 |
p. 1-6
|
artikel
|
| 54 |
Preservation theorems for bounded formulas
|
Moniri, Morteza
|
|
2006
|
|
1 |
p. 9-14
|
artikel
|
| 55 |
Ramsey’s theorem and König’s Lemma
|
Forster, T. E.
|
|
2006
|
|
1 |
p. 37-42
|
artikel
|
| 56 |
Realizing Mahlo set theory in type theory
|
Rathjen, Michael
|
|
2002
|
|
1 |
p. 89-101
|
artikel
|
| 57 |
Reverse mathematics of separably closed sets
|
Hirst, Jeffry L.
|
|
2005
|
|
1 |
p. 1-2
|
artikel
|
| 58 |
Rings of algebraic numbers in infinite extensions of $${\mathbb {Q}}$$ and elliptic curves retaining their rank
|
Shlapentokh, Alexandra
|
|
2008
|
|
1 |
p. 77-114
|
artikel
|
| 59 |
Shelah's stability spectrum and homogeneity spectrum in finite diagrams
|
Grossberg, Rami
|
|
2002
|
|
1 |
p. 1-31
|
artikel
|
| 60 |
Short proofs of normalization for the simply- typed λ-calculus, permutative conversions and Gödel's T
|
Joachimski, Felix
|
|
2002
|
|
1 |
p. 59-87
|
artikel
|
| 61 |
Sierpiński-Zygmund functions that are Darboux, almost continuous, or have a perfect road
|
Balcerzak, Marek
|
|
1997
|
|
1 |
p. 29-35
|
artikel
|
| 62 |
Simply terminating rewrite systems with long derivations
|
Lepper, Ingo
|
|
2003
|
|
1 |
p. 1-18
|
artikel
|
| 63 |
Some weak fragments of Martin’s axiom related to the rectangle refining property
|
Yorioka, Teruyuki
|
|
2008
|
|
1 |
p. 79-90
|
artikel
|
| 64 |
Space complexity of Abelian groups
|
Cenzer, Douglas
|
|
2008
|
|
1 |
p. 115-140
|
artikel
|
| 65 |
Strict $${\Pi^1_1}$$-reflection in bounded arithmetic
|
Fernandes, António M.
|
|
2009
|
|
1 |
p. 17-34
|
artikel
|
| 66 |
Strong normalization of a symmetric lambda calculus for second-order classical logic
|
Yamagata, Yoriyuki
|
|
2002
|
|
1 |
p. 91-99
|
artikel
|
| 67 |
Supersimplicity and quadratic extensions
|
Martin-Pizarro, A.
|
|
2008
|
|
1 |
p. 55-61
|
artikel
|
| 68 |
The Chang-Łoś-Suszko theorem in a topological setting
|
Bankston, Paul
|
|
2005
|
|
1 |
p. 97-112
|
artikel
|
| 69 |
The computably enumerable degrees are locally non-cappable
|
Giorgi, Matthew B.
|
|
2003
|
|
1 |
p. 121-139
|
artikel
|
| 70 |
The elementary diagram of a trivial, weakly minimal structure is near model complete
|
Laskowski, Michael C.
|
|
2008
|
|
1 |
p. 15-24
|
artikel
|
| 71 |
The function $\lfloor a/m\rfloor$ in sharply bounded arithmetic
|
Tada, Mitsuru
|
|
1997
|
|
1 |
p. 51-57
|
artikel
|
| 72 |
The $L\Pi$ and $L\Pi\frac{1}{2}$ logics: two complete fuzzy systems joining Łukasiewicz and Product Logics
|
Esteva, Francesc
|
|
2001
|
|
1 |
p. 39-67
|
artikel
|
| 73 |
The number of lines in Frege proofs with substitution
|
Urquhart, Alasdair
|
|
1997
|
|
1 |
p. 15-19
|
artikel
|
| 74 |
ℋ-theories, fragments of HA and PA-normality
|
Moniri, Morteza
|
|
2002
|
|
1 |
p. 101-105
|
artikel
|
| 75 |
The problem of the formalization of constructive topology
|
Valentini, Silvio
|
|
2004
|
|
1 |
p. 115-129
|
artikel
|
| 76 |
The strength of Martin-Löf type theory with a superuniverse. Part I
|
Rathjen, Michael
|
|
2000
|
|
1 |
p. 1-39
|
artikel
|
| 77 |
The ∀∃-theory of the effectively closed Medvedev degrees is decidable
|
Cole, Joshua A.
|
|
2009
|
|
1 |
p. 1-16
|
artikel
|
| 78 |
The Wholeness Axioms and V=HOD
|
Hamkins, Joel David
|
|
2001
|
|
1 |
p. 1-8
|
artikel
|
| 79 |
Towards Martins minimum
|
Bartoszynski, Tomek
|
|
2002
|
|
1 |
p. 65-82
|
artikel
|
| 80 |
Uncountably categorical local tame abstract elementary classes with disjoint amalgamation
|
Hyttinen, Tapani
|
|
2005
|
|
1 |
p. 63-73
|
artikel
|
Tijdschrift beschrijving