Stable sets, a characterization of β_2-models of full second order arithmetic and some related facts

DOI10.4064/FM-82-2-175-189MaRDI QIDQ4046041zbMATH OpenOpenAlexFDO

Authors Wiktor Marek

Publication date 1974

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/214661

Mathematics Subject Classification ID

Consistency and independence results (03E35)

This page was built for publication: Stable sets, a characterization of $β_2$-models of full second order arithmetic and some related facts

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