The nonabsoluteness of model existence in uncountable cardinals for \(L_{\omega_{1},\omega}\)
From MaRDI portal
Publication:1949163
DOI10.1215/00294527-1960443zbMath1285.03045OpenAlexW2020226208MaRDI QIDQ1949163
Tapani Hyttinen, Martin Koerwien, Sy-David Friedman
Publication date: 25 April 2013
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1361454971
Continuum hypothesis and Martin's axiom (03E50) Other infinitary logic (03C75) Abstract elementary classes and related topics (03C48)
Related Items (1)
Cites Work
- Model theory.
- Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
- SQUARES, SCALES AND STATIONARY REFLECTION
- On the number of nonisomorphic models of an infinitary theory which has the infinitary order property. Part A
- The role of the Omitting Types Theorem in infinitary logic
- On automorphism groups of countable structures
- KNIGHT'S MODEL, ITS AUTOMORPHISM GROUP, AND CHARACTERIZING THE UNCOUNTABLE CARDINALS
- AMALGAMATION, ABSOLUTENESS, AND CATEGORICITY
- The fine structure of the constructible hierarchy
- Sur un problème de Sikorski
This page was built for publication: The nonabsoluteness of model existence in uncountable cardinals for \(L_{\omega_{1},\omega}\)