Book contents
- Frontmatter
- Dedication
- Preface to the Serie
- Author's Preface
- Contents
- Major Dependencies
- Introduction
- Part A The Basic Theory
- Part B The Absolute Theory
- Part C Towards a General Theory
- Appendix. Nonstandard Compactness Arguments and the Admissible Cover
- References
- Index of Notation
- Subject Index
- References
References
Published online by Cambridge University Press: 31 March 2017
Book contents
- Frontmatter
- Dedication
- Preface to the Serie
- Author's Preface
- Contents
- Major Dependencies
- Introduction
- Part A The Basic Theory
- Part B The Absolute Theory
- Part C Towards a General Theory
- Appendix. Nonstandard Compactness Arguments and the Admissible Cover
- References
- Index of Notation
- Subject Index
- References
Summary
A summary is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Chapter
- Information
- Admissible Sets and Structures , pp. 380 - 385Publisher: Cambridge University PressPrint publication year: 2017
References
1970 Implicit and inductive definability (abstract). J. Symbolic Logic 35, 599 (1970).
,
1973
Inductive definitions and reflecting properties of admissible ordinals. In: and , eds., Generalized Recursion Theory, pp. 301—381. Amsterdam: North-Holland 1973.
1967
Infinitary Logic and Admissible Sets. Ph. D. Thesis. Stanford, CA: Stanford Univ. 1967.
1968
The Syntax and Semantics of Infinitary Logic, editor (Lecture Notes in Math., Vol. 72). Berlin-Heidelberg-New York: Springer 1968.
1969a Infinitary Logic and Admissible Sets. J. Symbolic Logic 34, 226—252 (1969).
1969b Applications of Strict π1
1 predicates to Infinitary Logic, J. Symbolic Logic 34, 409—423 (1969).
1971
Infinitary Methods in the Model Theory of Set Theory, Logic Colloquium 69, pp. 53—66. Amsterdam: North-Holland 1971.
1973a Back and Forth Through Infinitary Logic, Studies in Model Theory, pp. 5—34, edited by M. Morley. MAA Studies in Mathematics 1973.
1973b Abstract Logics and L∞ω
, Ann. of Math. Logic 4, 309—340 (1973).
1973c
A Preservation Theorem for Interpretations, Proceedings of the Cambridge Logic Conference, pp. 618—621 (Lecture Notes in Math., Vol. 337). Berlin-Heidelberg-New York: Springer 1973.
1974a
Admissible Sets over Models of Set Theory, Generalized Recursion Theory, pp. 97—122. Amsterdam: North-Holland 1974.
1974b Mostowski's Collapsing Function and the Closed Unbounded Filter. Fund. Math. 82, 95—103 (1974).
,
1970 The Shoenfield Absoluteness Lemma. Israel J. Math. 8, 329—339 (1970).
, ,
1971 The next admissible set. J. Symbolic Logic 36, 108—120 (1971).
,
1971 Hanf numbers for fragments of L∞ω
,. Israel J. Math. 10, 306—320 (1971).
1964 Some new results in definability. Bull. Amer. Math. Soc. 70, 808—813 (1964).
1968 Some remarks on the model theory of Infinitary languages. In: Barwise [1968], pp. 36—63.
,
1968 On Σ1
1-relations on special models. Notices Amer. Math. Soc. 15, 934 (1968).
,
1970 The Suslin-Kleene theorem for Vκ
with cofinality (κ) = ω. Pacific J. Math. 35, 565—569 (1970).
1938 The constructive second number class. Bull. Amer. Math. Soc. 44, 224—232 (1938).
,
1937 Formal definitions in the theory of ordinal numbers. Fund. Math. 28, 11—21 (1937).
1972 Σ1-compactness and ultraproducts. J. Symbolic Logic 37, 668—672 (1972).
1973
Aspects of constructibility (Lecture Notes in Math., Vol. 354). Berlin-Heidelberg-New York: Springer 1973.
1970 Model theory of infinitary languages (Aarhus University Lecture Notes, series No. 20) 1970.
,
1966 Strong Models of Arithmetic. Bull. Acad. Polon. Sci. 14, 107—110 (1966).
,
1956 Models admitting automorphisms. Fund. Math. 43, 50—63 (1956).
1972
A Mathematical Introduction to Logic. New York and London: Academic Press 1972.
1961 Unendliche Formeln in der Modell-Theorie. Z. Math. Logik Grundlagen Math. 7, 154—160 (1961).
1965 Some applications of forcing and generic sets. Fund. Math. 56, 325—345 (1965).
1968
Lectures on Proof Theory, Proceedings of the Summer School in Logic, Leeds 1967 (Lecture Notes in Math., Vol. 70). Berlin-Heidelberg-New York: Springer 1968.
1974 Some predicative set theories, Axiomatic Set Theory II. Amer. Math. Soc, Providence, R.I. (1974).
,
1966 Persistent and invariant formulas relative to theories of higher order. Bull. Amer. Math. Soc. 72, 480—485 (1966).
1972 Hanf numbers and well-ordering numbers. Arch. Math. Logik Grundlagenforsch. 15,164—178 (1972).
1973
Countable models of set theories, Cambridge Summer School in Math. Logic, pp. 539—573 (Lecture Notes in Math., Vol. 337). Berlin-Heidelberg-New York: Springer 1973.
,
1968 Note on admissible ordinals. In: Barwise [1968], pp. 77—79.
1970
On local arithmetical functions and their application for constructing models of Peano's arithmetic, Mathematical Logic and Foundations of Set Theory (Y. Bar-Hillel, ed.), pp. 105—121. Amsterdam: North-Holland 1970.
,
1953 Infinite games of perfect information. Ann. Math. Studies 28, 245—266 (1953).
1974
Inductive definitions, Generalized Recursion Theory, pp. 265—300. Amsterdam: North- Holland 1974.
1975 Basic functions, Axiomatic Set Theory II. Amer. Math. Soc, Providence, R. I. (1974).
, ,
1960 Set existence. Bull. Acad. Polon. Ser. Sci. Math. Astron. Phys. 8, 577—582 (1960).
1972 Generalized interpolation theorems. J. Symbolic Logic 37, 343—351 (1972).
1930 Die Vollständigkeit der Axiome des logischen Funktionenkalküls. Monatsh. Math. Phys. 37, 349—360 (1930).
1931 Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatsh. Math. Phys. 38, 173—198 (1931).
1939 Consistency proof for the generalized continuum hypothesis. Proc. Natl. Acad. Sci. U.S.A. 25, 220—224 (1939).
1940 The consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory. Annals Math. Studies 3 (Princeton, N. J., Princeton Univ. Press).
1970 Comparisons between some generalizations of recursion theory. Compositio Math. 22, 333—346 (1970).
1971 Finitistically computable functions and relations on an abstract structure. J. Symbolic Logic 36, 704 (1971).
1971 Inductive definitions and computability. Trans. Amer. Math. Soc. 158, 309—317 (1971).
1972 Omitting types; applications to recursion theory. J. Symbolic Logic 37, 81—89 (1972).
, ,
1958 The classical and ω-complete arithmetic. J. Symbolic Logic 23, 188—206 (1958).
, ,
1961 Definability of sets in models of axiomatic theories. Bull. Acad. Polon. Sci. Ser. Sci. Math. Astronom. Phys. 9, 163—167 (1961).
1964 Incompactness in languages with infinitely long expressions. Fund. Math. LIII, 309—324 (1964).
,
1961 Classifying inaccessible cardinals. Notices Amer. Math. Soc. 8, 445 (1961).
1966
Recursive pseudo-wellorderings. Ph. D.Thesis. Stanford, CA: Stanford Univ.
1949 The completeness of the first-order predicate calculus. J. Symbolic Logic 14, 159—166 (1949).
1954 A generalization of the concept of co-consistency. J. Symbolic Logic 19, 183—196 (1954).
1957 A generalization of the concept of co-completeness. J. Symbolic Logic 22, 1—14 (1957).
1973 Some combinatorial problems concerning uncountable cardinals. Annals of Math. Logic 5, 165—198 (1973).
1972 The fine structure of the constructible hierarchy. Annals of Math. Logic 4, 229-308 (1972).
,
1971 Primitive recursive set functions, Axiomatic Set Theory. Proceedings of the set theory institute, UCLA, 1967, Amer. Math. Soc. (1971), Providence, R.I.
1962 Independence proofs in predicate logic with infinitely long expressions. J. Symbolic Logic 27, 171—188 (1962).
1964
Languages with Expressions of Infinite Length. Amsterdam: North-Holland 1964.
1965
Finite quantifier equivalence, The Theory of Models. (Edited by J. Addison, L. Henkin and A. Tarski) pp. 407—412. Amsterdam: North-Holland 1965.
1967 Nonaxiomatizability results for infinitary systems. J. Symbolic Logic 32, 367—384 (1967).
1968 An algebraic proof of the Barwise compactness theorem. In: Barwise [1968] pp. 80—95.
1972 From countable to cofinality co in infinitary model theory. J. Symbolic Logic 37, 430 (1972).
1965
Finite approximations of infinitely long formulas, The Theory of Models (edited by J. Addison, L. Henkin and A. Tarski) pp. 158—169. Amsterdam: North-Holland 1965.
1968 Formulas with linearly ordered quantifiers. In: Barwise [1968], pp. 96—130.
1971
Model Theory for Infinitary Logic. Amsterdam: North-Holland.
1973 Forcing and the omitting types theorem, Studies in Model Theory, MAA (1973).
,
1962 On Hierarchies of predicates of ordinal numbers. J. Math. Soc. Japan 14, 199—232 (1962).
1938 On notations for ordinal numbers. J. Symbolic Logic 3, 150—155 (1938).
1944 On the forms of the predicates in the theory of constructive ordinals. Amer. J. Math. 66, 41—58 (1944).
1955a On the forms of the predicates in the theory of constructive ordinals [second paper]. Amer. J. Math. 77, 405—428 (1955).
1955b Arithmetical predicates and function quantifiers. Trans. Amer. Math. Soc. 79, 312—340 (1955).
1955c Hierarchies of number theoretic predicates. Bull. Amer. Math. Soc. 61, 193—213 (1955).
1959a Quantification of number theoretic functions. Compositio Math. 14, 23—40 (1959).
1959b Recursive functional and quantifiers of finite types I. Trans. Amer. Math. Soc. 91, 1—52 (1959).
1961
Set theoretic problems suggested by the notion of potential totality. In: Infinitistic Methods, pp. 103—140. Oxford: Pergamon 1961.
1962 The axiom of choice and the class of hyperarithmetic functions. Indag. Math. 24, 307—319 (1962).
1965
Model theoretic invariants: applications to recursive and hyperarithmetic operatons. In: et al. (eds.) Theory of Models (Proceedings of the 1963 Berkeley Symposium) pp. 190—205. Amsterdam: North-Holland 1965.
1968 Choice of infinitary language by means of definability criteria. In: Barwise [1968] pp. 139—151.
1971
Some reasons for generalizing recursion theory. In: and (eds.) Logic Colloquium 69, pp.139—198. Amsterdam: North-Holland 1971.
,
1967
Elements of mathematical logic. Amsterdam: North-Holland 1967.
,
1965 Metarecursive sets. J. Symbolic Logic 30, 318—338 (1965).
1964 Transfinite recursion on admissible ordinals, I, II (abstracts). J. Symbolic Logic 29, 161—162 (1964).
,
1973 Some true unprovable formulas for set theory. Proceedings of the Bertrand Russell Logic Conference, Denmark 1971, pp. 332—341. Leeds 1973.
1968 Definability, automorphisms, and infinitary languages. In: Barwise [1968] pp. 152—165.
1970 Generalized interpolation and definability. Annals Math. Logic 1, 423—468 (1970).
1972 Lowenheim-Skolem and interpolation theorems in infinitary languages. Bull. Amer. Math. Soc. 78, 211—215(1972).
1968 Implicit definability and infinitary languages. J. Symbolic Logic 33, 446—451 (1968).
1963 Transfinite computability, Notices Amer. Math. Soc. 10, 286 (1963).
1965 A hierarchy of formulas in set theory. Memoir Amer. Math. Soc. 57 (1965).
1965 An interpolation theorem for denumerably long sentences. Fund. Math. LVII, 253—272 (1965).
1966 On definable well-orderings. Fund. Math. LVIX, 13—21 and 299—300 (1966).
1961 The theory of transfinite recursion. Bull. Amer. Math. Soc. 67, 575—578 (1961).
1964 On a generalization of a theorem of E. W. Beth. Acta Math. Acad. Sci. Hungarica 15, 227—235 (1964).
1969 An application of a method of Smullyan to logics on admissible sets. Bull, de l'Académie Polon. des Sci., Ser. Math. 17, 341—346 (1969).
1973 Global defmibility theory in Lω1ω. Bull. Amer. Math. Soc. 79, 916—921 (1973).
1975 Applications of a result on weak definability theory in Lω1ω (to appear).
1965
Problems in the model theory of infinite languages, Ph. D. Thesis. Berkeley: Univ. of California 1965.
1971 Infinitary analogues of theorems from first order model theory. J. Symbolic Logic 36, 216—228 (1971).
1968
Recursion theory as a branch of model theory. In: et al. (eds.) Logic, Methodology and Philosophy of Science III (Proceedings of the 1967 Congress) pp. 63—86. Amsterdam: North-Holland 1968.
1965
Omitting classes of elements, The Theory of Models (J. W. Addison, L. Henkin and A. Tarski, eds.) pp. 265—273. Amsterdam: North-Holland 1965.
1967 The Hanf number for co-logic (abstract). J. Symbolic Logic 32, 437 (1967).
1970 The number of countable models. J. Symbolic Logic 35, 14—18 (1970).
,
1967 The Hanf number for K-logic (abstract). Notices Amer. Math. Soc. 14, 556 (1967).
1969a Abstract first order computability I. Trans. Amer. Math. Soc. 138, 427—464 (1969).
1969b Abstract first order computability II. Trans. Amer. Math. Soc. 138, 465—504 (1969).
1970 The Suslin-Kleene theorem for countable structures. Duke Math. J. 37, 341—352 (1970).
1971 The game quantifier, Proc. Amer. Math. Soc. 31, 245—250 (1971).
1974
Elementary Induction on Abstract Structures. Amsterdam: North-Holland 1974.
1949 An undecidable arithmetical statement. Fund. Math. 36, 143—164 (1949).
1961 Formal system of analysis based on an infinitistic rule of proof, Infinitistic Methods. Warsaw 1961.
1971 Model Theory in Admissible Sets, Ph. D. Thesis. Univ. of Wisconsin 1971.
1972a Some Löwenheim-Skolem results for admissible sets. Israel J. Math. 12, 427 (1972).
1972b An application of set theory to model theory. Israel J. Math. 11, 386 (1972).
1974 Scott sentences and admissible sets. Annals of Math. Logic 7, 267—294 (1974).
1957 General topology and partial recursive functions, Summaries of talks presented at the Summer Institute for Symbolic Logic, pp. 247—251. Cornell Univ. 1957.
1956 On ω-consistency and related properties. J. Symbolic Logic 21, 246—252 (1956).
1966
Foundations of recursion theory, Doctoral Dissertation and Supplement. Stanford, CA: Stanford Univ. 1966.
1970 Local definability theory. Annals of Math. Logic 1, 95—137 (1970).
1971
Recursively Mahlo ordinals and inductive definitions. In: and (eds.) Logic Colloquium '69, pp. 273—288. Amsterdam: North-Holland 1971.
1967
Theory of recursive functions and effective computability. New York: McGraw-Hill 1967.
Invariant Borel Sets. Fund. Math. 56, 117—128 (1964).
Logic with denumerably long formulas and finite strings of quantifiers, The Theory of Models, pp. 329—341. Amsterdam: North-Holland
1965.
1961
The problem of predicativity, Essays on the Foundations of Mathematics, pp. 132—139. Amsterdam: North-Holland 1961.
1967 Mathematical logic. Reading, Mass.: Addison-Wesley 1967.
1974
Degree Theory on Admissible Ordinals, Generalized Recursion Theory, pp. 165—194. Amsterdam: North-Holland 1974.
1963 A unifying principle in quantification theory. Proc. Nat. Acad. Sci. 49, 828—832 (1963).
1965
A unifying principle in quantification theory, The Theory of Models, edited by , and , pp. 443—434. Amsterdam: North-Holland 1965.
1955 Recursive wellorderings. J. Symbolic Logic 20, 151—163 (1955).
1960 Hyperarithmetical quantifiers. Fund. Math. 48, 313—320 (1960).
1961
Inductively defined sets of natural numbers. In: Infmitistic methods, pp. 97—102. New York: Pergamon 1961.
,
1973 Nonstandard models for set theory, Proceedings of the Bertrand Russell Memorial Logic Conference, Denmark 1971, pp. 278—314. Leeds 1973.
1965
On the denumerable models of theories with extra predicates, The Theory of Models, pp. 376—389. Amsterdam: North-Holland 1965.
1960 On the recursive functions of ordinal numbers. J. Math. Soc. Japan 12, 119—128 (1960).
1965
Recursive functions and arithmetic functions of ordinal numbers. In: (ed.) Logic, Methodology and Philosophy of Science II (Proceedings of the 1964 Congress) pp. 179—196. Amsterdam: North-Holland 1965.
1959 Predicates recursive in a type-2 object and Kleene hierarchies. Comment. Math. Univ. St. Paul 8, 97—117(1959).
1964 On the partial recursive functions of ordinal numbers. J. Math. Soc. Japan 16, 1—31 (1964).
1973
Descriptive set theory in Lω1ω, Cambridge Summer School in Math. Logic, pp. 574—598 (Lecture Notes in Math., Vol. 337). Berlin-Heidelberg-New York: Springer 1973.
1974
More on set existence, Generalized Recursion Theory, pp. 195—208. Amsterdam: North- Holland 1974.
1973 An X1-standard model for ZF which is an element of the minimal model, Proceedings of the Bertrand Russell Memorial Logic Conference, Denmark 1971, pp. 215—326. Leeds 1973.