Σ1-compactness in languages stronger than

DOI10.2307/2273528zbMATH Open0393.03024OpenAlexW1590982637MaRDI QIDQ4175541FDOQ4175541

Authors: 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

• Title not available (Why is that?)
• Applications of Strict Π₁¹ predicates to infinitary logic

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

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