|
7
|
Set Theoretic Problems Suggested by the Notion of Potential Totality
– G Kreisel
- 1959
|
|
1
|
Admissible sets and the saturation of structures
– A Adamson
- 1977
|
|
1
|
logic and admissible sets
– Infinitary
- 1969
|
|
3
|
and forth through infinitary logic, Studies in model theory
– J Barwise, Back
- 1973
|
|
2
|
Moschovakis closure ordinals
– On
- 1977
|
|
1
|
Lefschetz’s principle
– K J Barwise, C Eklof, P
- 1969
|
|
1
|
Note on admissible ordinals, The syntax and semantics of infinitary languages
– H Friedman, R Jensen
- 1968
|
|
1
|
The completeness of the first-order predicate calculus
– L Henkin
- 1949
|
|
5
|
Metarecursive Sets
– G Kreisel, G E Sacks
- 1965
|
|
1
|
Transfinite recursions on admissible ordinals, i and ii
– S Kripke
- 1964
|
|
1
|
Infinitely long formulas with countable quantifier degrees
– E K Lopez-Escobar
- 1964
|
|
1
|
definable well-orderings, Fundamenta Mathematicae
– On
- 1966
|
|
1
|
An application of a method of smullyan to logics on admissible sets
– M Makkai
- 1969
|
|
3
|
Functional trees and automorphisms of models
– A S Morozov
- 1993
|
|
1
|
and admissible fragments, Model-theoretic logics
– Lω1ω
- 1985
|
|
2
|
Metarecursively Enumerable Sets and Admissible Ordinals
– G E Sacks
- 1966
|
|
1
|
A guide to the identification of admissible sets above structures
– J Schlipf
- 1977
|
|
1
|
theory and recursive saturation
– Model
- 1978
|
|
1
|
British National Corpus user reference guide. Available at http://www.hcu.ox. ac.uk/BNC/World/HTML
– unknown authors
- 1965
|
