Σ1-well-founded compactness

DOI10.1016/0003-4843(80)90007-8zbMath0473.03030OpenAlexW2042224195MaRDI QIDQ3927220

Nigel J. Cutland, Matt Kaufmann

Publication date: 1980

Published in: Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0003-4843(80)90007-8

zbMATH Keywords

infinitary languages

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Set-theoretic model theory (03C55) Logic on admissible sets (03C70)

Related Items (1)

Monotone versus non-monotone projective operators

This page was built for publication: Σ1-well-founded compactness