nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A Banach–Mazur computable but not Markov computable function on the computable real numbers
|
Hertling, Peter |
|
2005 |
|
2-3 |
p. 227-246 20 p. |
artikel |
2 |
Abstract elementary classes and infinitary logics
|
Kueker, David W. |
|
2008 |
|
2-3 |
p. 274-286 13 p. |
artikel |
3 |
A completeness result for a realisability semantics for an intersection type system
|
Kamareddine, Fairouz |
|
2007 |
|
2-3 |
p. 180-198 19 p. |
artikel |
4 |
A computable version of Banach’s Inverse Mapping Theorem
|
Brattka, Vasco |
|
2009 |
|
2-3 |
p. 85-96 12 p. |
artikel |
5 |
A constructive logic behind the catch and throw mechanism
|
Nakano, Hiroshi |
|
1994 |
|
2-3 |
p. 269-301 33 p. |
artikel |
6 |
A descending chain condition for groups definable in o -minimal structures
|
Berarducci, Alessandro |
|
2005 |
|
2-3 |
p. 303-313 11 p. |
artikel |
7 |
A game semantics of names and pointers
|
Laird, J. |
|
2008 |
|
2-3 |
p. 151-169 19 p. |
artikel |
8 |
A G δ ideal of compact sets strictly above the nowhere dense ideal in the Tukey order
|
Moore, Justin Tatch |
|
2008 |
|
2-3 |
p. 270-273 4 p. |
artikel |
9 |
Analytic colorings
|
Kubiś, Wiesław |
|
2003 |
|
2-3 |
p. 145-161 17 p. |
artikel |
10 |
Analytic Zariski structures and the Hrushovski construction
|
Peatfield, Nick |
|
2005 |
|
2-3 |
p. 127-180 54 p. |
artikel |
11 |
A necessary and sufficient condition for embedding principally decomposable finite lattices into the computably enumerable degrees
|
Lerman, M. |
|
2000 |
|
2-3 |
p. 275-297 23 p. |
artikel |
12 |
Angelic semantics of fine-grained concurrency
|
Ghica, Dan R. |
|
2008 |
|
2-3 |
p. 89-114 26 p. |
artikel |
13 |
An infinite-game semantics for well-founded negation in logic programming
|
Galanaki, Chrysida |
|
2008 |
|
2-3 |
p. 70-88 19 p. |
artikel |
14 |
Ann. Pure Appl. Logic
|
Gallier, Jean H. |
|
1997 |
|
2-3 |
p. 275- 1 p. |
artikel |
15 |
An undecidability theorem for lattices over group rings
|
Toffalori, Carlo |
|
1997 |
|
2-3 |
p. 241-262 22 p. |
artikel |
16 |
Arithmetic of Dedekind cuts of ordered Abelian groups
|
Fornasiero, Antongiulio |
|
2008 |
|
2-3 |
p. 210-244 35 p. |
artikel |
17 |
A semi-linear group which is not affine
|
Eleftheriou, Pantelis E. |
|
2008 |
|
2-3 |
p. 287-289 3 p. |
artikel |
18 |
A standard model of Peano arithmetic with no conservative elementary extension
|
Enayat, Ali |
|
2008 |
|
2-3 |
p. 308-318 11 p. |
artikel |
19 |
A strong antidiamond principle compatible with CH
|
Hirschorn, James |
|
2009 |
|
2-3 |
p. 161-193 33 p. |
artikel |
20 |
Atom structures of cylindric algebras and relation algebras
|
Hodkinson, Ian |
|
1997 |
|
2-3 |
p. 117-148 32 p. |
artikel |
21 |
Author index
|
|
|
2003 |
|
2-3 |
p. 287-288 2 p. |
artikel |
22 |
Author Index
|
|
|
1994 |
|
2-3 |
p. 303- 1 p. |
artikel |
23 |
Author Index
|
|
|
2005 |
|
2-3 |
p. 315-316 2 p. |
artikel |
24 |
Author Index
|
|
|
2005 |
|
2-3 |
p. 327- 1 p. |
artikel |
25 |
Author index volume 91 (1998)
|
|
|
1998 |
|
2-3 |
p. 271- 1 p. |
artikel |
26 |
Author index Volume 112 (2001)
|
|
|
2001 |
|
2-3 |
p. 299- 1 p. |
artikel |
27 |
Author index volume 88 (1997)
|
|
|
1997 |
|
2-3 |
p. 279- 1 p. |
artikel |
28 |
Author index volume 89 (1997)
|
|
|
1997 |
|
2-3 |
p. 277- 1 p. |
artikel |
29 |
Boolean products of real closed valuation rings and fields
|
Guier, Jorge I. |
|
2001 |
|
2-3 |
p. 119-150 32 p. |
artikel |
30 |
Cartesian closed Dialectica categories
|
Biering, Bodil |
|
2008 |
|
2-3 |
p. 290-307 18 p. |
artikel |
31 |
Completely mitotic c.e. degrees and non-jump inversion
|
Griffiths, Evan J. |
|
2005 |
|
2-3 |
p. 181-207 27 p. |
artikel |
32 |
Complexity of equations valid in algebras of relations part II: Finite axiomatizations
|
Andréka, Hajnal |
|
1997 |
|
2-3 |
p. 211-229 19 p. |
artikel |
33 |
Complexity of equations valid in algebras of relations part I: Strong non-finitizability
|
Andréka, Hajnal |
|
1997 |
|
2-3 |
p. 149-209 61 p. |
artikel |
34 |
Contents
|
|
|
2009 |
|
2-3 |
p. iv- 1 p. |
artikel |
35 |
Contents
|
|
|
2008 |
|
2-3 |
p. iv- 1 p. |
artikel |
36 |
Coset-minimal groups
|
Belegradek, Oleg |
|
2003 |
|
2-3 |
p. 113-143 31 p. |
artikel |
37 |
Destruction or preservation as you like it
|
Hamkins, Joel David |
|
1998 |
|
2-3 |
p. 191-229 39 p. |
artikel |
38 |
Differential Galois theory II
|
Pillay, Anand |
|
1997 |
|
2-3 |
p. 181-191 11 p. |
artikel |
39 |
Double helix in large large cardinals and iteration of elementary embeddings
|
Sato, Kentaro |
|
2007 |
|
2-3 |
p. 199-236 38 p. |
artikel |
40 |
Editorial Board
|
|
|
2009 |
|
2-3 |
p. IFC- 1 p. |
artikel |
41 |
Editorial Board
|
|
|
2005 |
|
2-3 |
p. IFC- 1 p. |
artikel |
42 |
Editorial Board
|
|
|
2005 |
|
2-3 |
p. CO2- 1 p. |
artikel |
43 |
Editorial Board
|
|
|
2008 |
|
2-3 |
p. IFC- 1 p. |
artikel |
44 |
Editorial Board
|
|
|
2008 |
|
2-3 |
p. IFC- 1 p. |
artikel |
45 |
Editorial Board
|
|
|
2007 |
|
2-3 |
p. IFC- 1 p. |
artikel |
46 |
Embeddings of N5 and the contiguous degrees
|
Ambos-Spies, Klaus |
|
2001 |
|
2-3 |
p. 151-188 38 p. |
artikel |
47 |
End extensions of models of linearly bounded arithmetic
|
Zambella, Domenico |
|
1997 |
|
2-3 |
p. 263-277 15 p. |
artikel |
48 |
Epsilon substitution method for ID 1(Π 1 0∨Σ 1 0)
|
Arai, Toshiyasu |
|
2003 |
|
2-3 |
p. 163-208 46 p. |
artikel |
49 |
Erratum to “Saturated models of universal theories”
|
Avigad, Jeremy |
|
2003 |
|
2-3 |
p. 285- 1 p. |
artikel |
50 |
Erratum to “Zero-one laws for modal logic” [Ann. Pure Appl. Logic 69 (1994) 157–193]
|
Halpern, Joseph Y. |
|
2003 |
|
2-3 |
p. 281-283 3 p. |
artikel |
51 |
Exact approximations to Stone–Čech compactification
|
Curi, Giovanni |
|
2007 |
|
2-3 |
p. 103-123 21 p. |
artikel |
52 |
Exact unprovability results for compound well-quasi-ordered combinatorial classes
|
Bovykin, Andrey |
|
2009 |
|
2-3 |
p. 77-84 8 p. |
artikel |
53 |
Existential arithmetization of Diophantine equations
|
Matiyasevich, Yuri |
|
2009 |
|
2-3 |
p. 225-233 9 p. |
artikel |
54 |
Explicit mathematics: power types and overloading
|
Studer, Thomas |
|
2005 |
|
2-3 |
p. 284-302 19 p. |
artikel |
55 |
Finite covers with finite kernels
|
Evans, David M. |
|
1997 |
|
2-3 |
p. 109-147 39 p. |
artikel |
56 |
First-order theories of subgroups of divisible Hahn products
|
Lucas, F. |
|
2003 |
|
2-3 |
p. 261-279 19 p. |
artikel |
57 |
Flatness and smooth points of p-adic subanalytic sets
|
Robinson, Zachary |
|
1997 |
|
2-3 |
p. 217-225 9 p. |
artikel |
58 |
Forcing indestructibility of MAD families
|
Brendle, Jörg |
|
2005 |
|
2-3 |
p. 271-312 42 p. |
artikel |
59 |
Foreword
|
Baaz, Matthias |
|
2009 |
|
2-3 |
p. 63- 1 p. |
artikel |
60 |
Foreword for special issue of APAL for GaLoP 2005
|
McCusker, Guy |
|
2008 |
|
2-3 |
p. 69- 1 p. |
artikel |
61 |
Free abelian lattice-ordered groups
|
Glass, A.M.W. |
|
2005 |
|
2-3 |
p. 265-283 19 p. |
artikel |
62 |
Generic automorphisms of fields
|
Macintyre, Angus |
|
1997 |
|
2-3 |
p. 165-180 16 p. |
artikel |
63 |
Guessing and non-guessing of canonical functions
|
Asperó, David |
|
2007 |
|
2-3 |
p. 150-179 30 p. |
artikel |
64 |
IFC (non-1st issue/vol.)
|
|
|
2003 |
|
2-3 |
p. IFC- 1 p. |
artikel |
65 |
Independence results around constructive ZF
|
Lubarsky, Robert S. |
|
2005 |
|
2-3 |
p. 209-225 17 p. |
artikel |
66 |
Index
|
|
|
2000 |
|
2-3 |
p. 299- 1 p. |
artikel |
67 |
Index sets for some classes of structures
|
Fokina, Ekaterina B. |
|
2009 |
|
2-3 |
p. 139-147 9 p. |
artikel |
68 |
Inductive types and exact completion
|
van den Berg, Benno |
|
2005 |
|
2-3 |
p. 95-121 27 p. |
artikel |
69 |
Infinite trace equivalence
|
Levy, Paul Blain |
|
2008 |
|
2-3 |
p. 170-198 29 p. |
artikel |
70 |
Injecting uniformities into Peano arithmetic
|
Ferreira, Fernando |
|
2009 |
|
2-3 |
p. 122-129 8 p. |
artikel |
71 |
Inner model operators in L(R)
|
Rudominer, Mitch |
|
2000 |
|
2-3 |
p. 147-184 38 p. |
artikel |
72 |
Interpreting modules in modules
|
Prest, Mike |
|
1997 |
|
2-3 |
p. 193-215 23 p. |
artikel |
73 |
Introduction to Turing categories
|
Cockett, J.R.B. |
|
2008 |
|
2-3 |
p. 183-209 27 p. |
artikel |
74 |
Linear realizability and full completeness for typed lambda-calculi
|
Abramsky, Samson |
|
2005 |
|
2-3 |
p. 122-168 47 p. |
artikel |
75 |
Low-distortion embeddings of infinite metric spaces into the real line
|
Geschke, Stefan |
|
2009 |
|
2-3 |
p. 148-160 13 p. |
artikel |
76 |
Medial commutativity
|
Došen, Kosta |
|
2007 |
|
2-3 |
p. 237-255 19 p. |
artikel |
77 |
Mittag-Leffler modules
|
Rothmaler, Philipp |
|
1997 |
|
2-3 |
p. 227-239 13 p. |
artikel |
78 |
Model theory of finite fields and pseudo-finite fields
|
Chatzidakis, Zoé |
|
1997 |
|
2-3 |
p. 95-108 14 p. |
artikel |
79 |
Non-deterministic semantics for dynamic topological logic
|
Fernández, David |
|
2009 |
|
2-3 |
p. 110-121 12 p. |
artikel |
80 |
Notions of density that imply representability in algebraic logic
|
Andréka, Hajnal |
|
1998 |
|
2-3 |
p. 93-190 98 p. |
artikel |
81 |
o-minimal analytic separation of sets in dimension 2
|
Fischer, Andreas |
|
2009 |
|
2-3 |
p. 130-138 9 p. |
artikel |
82 |
On lengths of proofs in non-classical logics
|
Hrubeš, Pavel |
|
2009 |
|
2-3 |
p. 194-205 12 p. |
artikel |
83 |
On o-amorphous sets
|
Creed, P. |
|
2000 |
|
2-3 |
p. 185-226 42 p. |
artikel |
84 |
On parallel hierarchies and R k i
|
Bloch, Stephen |
|
1997 |
|
2-3 |
p. 231-273 43 p. |
artikel |
85 |
On reflection principles
|
Koellner, Peter |
|
2009 |
|
2-3 |
p. 206-219 14 p. |
artikel |
86 |
Ordinal analysis by transformations
|
Towsner, Henry |
|
2009 |
|
2-3 |
p. 269-280 12 p. |
artikel |
87 |
Partial automorphism semigroups
|
Chubb, Jennifer |
|
2008 |
|
2-3 |
p. 245-258 14 p. |
artikel |
88 |
Passive induction and a solution to a Paris–Wilkie open question
|
Willard, Dan E. |
|
2007 |
|
2-3 |
p. 124-149 26 p. |
artikel |
89 |
Patterns of compact cardinals
|
Apter, Arthur W. |
|
1997 |
|
2-3 |
p. 101-115 15 p. |
artikel |
90 |
Phase transitions for Gödel incompleteness
|
Weiermann, Andreas |
|
2009 |
|
2-3 |
p. 281-296 16 p. |
artikel |
91 |
Polarized and focalized linear and classical proofs
|
Laurent, Olivier |
|
2005 |
|
2-3 |
p. 217-264 48 p. |
artikel |
92 |
Preface
|
Scedrov (Philadelphia), Andre |
|
1994 |
|
2-3 |
p. 133- 1 p. |
artikel |
93 |
Preface
|
Boffa, Maurice |
|
1997 |
|
2-3 |
p. 93- 1 p. |
artikel |
94 |
Progress measures, immediate determinacy, and a subset construction for tree automata
|
Klarlund, Nils |
|
1994 |
|
2-3 |
p. 243-268 26 p. |
artikel |
95 |
Realization of φ -types and Keisler’s order
|
Malliaris, M.E. |
|
2009 |
|
2-3 |
p. 220-224 5 p. |
artikel |
96 |
Relation algebras from cylindric algebras, I
|
Hirsch, Robin |
|
2001 |
|
2-3 |
p. 225-266 42 p. |
artikel |
97 |
Relation algebras from cylindric algebras, II
|
Hirsch, Robin |
|
2001 |
|
2-3 |
p. 267-297 31 p. |
artikel |
98 |
Relation algebras with n-dimensional relational bases
|
Hirsch, Robin |
|
2000 |
|
2-3 |
p. 227-274 48 p. |
artikel |
99 |
Second-order type isomorphisms through game semantics
|
de Lataillade, Joachim |
|
2008 |
|
2-3 |
p. 115-150 36 p. |
artikel |
100 |
Simple generic structures
|
Pourmahdian, Massoud |
|
2003 |
|
2-3 |
p. 227-260 34 p. |
artikel |
101 |
Simple theories
|
Kim, Byunghan |
|
1997 |
|
2-3 |
p. 149-164 16 p. |
artikel |
102 |
Some model-theoretic results in the algebraic theory of quadratic forms
|
Astier, Vincent |
|
2001 |
|
2-3 |
p. 189-223 35 p. |
artikel |
103 |
Some results on extensionality in lambda calculus
|
Intrigila, Benedetto |
|
2005 |
|
2-3 |
p. 109-125 17 p. |
artikel |
104 |
Space of valuations
|
Coquand, Thierry |
|
2009 |
|
2-3 |
p. 97-109 13 p. |
artikel |
105 |
Stability in geometric theories
|
Gagelman, Jerry |
|
2005 |
|
2-3 |
p. 313-326 14 p. |
artikel |
106 |
Subgroups of the additive group of a separably closed field
|
Blossier, Thomas |
|
2005 |
|
2-3 |
p. 169-216 48 p. |
artikel |
107 |
The complexity of Horn fragments of Linear Logic
|
Kanovich, Max I. |
|
1994 |
|
2-3 |
p. 195-241 47 p. |
artikel |
108 |
The internal consistency of Easton’s theorem
|
Friedman, Sy-David |
|
2008 |
|
2-3 |
p. 259-269 11 p. |
artikel |
109 |
The lottery preparation
|
Hamkins, Joel David |
|
2000 |
|
2-3 |
p. 103-146 44 p. |
artikel |
110 |
The metamathematics of ergodic theory
|
Avigad, Jeremy |
|
2009 |
|
2-3 |
p. 64-76 13 p. |
artikel |
111 |
The strength of extensionality I — weak weak set theories with infinity
|
Sato, Kentaro |
|
2009 |
|
2-3 |
p. 234-268 35 p. |
artikel |
112 |
Third order matching is decidable
|
Dowek, Gilles |
|
1994 |
|
2-3 |
p. 135-155 21 p. |
artikel |
113 |
Turing degrees of hypersimple relations on computable structures
|
Harizanov, Valentina S. |
|
2003 |
|
2-3 |
p. 209-226 18 p. |
artikel |
114 |
Typing untyped λ-terms, or reducibility strikes again!
|
Gallier, Jean |
|
1998 |
|
2-3 |
p. 231-270 40 p. |
artikel |
115 |
Weak elimination of imaginaries for Boolean algebras
|
Wencel, Roman |
|
2005 |
|
2-3 |
p. 247-270 24 p. |
artikel |
116 |
Zero-one laws for modal logic
|
Halpern, Joseph Y |
|
1994 |
|
2-3 |
p. 157-193 37 p. |
artikel |