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

DOI10.4064/FM-82-2-175-189zbMATH Open0294.02031OpenAlexW956765308MaRDI QIDQ4046041FDOQ4046041

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)