nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Absolute logics and L∞ω
|
Barwise, K.Jon |
|
1972 |
|
3 |
p. 309-340 32 p. |
artikel |
2 |
Adding closed cofinal sequences to large cardinals
|
Radin, Lon Berk |
|
1982 |
|
3 |
p. 243-261 19 p. |
artikel |
3 |
Ad “the κn are Jonsson cardinals and κω is a Rowbottom cardinal”
|
Kleinberg, E.M. |
|
1977 |
|
3 |
p. 229-248 20 p. |
artikel |
4 |
Algebraically prime models
|
Baldwin, John T. |
|
1981 |
|
3 |
p. 289-330 42 p. |
artikel |
5 |
A new class of order types
|
Baumgartner, James E. |
|
1976 |
|
3 |
p. 187-222 36 p. |
artikel |
6 |
Author index
|
|
|
1978 |
|
3 |
p. 315- 1 p. |
artikel |
7 |
Author index
|
|
|
1979 |
|
3 |
p. 305- 1 p. |
artikel |
8 |
Author index
|
|
|
1979 |
|
3 |
p. 321- 1 p. |
artikel |
9 |
Author index
|
|
|
1980 |
|
3 |
p. 297- 1 p. |
artikel |
10 |
Author index
|
|
|
1982 |
|
3 |
p. 297- 1 p. |
artikel |
11 |
Author index
|
|
|
1981 |
|
3 |
p. 331- 1 p. |
artikel |
12 |
Author index
|
|
|
1980 |
|
3 |
p. 283- 1 p. |
artikel |
13 |
Author index to volume 11
|
|
|
1977 |
|
3 |
p. 367- 1 p. |
artikel |
14 |
Boolean valued models and generalized quantifiers
|
Väänänen, Jouko |
|
1980 |
|
3 |
p. 193-225 33 p. |
artikel |
15 |
Bounds for proof-search and speed-up in the predicate calculus
|
Statman, Richard |
|
1978 |
|
3 |
p. 225-287 63 p. |
artikel |
16 |
Countable ordinals and the analytical hierarchy, II
|
Kechris, Alexander S. |
|
1978 |
|
3 |
p. 193-223 31 p. |
artikel |
17 |
Decidability results in non-classical logics
|
Gabbay, Dov M. |
|
1975 |
|
3 |
p. 237-295 59 p. |
artikel |
18 |
Degrees of functionals
|
Normann, Dag |
|
1979 |
|
3 |
p. 269-304 36 p. |
artikel |
19 |
Effective content of field theory
|
Metakides, G. |
|
1979 |
|
3 |
p. 289-320 32 p. |
artikel |
20 |
Forcing and generalized quantifiers
|
Krivine, Jean-Louis |
|
1973 |
|
3 |
p. 199-255 57 p. |
artikel |
21 |
Formal systems for some branches of intuitionistic analysis
|
Kreisel, G. |
|
1970 |
|
3 |
p. 229-387 159 p. |
artikel |
22 |
Generalized erdoös cardinals and O4
|
Baumgartner, James E. |
|
1978 |
|
3 |
p. 289-313 25 p. |
artikel |
23 |
Higher set theory and mathematical practice
|
Friedman, Harvey M. |
|
1971 |
|
3 |
p. 325-357 33 p. |
artikel |
24 |
Isomorphism and higher order equivalence
|
Ajtai, M. |
|
1979 |
|
3 |
p. 181-203 23 p. |
artikel |
25 |
Iterated perfect-set forcing
|
Baumgartner, James E. |
|
1979 |
|
3 |
p. 271-288 18 p. |
artikel |
26 |
Model-complete theories of pseudo-algebraically closed fields
|
Wheeler, William H. |
|
1979 |
|
3 |
p. 205-226 22 p. |
artikel |
27 |
Model-completions and modules
|
Eklof, Paul |
|
1971 |
|
3 |
p. 251-295 45 p. |
artikel |
28 |
Models and types of Peano's arithmetic
|
Gaifman, Haim |
|
1976 |
|
3 |
p. 223-306 84 p. |
artikel |
29 |
Model-Theoretic Forcing in Logic With a Generalized Quantifier
|
Bruce, Kim B. |
|
1978 |
|
3 |
p. 225-265 41 p. |
artikel |
30 |
Model theoretic methods in the theory of isols
|
Ellentuck, Erik |
|
1978 |
|
3 |
p. 273-285 13 p. |
artikel |
31 |
Model theory for universal classes with the amalgamation property: A study in the foundations of model theory and algebra
|
Forrest, William K. |
|
1977 |
|
3 |
p. 263-366 104 p. |
artikel |
32 |
Normalization as a homomorphic image of cut-elimination
|
Pottinger, Garrel |
|
1977 |
|
3 |
p. 323-357 35 p. |
artikel |
33 |
On α- and β-recursively enumerable degrees
|
Maass, Wolfgang |
|
1979 |
|
3 |
p. 205-231 27 p. |
artikel |
34 |
On elementary theories of some lattices or α-recursively enumerable sets
|
Lerman, Mannel |
|
1978 |
|
3 |
p. 227-272 46 p. |
artikel |
35 |
On non-minimal p-points over a measurable cardinal
|
Gitik, Moti |
|
1981 |
|
3 |
p. 269-288 20 p. |
artikel |
36 |
On the completenes principle: A study of provability in heyting's arithmetic and extensions
|
Visser, Albert |
|
1982 |
|
3 |
p. 263-295 33 p. |
artikel |
37 |
On the elementary theory of Banach algebras
|
Macintyre, Angus |
|
1971 |
|
3 |
p. 239-269 31 p. |
artikel |
38 |
On the elementary theory of quadruples of vector spaces
|
Baur, Walter |
|
1980 |
|
3 |
p. 243-262 20 p. |
artikel |
39 |
On the length of Borel hierarchies
|
Miller, Arnorld W. |
|
1979 |
|
3 |
p. 233-267 35 p. |
artikel |
40 |
Principles of continuous choice and continuity of functions in formal systems for constructive mathematics
|
Beeson, Michael J. |
|
1977 |
|
3 |
p. 249-322 74 p. |
artikel |
41 |
Probability logic
|
Hoover, Douglas N. |
|
1978 |
|
3 |
p. 287-313 27 p. |
artikel |
42 |
Reflection and partition properties of admissible ordinals
|
Kranakis, Evangelos |
|
1982 |
|
3 |
p. 213-242 30 p. |
artikel |
43 |
Simple unstable theories
|
Shelah, Saharon |
|
1980 |
|
3 |
p. 177-203 27 p. |
artikel |
44 |
Small recursive ordinals, many-one degrees, and the arithmetical difference hierarchy
|
Hay, Louise |
|
1975 |
|
3 |
p. 297-343 47 p. |
artikel |
45 |
Some combinatorial problems concerning uncountable cardinals
|
Jech, Thomas J. |
|
1973 |
|
3 |
p. 165-198 34 p. |
artikel |
46 |
Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory
|
Shelah, Saharon |
|
1971 |
|
3 |
p. 271-362 92 p. |
artikel |
47 |
Stationary logic of finitely determinate structures
|
Eklof, Paul C. |
|
1979 |
|
3 |
p. 227-269 43 p. |
artikel |
48 |
Superstable fields and groups
|
Cherlin, G. |
|
1980 |
|
3 |
p. 227-270 44 p. |
artikel |
49 |
The fine structure of the constructible hierarchy
|
Jensen, R.Björn |
|
1972 |
|
3 |
p. 229-308 80 p. |
artikel |
50 |
The model theory of ‘R-formal’ fields
|
Jacob, Bill |
|
1980 |
|
3 |
p. 263-282 20 p. |
artikel |
51 |
The theory of Boolean ultrapowers
|
Mansfield, Richard |
|
1971 |
|
3 |
p. 297-323 27 p. |
artikel |
52 |
Thin collections of sets of projective ordinals and analogs of L
|
Becker, Howard |
|
1980 |
|
3 |
p. 205-241 37 p. |
artikel |
53 |
ℵ1-TREES
|
Devlin, Keith J. |
|
1978 |
|
3 |
p. 267-330 64 p. |
artikel |
54 |
Trees, subtrees and order types
|
Todorčević, Stevo B. |
|
1981 |
|
3 |
p. 233-268 36 p. |
artikel |
55 |
Σ 1-well-founded compactness
|
Cutland, Nigel |
|
1980 |
|
3 |
p. 271-296 26 p. |
artikel |