Implicit definability and compactness in infinitary languages
- 1 January 1968
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Implicit definability and infinitary languagesThe Journal of Symbolic Logic, 1968
- Nonaxiomatizability results for infinitary systemsThe Journal of Symbolic Logic, 1967
- Persistent and invariant formulas relative to theories of higher orderBulletin of the American Mathematical Society, 1966
- A hierarchy of formulas in set theoryMemoirs of the American Mathematical Society, 1965
- Incompactness in languages with infinitely long expressionsFundamenta Mathematicae, 1964
- The Consistency of the Axiom of Choice and of the Generalized Continuum-HypothesisProceedings of the National Academy of Sciences, 1938