nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A model of ZF + there exists an inaccessible, in which the dedekind cardinals constitute a natural non-standard model of arithmetic
|
Sageev, Gershon |
|
1981 |
|
2-3 |
p. 221-281 61 p. |
artikel |
2 |
An axiomatic approach to rank in model theory
|
Baldwin, J.T. |
|
1974 |
|
2-3 |
p. 295-324 30 p. |
artikel |
3 |
A remark on a paper of J.-P. Ressayre
|
Makkai, M. |
|
1974 |
|
2-3 |
p. 157-162 6 p. |
artikel |
4 |
Author index
|
|
|
1982 |
|
2-3 |
p. 283- 1 p. |
artikel |
5 |
Author index
|
|
|
1981 |
|
2-3 |
p. 283- 1 p. |
artikel |
6 |
A very absolute Π 2 1 real singleton
|
David, René |
|
1982 |
|
2-3 |
p. 101-120 20 p. |
artikel |
7 |
Axioms for abstract model theory
|
Jon Barwise, K. |
|
1974 |
|
2-3 |
p. 221-265 45 p. |
artikel |
8 |
Corrigendum
|
|
|
1974 |
|
2-3 |
p. 325- 1 p. |
artikel |
9 |
Errata
|
|
|
1974 |
|
2-3 |
p. 156- 1 p. |
artikel |
10 |
Π 1 2 -logic , Part 1: Dilators
|
Girard, Jean-Yves |
|
1981 |
|
2-3 |
p. 75-219 145 p. |
artikel |
11 |
Models of set theory containing many perfect sets
|
Truss, John |
|
1974 |
|
2-3 |
p. 197-219 23 p. |
artikel |
12 |
Monadic theory of order and topology in ZFC
|
Gurevich, Yuri |
|
1982 |
|
2-3 |
p. 179-198 20 p. |
artikel |
13 |
Morasses, diamond, and forcing
|
Velleman, Daniel J. |
|
1982 |
|
2-3 |
p. 199-281 83 p. |
artikel |
14 |
Δ 3 1 reals
|
David, René |
|
1982 |
|
2-3 |
p. 121-125 5 p. |
artikel |
15 |
Recursive models for constructive set theories
|
Beeson, M. |
|
1982 |
|
2-3 |
p. 127-178 52 p. |
artikel |
16 |
Scott sentences and admissible sets
|
Nadel, Mark |
|
1974 |
|
2-3 |
p. 267-294 28 p. |
artikel |
17 |
Sheaves of structures and generalized ultraproducts
|
Ellerman, David P. |
|
1974 |
|
2-3 |
p. 163-195 33 p. |
artikel |
18 |
The correspondence between cut-elimination and normalization II
|
Zucker, J. |
|
1974 |
|
2-3 |
p. 113-155 43 p. |
artikel |