An algebraic treatment of the Barwise compactness theory

DOI10.1007/BF00370183zbMath0748.03020OpenAlexW1985131619MaRDI QIDQ1181483

Philip J. Scott, Isidore Fleischer

Publication date: 27 June 1992

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00370183

zbMATH Keywords

Boolean algebraultrafiltersinfinitary languagesBarwise compactness theorem

Mathematics Subject Classification ID

Boolean algebras (Boolean rings) (06E99) Other infinitary logic (03C75) Basic properties of first-order languages and structures (03C07)

Cites Work

• An “admissible” generalization of a theorem on countable ∑11 sets of reals with applications
• Unnamed Item
• Unnamed Item
• Unnamed Item