Independently axiomatizable L_ _1, theories

DOI10.2178/JSL/1254748691MaRDI QIDQ3655256zbMATH OpenOpenAlexWikidataFDO

Authors Greg Hjorth, Ioannis Souldatos

Publication date 7 January 2010

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1012.3422

zbMATH Keywords

Borel setsindependent axiomatizationintersectionVaught's Conjecture

Mathematics Subject Classification ID

Other infinitary logic (03C75) Descriptive set theory (03E15)

Abstract: In partial answer to a question posed by Arnie Miller (http://www.math.wisc.edu/~miller/res/problem.pdf) and X. Caicedo, we obtain sufficient conditions for an L_{omega_1,omega} theory to have an independent axiomatization. As a consequence we obtain two corollaries: The first, assuming Vaught's Conjecture, every L_{omega_1,omega} theory in a countable language has an independent axiomatization. The second, this time outright in ZFC, every intersection of a family of Borel sets can be formed as the intersection of a family of independent Borel sets.

Recommendations

• The Axiom of Choice, the Löwenheim-Skolem Theorem and Borel models
• A note on counterexamples to the Vaught conjecture
• A computability theoretic equivalent to Vaught's conjecture
• The Vaught conjecture: do uncountable models count?
• A proof of Vaught's conjecture for \(\omega\)-stable theories

Cites work

• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 976831 (Why is no real title available?)
• Independent Sets of Axioms In L_κα

Cited in

(4)

• scientific article; zbMATH DE number 1670489 (Why is no real title available?)
• An independence theorem for \(\mathrm{NTP}_{2}\) theories
• AXIOM I₀ AND HIGHER DEGREE THEORY
• scientific article; zbMATH DE number 5630755 (Why is no real title available?)

This page was built for publication: Independently axiomatizable \(\mathcal L_{\omega _{1},\omega}\) theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3655256)