nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A comparison of well-known ordinal notation systems for ε 0
|
Lee, Gyesik |
|
2007 |
|
1-2 |
p. 48-70 23 p. |
artikel |
2 |
A contribution to the end-extension problem and the Π1 conservativeness problem
|
Adamowicz, Zofia |
|
1993 |
|
1-2 |
p. 3-48 46 p. |
artikel |
3 |
Adding clubs with square
|
Krueger, John |
|
2006 |
|
1-2 |
p. 1-28 28 p. |
artikel |
4 |
A generalized notion of weak interpretability and the corresponding modal logic
|
Dzhaparidze, Giorgie |
|
1993 |
|
1-2 |
p. 113-160 48 p. |
artikel |
5 |
A geometrical procedure for computing relaxation
|
Pulcini, Gabriele |
|
2009 |
|
1-2 |
p. 80-89 10 p. |
artikel |
6 |
Almost free groups and Ehrenfeucht–Fraı̈ssé games for successors of singular cardinals
|
Shelah, Saharon |
|
2002 |
|
1-2 |
p. 147-173 27 p. |
artikel |
7 |
A model-theoretic characterization of the weak pigeonhole principle
|
Thapen, Neil |
|
2002 |
|
1-2 |
p. 175-195 21 p. |
artikel |
8 |
An algebraic approach to subframe logics. Intuitionistic case
|
Bezhanishvili, Guram |
|
2007 |
|
1-2 |
p. 84-100 17 p. |
artikel |
9 |
Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results
|
Weiermann, Andreas |
|
2005 |
|
1-2 |
p. 189-218 30 p. |
artikel |
10 |
A note on the diagonalizable algebras of PA and ZF
|
Shavrukov, V.Yu. |
|
1993 |
|
1-2 |
p. 161-173 13 p. |
artikel |
11 |
A note on the notion of truth in fuzzy logic
|
Hájek, Petr |
|
2001 |
|
1-2 |
p. 65-69 5 p. |
artikel |
12 |
A sharpened version of McAloon's theorem on initial segments of models of IΔ 0
|
D'Aquino, Paola |
|
1993 |
|
1-2 |
p. 49-62 14 p. |
artikel |
13 |
A simple proof of second-order strong normalization with permutative conversions
|
Tatsuta, Makoto |
|
2005 |
|
1-2 |
p. 134-155 22 p. |
artikel |
14 |
A strong boundedness theorem for dilators
|
Kechris, A.S. |
|
1991 |
|
1-2 |
p. 93-97 5 p. |
artikel |
15 |
A term calculus for (co-)recursive definitions on streamlike data structures
|
Buchholz, Wilfried |
|
2005 |
|
1-2 |
p. 75-90 16 p. |
artikel |
16 |
Automorphism groups of differentially closed fields
|
Konnerth, Reinhold |
|
2002 |
|
1-2 |
p. 1-60 60 p. |
artikel |
17 |
Axiomatizing the monodic fragment of first-order temporal logic
|
Wolter, Frank |
|
2002 |
|
1-2 |
p. 133-145 13 p. |
artikel |
18 |
Bounded arithmetic and the polynomial hierarchy
|
Krajíček, Jan |
|
1991 |
|
1-2 |
p. 143-153 11 p. |
artikel |
19 |
Boundedness theorems for dilators and ptykes
|
S. Kechris, Alexander |
|
1991 |
|
1-2 |
p. 79-92 14 p. |
artikel |
20 |
Bounding computably enumerable degrees in the Ershov hierarchy
|
Li, Angsheng |
|
2006 |
|
1-2 |
p. 79-88 10 p. |
artikel |
21 |
Categoricity in abstract elementary classes with no maximal models
|
VanDieren, Monica |
|
2006 |
|
1-2 |
p. 108-147 40 p. |
artikel |
22 |
Cell decomposition and dimension function in the theory of closed ordered differential fields
|
Brihaye, Thomas |
|
2009 |
|
1-2 |
p. 111-128 18 p. |
artikel |
23 |
Changing the heights of automorphism towers
|
Hamkins, Joel David |
|
2000 |
|
1-2 |
p. 139-157 19 p. |
artikel |
24 |
Classification theory through stationary logic
|
Appenzeller, Fred |
|
2000 |
|
1-2 |
p. 27-68 42 p. |
artikel |
25 |
Coherence for star-autonomous categories
|
Došen, Kosta |
|
2006 |
|
1-2 |
p. 225-242 18 p. |
artikel |
26 |
Coherence in linear predicate logic
|
Došen, Kosta |
|
2009 |
|
1-2 |
p. 125-153 29 p. |
artikel |
27 |
Completeness proofs for propositional logic with polynomial-time connectives
|
Crossley, John N. |
|
1989 |
|
1-2 |
p. 39-52 14 p. |
artikel |
28 |
Δ 0-complexity of the relation y = Π i ⩽ n F(i)
|
Berarducci, Alessandro |
|
1995 |
|
1-2 |
p. 49-56 8 p. |
artikel |
29 |
Complexity-theoretic algebra II: Boolean algebras
|
Nerode, A. |
|
1989 |
|
1-2 |
p. 71-99 29 p. |
artikel |
30 |
Constructive compact operators on a Hilbert space
|
Ishihara, Hajime |
|
1991 |
|
1-2 |
p. 31-37 7 p. |
artikel |
31 |
Contents
|
|
|
2001 |
|
1-2 |
p. v-vi nvt p. |
artikel |
32 |
Contents
|
|
|
2005 |
|
1-2 |
p. vi- 1 p. |
artikel |
33 |
Controlling witnesses
|
Baaz, Matthias |
|
2005 |
|
1-2 |
p. 22-29 8 p. |
artikel |
34 |
CZF and Second Order Arithmetic
|
Lubarsky, Robert S. |
|
2006 |
|
1-2 |
p. 29-34 6 p. |
artikel |
35 |
Degrees of orderings not isomorphic to recursive linear orderings
|
Jockusch Jr., Carl G. |
|
1991 |
|
1-2 |
p. 39-64 26 p. |
artikel |
36 |
Describing proofs by short tautologies
|
Hetzl, Stefan |
|
2009 |
|
1-2 |
p. 129-145 17 p. |
artikel |
37 |
Domain theory in logical form *
|
Abramsky, Samson |
|
1991 |
|
1-2 |
p. 1-77 77 p. |
artikel |
38 |
Editorial Board
|
|
|
2009 |
|
1-2 |
p. ii- 1 p. |
artikel |
39 |
Editorial Board
|
|
|
1995 |
|
1-2 |
p. ii- 1 p. |
artikel |
40 |
Editorial board
|
|
|
1991 |
|
1-2 |
p. ii- 1 p. |
artikel |
41 |
Editorial board
|
|
|
1993 |
|
1-2 |
p. ii- 1 p. |
artikel |
42 |
Editorial Board
|
|
|
2006 |
|
1-2 |
p. ii- 1 p. |
artikel |
43 |
Editorial Board
|
|
|
2005 |
|
1-2 |
p. ii- 1 p. |
artikel |
44 |
Editorial Board
|
|
|
2007 |
|
1-2 |
p. IFC- 1 p. |
artikel |
45 |
Editorial Board
|
|
|
1989 |
|
1-2 |
p. ii- 1 p. |
artikel |
46 |
Effective categoricity of Abelian p -groups
|
Calvert, Wesley |
|
2009 |
|
1-2 |
p. 187-197 11 p. |
artikel |
47 |
Effective categoricity of equivalence structures
|
Calvert, Wesley |
|
2006 |
|
1-2 |
p. 61-78 18 p. |
artikel |
48 |
Elementary canonical formulae: extending Sahlqvist’s theorem
|
Goranko, Valentin |
|
2006 |
|
1-2 |
p. 180-217 38 p. |
artikel |
49 |
Fallen cardinals
|
Kojman, Menachem |
|
2001 |
|
1-2 |
p. 117-129 13 p. |
artikel |
50 |
Finite high-order games and an inductive approach towards Gowers's dichotomy
|
Wagner, Roy |
|
2001 |
|
1-2 |
p. 39-60 22 p. |
artikel |
51 |
First-order Gödel logics
|
Baaz, Matthias |
|
2007 |
|
1-2 |
p. 23-47 25 p. |
artikel |
52 |
Foreword
|
|
|
1991 |
|
1-2 |
p. vii- 1 p. |
artikel |
53 |
From discrete to continuous time
|
Keisler, H.Jerome |
|
1991 |
|
1-2 |
p. 99-141 43 p. |
artikel |
54 |
Further notes on cell decomposition in closed ordered differential fields
|
Rivière, Cédric |
|
2009 |
|
1-2 |
p. 100-110 11 p. |
artikel |
55 |
Game ideals
|
Matet, Pierre |
|
2009 |
|
1-2 |
p. 23-39 17 p. |
artikel |
56 |
Generalizing theorems in real closed fields
|
Baaz, Matthias |
|
1995 |
|
1-2 |
p. 3-23 21 p. |
artikel |
57 |
Geometry of Robinson consistency in Łukasiewicz logic
|
Busaniche, Manuela |
|
2007 |
|
1-2 |
p. 1-22 22 p. |
artikel |
58 |
Hilbert's tenth problem for weak theories of arithmetic
|
Kaye, Richard |
|
1993 |
|
1-2 |
p. 63-73 11 p. |
artikel |
59 |
σ-homomorphisms from the Borel σ-algebra into the Loeb σ-algebra
|
Render, Hermann |
|
2001 |
|
1-2 |
p. 15-21 7 p. |
artikel |
60 |
Hyperhypersimple sets and Δ2 systems
|
Chong, C.T. |
|
1989 |
|
1-2 |
p. 25-38 14 p. |
artikel |
61 |
Ideas in the epsilon substitution method for Π 1 0 -FIX
|
Arai, Toshiyasu |
|
2005 |
|
1-2 |
p. 3-21 19 p. |
artikel |
62 |
Independence and the finite submodel property
|
Koponen, Vera |
|
2009 |
|
1-2 |
p. 58-79 22 p. |
artikel |
63 |
Inductive definitions over a predicative arithmetic
|
Wainer, Stanley S. |
|
2005 |
|
1-2 |
p. 175-188 14 p. |
artikel |
64 |
Inductive rings and fields
|
Shiqiang, Wang |
|
1989 |
|
1-2 |
p. 133-137 5 p. |
artikel |
65 |
Inductive types and type constraints in the second-order lambda calculus
|
Mendler, Nax Paul |
|
1991 |
|
1-2 |
p. 159-172 14 p. |
artikel |
66 |
Injecting inconsistencies into models of pa
|
Solovay, Robert M. |
|
1989 |
|
1-2 |
p. 101-132 32 p. |
artikel |
67 |
Interpolation and Beth’s property in propositional many-valued logics: A semantic investigation
|
Montagna, Franco |
|
2006 |
|
1-2 |
p. 148-179 32 p. |
artikel |
68 |
Iterated local reflection versus iterated consistency
|
Beklemishev, Lev |
|
1995 |
|
1-2 |
p. 25-48 24 p. |
artikel |
69 |
Kripke-style models for typed lambda calculus
|
Mitchell, John C. |
|
1991 |
|
1-2 |
p. 99-124 26 p. |
artikel |
70 |
Large cardinals and gap-1 morasses
|
Brooke-Taylor, Andrew D. |
|
2009 |
|
1-2 |
p. 71-99 29 p. |
artikel |
71 |
Linearization of definable order relations
|
Kanovei, Vladimir |
|
2000 |
|
1-2 |
p. 69-100 32 p. |
artikel |
72 |
List of publications of Petr Vopěnka
|
|
|
2001 |
|
1-2 |
p. 9-13 5 p. |
artikel |
73 |
Logarithmic-exponential series
|
van den Dries, Lou |
|
2001 |
|
1-2 |
p. 61-113 53 p. |
artikel |
74 |
Modal languages for topology: Expressivity and definability
|
ten Cate, Balder |
|
2009 |
|
1-2 |
p. 146-170 25 p. |
artikel |
75 |
Models for the Lambek calculus
|
Pentus, Mati |
|
1995 |
|
1-2 |
p. 179-213 35 p. |
artikel |
76 |
Needed reals and recursion in generic reals
|
Blass, Andreas |
|
2001 |
|
1-2 |
p. 77-88 12 p. |
artikel |
77 |
Neocompact quantifier elimination in structures based on Banach spaces
|
Baratella, Stefano |
|
2001 |
|
1-2 |
p. 115-143 29 p. |
artikel |
78 |
Nonstandard arithmetic of Hilbert subsets
|
Yasumoto, Masahiro |
|
1991 |
|
1-2 |
p. 195-202 8 p. |
artikel |
79 |
O -minimal Λ m -regular stratification
|
Fischer, Andreas |
|
2007 |
|
1-2 |
p. 101-112 12 p. |
artikel |
80 |
On ∑ 1 and ∏ 1 sentences and degrees of interpretability
|
Lindström, Per |
|
1993 |
|
1-2 |
p. 175-193 19 p. |
artikel |
81 |
On definable filters in computably enumerable degrees
|
Wang, Wei |
|
2007 |
|
1-2 |
p. 71-83 13 p. |
artikel |
82 |
On modal logic of deductive closure
|
Naumov, Pavel |
|
2006 |
|
1-2 |
p. 218-224 7 p. |
artikel |
83 |
On NP-completeness in Linear Logic
|
Kopylov, Alexey P. |
|
1995 |
|
1-2 |
p. 137-152 16 p. |
artikel |
84 |
On the computational content of intuitionistic propositional proofs
|
Buss, Samuel R |
|
2001 |
|
1-2 |
p. 49-64 16 p. |
artikel |
85 |
On the limit existence principles in elementary arithmetic and Σ n 0 -consequences of theories
|
Beklemishev, Lev D. |
|
2005 |
|
1-2 |
p. 56-74 19 p. |
artikel |
86 |
On the provability logic of bounded arithmetic
|
Berarducci, Alessandro |
|
1993 |
|
1-2 |
p. 75-93 19 p. |
artikel |
87 |
Orbits of computably enumerable sets: low sets can avoid an upper cone
|
Miller, Russell |
|
2002 |
|
1-2 |
p. 61-85 25 p. |
artikel |
88 |
Order-isomorphic η 1 -orderings in Cohen extensions
|
Dumas, Bob A. |
|
2009 |
|
1-2 |
p. 1-22 22 p. |
artikel |
89 |
Patterns of resemblance of order 2
|
Carlson, Timothy J. |
|
2009 |
|
1-2 |
p. 90-124 35 p. |
artikel |
90 |
Petri nets, Horn programs, Linear Logic and vector games
|
Kanovich, Max I. |
|
1995 |
|
1-2 |
p. 107-135 29 p. |
artikel |
91 |
Petr Vopěnka ( ∗ 16.5.1935)
|
Sochor, A. |
|
2001 |
|
1-2 |
p. 1-8 8 p. |
artikel |
92 |
Preface
|
Artemov, Sergei |
|
1995 |
|
1-2 |
p. 1- 1 p. |
artikel |
93 |
Preface
|
Shinoda, Juichi |
|
1991 |
|
1-2 |
p. 1- 1 p. |
artikel |
94 |
Preface
|
de Jongh, Dick |
|
1993 |
|
1-2 |
p. 1- 1 p. |
artikel |
95 |
Preface
|
Finet, Catherine |
|
2001 |
|
1-2 |
p. 1-2 2 p. |
artikel |
96 |
Preface
|
Beckmann, Arnold |
|
2005 |
|
1-2 |
p. 1-2 2 p. |
artikel |
97 |
Proof-theoretic analysis of termination proofs
|
Buchholz, Wilfried |
|
1995 |
|
1-2 |
p. 57-65 9 p. |
artikel |
98 |
Proof theory for admissible rules
|
Iemhoff, Rosalie |
|
2009 |
|
1-2 |
p. 171-186 16 p. |
artikel |
99 |
Propositional consistency proofs
|
Buss, Samuel R. |
|
1991 |
|
1-2 |
p. 3-29 27 p. |
artikel |
100 |
Quasi-apartness and neighbourhood spaces
|
Ishihara, Hajime |
|
2006 |
|
1-2 |
p. 296-306 11 p. |
artikel |
101 |
Quotient topologies in constructive set theory and type theory
|
Ishihara, Hajime |
|
2006 |
|
1-2 |
p. 257-265 9 p. |
artikel |
102 |
Realism, nonstandard set theory, and large cardinals
|
Hrbacek, Karel |
|
2001 |
|
1-2 |
p. 15-48 34 p. |
artikel |
103 |
Reflections on reflections in explicit mathematics
|
Jäger, Gerhard |
|
2005 |
|
1-2 |
p. 116-133 18 p. |
artikel |
104 |
Regressive partition relations, n-subtle cardinals, and Borel diagonalization
|
Kanamori, Akihiro |
|
1991 |
|
1-2 |
p. 65-77 13 p. |
artikel |
105 |
Relating the bounded arithmetic and polynomial time hierarchies
|
Buss, Samuel R. |
|
1995 |
|
1-2 |
p. 67-77 11 p. |
artikel |
106 |
Relative and modified relative realizability
|
Birkedal, Lars |
|
2002 |
|
1-2 |
p. 115-132 18 p. |
artikel |
107 |
Remarks on applicative theories
|
Cantini, Andrea |
|
2005 |
|
1-2 |
p. 91-115 25 p. |
artikel |
108 |
Remarks on isomorphisms in typed lambda calculi with empty and sum types
|
Fiore, Marcelo |
|
2006 |
|
1-2 |
p. 35-50 16 p. |
artikel |
109 |
Replacement versus collection and related topics in constructive Zermelo–Fraenkel set theory
|
Rathjen, Michael |
|
2005 |
|
1-2 |
p. 156-174 19 p. |
artikel |
110 |
Separation results for the size of constant-depth propositional proofs
|
Beckmann, Arnold |
|
2005 |
|
1-2 |
p. 30-55 26 p. |
artikel |
111 |
Simplifying von Plato's axiomatization of Constructive Apartness Geometry
|
Li, Dafa |
|
2000 |
|
1-2 |
p. 1-26 26 p. |
artikel |
112 |
Smooth categories and global □
|
Jensen, Ronald B. |
|
2000 |
|
1-2 |
p. 101-138 38 p. |
artikel |
113 |
Some applications of mixed support iterations
|
Krueger, John |
|
2009 |
|
1-2 |
p. 40-57 18 p. |
artikel |
114 |
Some combinatorial principles equivalent to restrictions of transfinite induction up to Γ.
|
Kurata, Reijiro |
|
1989 |
|
1-2 |
p. 63-69 7 p. |
artikel |
115 |
Some conservation results on weak König's lemma
|
Simpson, Stephen G. |
|
2002 |
|
1-2 |
p. 87-114 28 p. |
artikel |
116 |
Strongly uniform bounds from semi-constructive proofs
|
Gerhardy, Philipp |
|
2006 |
|
1-2 |
p. 89-107 19 p. |
artikel |
117 |
Structure theorems for o-minimal expansions of groups
|
Edmundo, Mario J. |
|
2000 |
|
1-2 |
p. 159-181 23 p. |
artikel |
118 |
Substitution Frege and extended Frege proof systems in non-classical logics
|
Jeřábek, Emil |
|
2009 |
|
1-2 |
p. 1-48 48 p. |
artikel |
119 |
Terminal notions in set theory
|
Zapletal, Jindřich |
|
2001 |
|
1-2 |
p. 89-116 28 p. |
artikel |
120 |
The analytical completeness of Dzhaparidze's polymodal logics
|
Boolos, George |
|
1993 |
|
1-2 |
p. 95-111 17 p. |
artikel |
121 |
The density of infima in the recursively enumerable degrees
|
Slaman, Theodore A. |
|
1991 |
|
1-2 |
p. 155-179 25 p. |
artikel |
122 |
The generic filter property in nonstandard analysis
|
Di Nasso, Mauro |
|
2001 |
|
1-2 |
p. 23-37 15 p. |
artikel |
123 |
The ibT degrees of computably enumerable sets are not dense
|
Barmpalias, George |
|
2006 |
|
1-2 |
p. 51-60 10 p. |
artikel |
124 |
The machinery of consistency proofs
|
Yasugi, Mariko |
|
1989 |
|
1-2 |
p. 139-152 14 p. |
artikel |
125 |
The name for Kojman–Shelah collapsing function
|
Balcar, Bohuslav |
|
2001 |
|
1-2 |
p. 131-137 7 p. |
artikel |
126 |
The recursively enumerable degrees have infinitely many one-types
|
Ambos-Spies, Klaus |
|
1989 |
|
1-2 |
p. 1-23 23 p. |
artikel |
127 |
The strength of choiceless patterns of singular and weakly compact cardinals
|
Busche, Daniel |
|
2009 |
|
1-2 |
p. 198-248 51 p. |
artikel |
128 |
The three dimensions of proofs
|
Guiraud, Yves |
|
2006 |
|
1-2 |
p. 266-295 30 p. |
artikel |
129 |
The topological complexity of a natural class of norms on Banach spaces
|
Godefroy, Gilles |
|
2001 |
|
1-2 |
p. 3-13 11 p. |
artikel |
130 |
Three clouds may cover the plane
|
Komjáth, Péter |
|
2001 |
|
1-2 |
p. 71-75 5 p. |
artikel |
131 |
Towards the computational complexity of ℘Rω-terms
|
Niggl, Karl-Heinz |
|
1995 |
|
1-2 |
p. 153-178 26 p. |
artikel |
132 |
Towards the decidability of the theory of modules over finite commutative rings
|
Puninski, Gena |
|
2009 |
|
1-2 |
p. 49-70 22 p. |
artikel |
133 |
Transfer theorems for π-monads
|
Cutland, Nigel J. |
|
1989 |
|
1-2 |
p. 53-62 10 p. |
artikel |
134 |
Typing in reflective combinatory logic
|
Krupski, Nikolai |
|
2006 |
|
1-2 |
p. 243-256 14 p. |
artikel |
135 |
Understanding uniformity in Feferman's explicit mathematics
|
Glaß, Thomas |
|
1995 |
|
1-2 |
p. 89-106 18 p. |
artikel |
136 |
Uniform proofs as a foundation for logic programming
|
Miller, Dale |
|
1991 |
|
1-2 |
p. 125-157 33 p. |
artikel |
137 |
Verification of concurrent programs: the automata-theoretic framework *
|
Vardi, Moshe Y. |
|
1991 |
|
1-2 |
p. 79-98 20 p. |
artikel |
138 |
Weak axioms of determinacy and subsystems of analysis II (∑0 2 games)
|
Tanaka, Kazuyuki |
|
1991 |
|
1-2 |
p. 181-193 13 p. |
artikel |
139 |
What are the ∀∑1 b-consequences of T 2 1 and T 2 2?
|
Ferreira, Fernando |
|
1995 |
|
1-2 |
p. 79-88 10 p. |
artikel |