nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A completeness proof for adapted probability logic
|
Keisler, H.Jerome |
|
1986 |
|
C |
p. 61-70 10 p. |
artikel |
2 |
A cut elimination theorem for stationary logic
|
Szabo, M.E. |
|
1987 |
|
C |
p. 181-193 13 p. |
artikel |
3 |
Adjointness in recursion
|
Mulry, Philip S. |
|
1986 |
|
C |
p. 281-289 9 p. |
artikel |
4 |
A guide to “strong coding”
|
Friedman, Sy D. |
|
1987 |
|
C |
p. 99-122 24 p. |
artikel |
5 |
An application of tarskis principle to absolute Galois groups of function fields
|
van den Dries, Lou |
|
1987 |
|
C |
p. 83-107 25 p. |
artikel |
6 |
An axiomatic approach to self-referential truth
|
Friedman, Harvey |
|
1987 |
|
C |
p. 1-21 21 p. |
artikel |
7 |
A new system of proof-theoretic ordinal functions
|
Buchholz, W. |
|
1986 |
|
C |
p. 195-207 13 p. |
artikel |
8 |
An independence result for (II1 1-CA)+BI
|
Buchholz, Wilfried |
|
1987 |
|
C |
p. 131-155 25 p. |
artikel |
9 |
A theorem and some consistency results in partition calculus
|
Shelah, Saharon |
|
1987 |
|
C |
p. 119-152 34 p. |
artikel |
10 |
Author index
|
|
|
1987 |
|
C |
p. 303- 1 p. |
artikel |
11 |
Author index
|
|
|
1986 |
|
C |
p. 299- 1 p. |
artikel |
12 |
Author index volume 36
|
|
|
1987 |
|
C |
p. 315- 1 p. |
artikel |
13 |
Author index volume 33 (1987)
|
|
|
1987 |
|
C |
p. 309- 1 p. |
artikel |
14 |
Author index volume 31 (1986)
|
|
|
1986 |
|
C |
p. 341-342 2 p. |
artikel |
15 |
Choice and well-ordering
|
Freyd, Peter |
|
1987 |
|
C |
p. 149-166 18 p. |
artikel |
16 |
Combinatorial problems on trees: Partitions, δ-systems and large free subtrees
|
Rubin, Matatyahu |
|
1987 |
|
C |
p. 43-81 39 p. |
artikel |
17 |
Compactness in constructive analysis revisited
|
Kreitz, Christoph |
|
1987 |
|
C |
p. 29-38 10 p. |
artikel |
18 |
Decidability and definability with circumscription
|
Schlipf, John S. |
|
1987 |
|
C |
p. 173-191 19 p. |
artikel |
19 |
Editorial Board
|
|
|
1987 |
|
C |
p. ii- 1 p. |
artikel |
20 |
Editorial Board
|
|
|
1987 |
|
C |
p. IFC- 1 p. |
artikel |
21 |
Editorial Board
|
|
|
1986 |
|
C |
p. i- 1 p. |
artikel |
22 |
Editorial Board
|
|
|
1986 |
|
C |
p. IFC- 1 p. |
artikel |
23 |
Editorial Board
|
|
|
1987 |
|
C |
p. IFC- 1 p. |
artikel |
24 |
Effective topological spaces III: Forcing and definability
|
Kalantari, Iraj |
|
1987 |
|
C |
p. 17-27 11 p. |
artikel |
25 |
Embedding sheaf models for set theory into boolean-valued permutation models with an interior operator
|
Scedrov, Andre |
|
1986 |
|
C |
p. 103-109 7 p. |
artikel |
26 |
Epistemic and intuitionistic formal systems
|
Flagg, R.C. |
|
1986 |
|
C |
p. 53-60 8 p. |
artikel |
27 |
Factorization of polynomials and Σ 1 0 induction
|
Simpson, Stephen G. |
|
1986 |
|
C |
p. 289-306 18 p. |
artikel |
28 |
Fixed-point extensions of first-order logic
|
Gurevich, Yuri |
|
1986 |
|
C |
p. 265-280 16 p. |
artikel |
29 |
Forking, normalization and canonical bases
|
Pillay, Anand |
|
1986 |
|
C |
p. 61-81 21 p. |
artikel |
30 |
Generalised algebraic theories and contextual categories
|
Cartmell, John |
|
1986 |
|
C |
p. 209-243 35 p. |
artikel |
31 |
1-Generic degrees and minimal degrees in higher recursion theory, II
|
Chong, C.T. |
|
1986 |
|
C |
p. 165-175 11 p. |
artikel |
32 |
Generic objects in recursion theory II: Operations on recursive approximation spaces
|
Nerode, A. |
|
1986 |
|
C |
p. 257-288 32 p. |
artikel |
33 |
Global intuitionistic analysis
|
Takeuti, Gaisi |
|
1986 |
|
C |
p. 307-339 33 p. |
artikel |
34 |
Globalization of intui tionistic set theory
|
Takeuti, Gaisi |
|
1987 |
|
C |
p. 195-211 17 p. |
artikel |
35 |
Graph colorings and recursively bounded Π 1 0-classes
|
Remmel, J.B. |
|
1986 |
|
C |
p. 185-194 10 p. |
artikel |
36 |
Henkin quantifiers and complete problems
|
Blass, Andreas |
|
1986 |
|
C |
p. 1-16 16 p. |
artikel |
37 |
Hyperfinite models of adapted probability logic
|
Keisler, H.Jerome |
|
1986 |
|
C |
p. 71-86 16 p. |
artikel |
38 |
Incorporating equality into logic programming via surface deduction
|
Cox, P.T. |
|
1986 |
|
C |
p. 177-189 13 p. |
artikel |
39 |
Integrating classical and intuitionistic type theory
|
Flagg, Robert C. |
|
1986 |
|
C |
p. 27-51 25 p. |
artikel |
40 |
Isols and burnside's lemma
|
Dekker, J.C.E. |
|
1986 |
|
C |
p. 245-263 19 p. |
artikel |
41 |
k-continuous lattices and comprehension principles for frege structures
|
Flagg, Robert C. |
|
1987 |
|
C |
p. 1-16 16 p. |
artikel |
42 |
Lattices of c-degrees
|
Lubarsky, Robert S. |
|
1987 |
|
C |
p. 115-118 4 p. |
artikel |
43 |
Lindenbaum algebras of intuitionistic theories and free categories
|
Freyd, Peter |
|
1987 |
|
C |
p. 167-172 6 p. |
artikel |
44 |
Maximal theories
|
Downey, R.G. |
|
1987 |
|
C |
p. 245-282 38 p. |
artikel |
45 |
Members of countable π 1 0 classes
|
Cenzer, Douglas |
|
1986 |
|
C |
p. 145-163 19 p. |
artikel |
46 |
Menas' conjecture and generic ultrapowers
|
Matsubara, Yo |
|
1987 |
|
C |
p. 225-234 10 p. |
artikel |
47 |
Models of arithmetic and categories with finiteness conditions
|
Diaconescu, R. |
|
1987 |
|
C |
p. 123-148 26 p. |
artikel |
48 |
Nonconvergence, undecidability, and intractability in asymptotic problems
|
Compton, Kevin J. |
|
1987 |
|
C |
p. 207-224 18 p. |
artikel |
49 |
On countable locally described structures
|
Maier, Berthold J. |
|
1987 |
|
C |
p. 205-246 42 p. |
artikel |
50 |
On Gödel incompleteness and finite combinatorics
|
Kanamori, Akihiro |
|
1987 |
|
C |
p. 23-41 19 p. |
artikel |
51 |
On some extensions of the projective hierarchy
|
Di Prisco, Carlos A. |
|
1987 |
|
C |
p. 105-113 9 p. |
artikel |
52 |
On the impossibility of explicit upper bounds on lengths of some provably finite algorithms in computable analysis
|
Scedrov, Andre |
|
1986 |
|
C |
p. 291-297 7 p. |
artikel |
53 |
On the number of strongly ℵϵ-saturated models of power λ
|
Shelah, Saharon |
|
1987 |
|
C |
p. 279-287 9 p. |
artikel |
54 |
On the scheme of induction for bounded arithmetic formulas
|
Wilkie, A.J. |
|
1987 |
|
C |
p. 261-302 42 p. |
artikel |
55 |
On varieties of cylindric algebras with applications to logic
|
Németi, I. |
|
1987 |
|
C |
p. 235-277 43 p. |
artikel |
56 |
Ordinal notations based on a hierarchy of inaccessible cardinals
|
Pohlers, Wolfram |
|
1987 |
|
C |
p. 157-179 23 p. |
artikel |
57 |
Paris-Harrington principles, reflection principles and transfinite induction up to ϵ 0
|
Kurata, Reijiro |
|
1986 |
|
C |
p. 237-256 20 p. |
artikel |
58 |
Preface
|
Crossley, J.N. |
|
1986 |
|
C |
p. 111- 1 p. |
artikel |
59 |
Preface
|
Tamthai, Mark |
|
1986 |
|
C |
p. 121- 1 p. |
artikel |
60 |
Quantifier elimination in discriminator varieties
|
Point, Francoise |
|
1986 |
|
C |
p. 83-101 19 p. |
artikel |
61 |
Realizability and recursive set theory
|
McCarty, Charles |
|
1986 |
|
C |
p. 153-183 31 p. |
artikel |
62 |
Recursion theory and ordered groups
|
Downey, R.G. |
|
1986 |
|
C |
p. 137-151 15 p. |
artikel |
63 |
Recursive categoricity and recursive stability
|
Crossley, John N. |
|
1986 |
|
C |
p. 191-204 14 p. |
artikel |
64 |
Recursively rigid Boolean algebras
|
Remmel, Jeffrey B. |
|
1987 |
|
C |
p. 39-52 14 p. |
artikel |
65 |
Remarks on superatomic boolean algebras
|
Baumgartner, James E. |
|
1987 |
|
C |
p. 109-129 21 p. |
artikel |
66 |
Representable cylindric algebras
|
Henkin, Leon |
|
1986 |
|
C |
p. 23-60 38 p. |
artikel |
67 |
Representations of the real numbers and of the open subsets of the set of real numbers
|
Weihrauch, Klaus |
|
1987 |
|
C |
p. 247-260 14 p. |
artikel |
68 |
Some coloring properties for uncountable cardinals
|
Matet, Pierre |
|
1987 |
|
C |
p. 297-307 11 p. |
artikel |
69 |
Some higher-gap examples in combinatorial set theory
|
Hajnal, A. |
|
1987 |
|
C |
p. 283-296 14 p. |
artikel |
70 |
Sound, totally sound, and unsound recursive equivalence types
|
Downey, R.G. |
|
1986 |
|
C |
p. 1-20 20 p. |
artikel |
71 |
Stability of recursive structures in arithmetical degrees
|
Ash, C.J. |
|
1986 |
|
C |
p. 113-135 23 p. |
artikel |
72 |
Strong coding
|
Friedman, Sy D. |
|
1987 |
|
C |
p. 1-3 3 p. |
artikel |
73 |
Structural interactions of the recursively enumerable T- and W-degrees
|
Downey, R.G. |
|
1986 |
|
C |
p. 205-236 32 p. |
artikel |
74 |
The expressive power of Malitz quantifiers for linear orderings
|
Tuschik, Hans-Peter |
|
1987 |
|
C |
p. 53-103 51 p. |
artikel |
75 |
The limits of E-recursive enumerability
|
Sacks, Gerald E. |
|
1986 |
|
C |
p. 87-120 34 p. |
artikel |
76 |
The model N = ∪ {L[A]: A countable set of ordinals}
|
Sureson, Claude |
|
1987 |
|
C |
p. 289-313 25 p. |
artikel |
77 |
There may be simple Pℵ1 and Pℵ2-points and the Rudin-Keisler ordering may be downward directed
|
Blass, Andreas |
|
1987 |
|
C |
p. 213-243 31 p. |
artikel |
78 |
The undecidability of the lattice of R.E. closed subsets of an effective topological space
|
Silibovsky Brady, Sheryl |
|
1987 |
|
C |
p. 193-203 11 p. |
artikel |
79 |
Uncountable groups have many nonconjugate subgroups
|
Shelah, Saharon |
|
1987 |
|
C |
p. 153-206 54 p. |
artikel |
80 |
Undecidability of L(F ∞) and other lattices of r.e. substructures
|
Downey, R.G. |
|
1986 |
|
C |
p. 17-26 10 p. |
artikel |
81 |
Which set existence axioms are needed to prove the separable Hahn-Banach theorem?
|
Brown, Douglas K. |
|
1986 |
|
C |
p. 123-144 22 p. |
artikel |