Σ1-compactness in languages stronger than

DOI10.2307/2273528zbMath0393.03024OpenAlexW1590982637MaRDI QIDQ4175541

Nigel J. Cutland

Publication date: 1978

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

Full work available at URL: https://doi.org/10.2307/2273528

zbMATH Keywords

CompactnessInaccessiblesInfinitary LanguagesReflection Principle

Mathematics Subject Classification ID

Other infinitary logic (03C75) Logic on admissible sets (03C70)

Cites Work

• Applications of Strict Π₁¹ predicates to infinitary logic
• Unnamed Item

This page was built for publication: Σ₁-compactness in languages stronger than