nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Ackermann's set theory equals ZF
|
Reinhardt, William N. |
|
1970 |
|
2 |
p. 189-249 61 p. |
artikel |
2 |
A correction to “stationary logic”
|
Barwise, Jon |
|
1981 |
|
2 |
p. 231-232 2 p. |
artikel |
3 |
Admissible sets and the saturation of structures
|
Adamson, Alan |
|
1978 |
|
2 |
p. 111-157 47 p. |
artikel |
4 |
A guide to the identification of admissible sets above structures
|
Schlipf, John S. |
|
1977 |
|
2 |
p. 151-192 42 p. |
artikel |
5 |
Almost sure theories
|
Lynch, James F. |
|
1980 |
|
2 |
p. 91-135 45 p. |
artikel |
6 |
Appendix to models with second order properties II trees with no undefined branches
|
Shelah, Saharon |
|
1978 |
|
2 |
p. 223-226 4 p. |
artikel |
7 |
Artin-Schreier theory for commutative regular rings
|
van den Dries, L. |
|
1977 |
|
2 |
p. 113-150 38 p. |
artikel |
8 |
A short proof of a partition theorem for the ordinal ωω
|
Larson, Jean A. |
|
1973 |
|
2 |
p. 129-145 17 p. |
artikel |
9 |
Cardinal addition and the axiom of choice
|
Brandford, Robert Earl |
|
1971 |
|
2 |
p. 111-196 86 p. |
artikel |
10 |
Chains in Boolean algebras
|
McKenzie, Ralph |
|
1982 |
|
2 |
p. 137-175 39 p. |
artikel |
11 |
Compact extensions of L(Q) (part 1a)
|
Magidor, Menachem |
|
1977 |
|
2 |
p. 217-261 45 p. |
artikel |
12 |
Compactness, interpolation and Friedman's third problem
|
Mundici, Daniele |
|
1982 |
|
2 |
p. 197-211 15 p. |
artikel |
13 |
Completeness theorems for topological models
|
SGRO, Joseph |
|
1977 |
|
2 |
p. 173-193 21 p. |
artikel |
14 |
Completing theories by forcing
|
Barwise, Jon |
|
1970 |
|
2 |
p. 119-142 24 p. |
artikel |
15 |
Computability of boolean algebras and their extensions
|
Alton, Donald A. |
|
1973 |
|
2 |
p. 95-128 34 p. |
artikel |
16 |
Definability in lattices of equational theoris
|
McKenzie, Ralph |
|
1971 |
|
2 |
p. 197-237 41 p. |
artikel |
17 |
Determinacy in the Mitchell models
|
Steel, John R. |
|
1982 |
|
2 |
p. 109-125 17 p. |
artikel |
18 |
Expanded theory of ordered Abelian groups
|
Gurevich, Yuri |
|
1977 |
|
2 |
p. 193-228 36 p. |
artikel |
19 |
Extending models of arithmetic
|
Schmerl, James H. |
|
1978 |
|
2 |
p. 89-109 21 p. |
artikel |
20 |
Filter logics: Filters on ω 1
|
Kaufmann, Matt |
|
1981 |
|
2 |
p. 155-200 46 p. |
artikel |
21 |
Filter spaces and continuous functionals
|
Hyland, J.M.E. |
|
1979 |
|
2 |
p. 101-143 43 p. |
artikel |
22 |
Finite axioms of choice
|
Truss, John |
|
1973 |
|
2 |
p. 147-176 30 p. |
artikel |
23 |
Hierarchies of constructible sets
|
Devlin, Keith J. |
|
1977 |
|
2 |
p. 195-202 8 p. |
artikel |
24 |
Inadmissibility, tame R.E. sets and the admissible collapse
|
Maass, Wolfgang |
|
1978 |
|
2 |
p. 149-170 22 p. |
artikel |
25 |
Induction and transfinite induction in intuitionistic systems
|
Scarpellini, Bruno |
|
1972 |
|
2 |
p. 173-227 55 p. |
artikel |
26 |
Infinitary intuitionistic logic from a classical point of view
|
Nadel, Mark E. |
|
1978 |
|
2 |
p. 159-191 33 p. |
artikel |
27 |
Internal cohen extensions
|
Martin, D.A. |
|
1970 |
|
2 |
p. 143-178 36 p. |
artikel |
28 |
Iterated ultrapowers and prikry forcing
|
Dehornoy, Patrick |
|
1978 |
|
2 |
p. 109-160 52 p. |
artikel |
29 |
δ-Logics and generalized quantifiers
|
Makowsky, J.A. |
|
1976 |
|
2 |
p. 155-192 38 p. |
artikel |
30 |
Measure and minimal degrees
|
Paris, J.B. |
|
1977 |
|
2 |
p. 203-216 14 p. |
artikel |
31 |
On a problem of Gillman and Keisler
|
Prikry, Karel |
|
1970 |
|
2 |
p. 179-187 9 p. |
artikel |
32 |
On barinduction of higher types for decidable predicates
|
Scarpellini, Bruno |
|
1973 |
|
2 |
p. 77-163 87 p. |
artikel |
33 |
On the determinacy of games on ordinals
|
Harrington, Leo A. |
|
1981 |
|
2 |
p. 109-154 46 p. |
artikel |
34 |
Powers of regular cardinals
|
Easton, William B. |
|
1970 |
|
2 |
p. 139-178 40 p. |
artikel |
35 |
Recursion theory on algebraic structures with independent sets
|
Remmel, J.B. |
|
1980 |
|
2 |
p. 153-191 39 p. |
artikel |
36 |
Recursively enumerable vector spaces
|
Metakides, G. |
|
1977 |
|
2 |
p. 147-171 25 p. |
artikel |
37 |
Recursive well-founded orderings
|
Chen, Keh-Hsun |
|
1978 |
|
2 |
p. 117-147 31 p. |
artikel |
38 |
Some applications of iterated ultrapowers in set theory
|
Kunen, Kenneth |
|
1970 |
|
2 |
p. 179-227 49 p. |
artikel |
39 |
Some applications of Jensen's coding theorem
|
David, R. |
|
1982 |
|
2 |
p. 177-196 20 p. |
artikel |
40 |
Stationary logic
|
Barwise, Jon |
|
1978 |
|
2 |
p. 171-224 54 p. |
artikel |
41 |
Substructure lattices of models of arithmetic
|
Mills, George |
|
1979 |
|
2 |
p. 145-180 36 p. |
artikel |
42 |
Successive large cardinals
|
Bull Jr., Everett L. |
|
1978 |
|
2 |
p. 161-191 31 p. |
artikel |
43 |
The axiomatization problem for fragments
|
Smorynski, C. |
|
1978 |
|
2 |
p. 193-221 29 p. |
artikel |
44 |
The covering lemma for L[U]
|
Dodd, A.J. |
|
1982 |
|
2 |
p. 127-135 9 p. |
artikel |
45 |
The elementary theory of abelian groups
|
Eklof, Paul C. |
|
1972 |
|
2 |
p. 115-171 57 p. |
artikel |
46 |
Towards feasible solutions of the tautology problem
|
Dunham, Bradford |
|
1976 |
|
2 |
p. 117-154 38 p. |
artikel |
47 |
Transfinite descending sequences of models HODα
|
Zadroźny, Wo̵dzimierz |
|
1981 |
|
2 |
p. 201-229 29 p. |
artikel |
48 |
Two splitting theorems for beta-recursion theory
|
Homer, Steven |
|
1980 |
|
2 |
p. 137-151 15 p. |
artikel |