Independently axiomatizable ℒω1,ω theories

DOI10.2178/JSL/1254748691zbMath1184.03037arXiv1012.3422OpenAlexW3121781051WikidataQ59166148 ScholiaQ59166148MaRDI QIDQ3655256

Greg Hjorth, Ioannis Souldatos

Publication date: 7 January 2010

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

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

zbMATH Keywords

Borel setsintersectionVaught's Conjectureindependent axiomatization

Mathematics Subject Classification ID

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

Cites Work

• Independent Sets of Axioms In L_κα
• Unnamed Item
• Unnamed Item

This page was built for publication: Independently axiomatizable ℒ_ω1,ω theories