The nonabsoluteness of model existence in uncountable cardinals for \(L_{\omega_{1},\omega}\)

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

zbMATH Keywords

absolutenessinfinitary logicabstract elementary classes

Mathematics Subject Classification ID

Continuum hypothesis and Martin's axiom (03E50) Other infinitary logic (03C75) Abstract elementary classes and related topics (03C48)

Related Items (1)

Kurepa trees and spectra of \(\mathcal{L}_{\omega_1, \omega}\)-sentences

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}\)