Locally countable models of Σ1-separation

DOI10.2307/2273262zbMath0481.03023OpenAlexW1584794077MaRDI QIDQ3937378

Fred G. Abramson

Publication date: 1981

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

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

zbMATH Keywords

hyperjumpnonstandard model of ZFCpossible countable heightssigma-one separation

Mathematics Subject Classification ID

Descriptive set theory (03E15) Logic on admissible sets (03C70) Nonstandard models (03H99)

Cites Work

• The Shoenfield absoluteness lemma

This page was built for publication: Locally countable models of Σ₁-separation