The largest countable inductive set is a mouse set

Publisher： Cambridge University Press

E-ISSN： 1943-5886|64|2|443-459

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.64, Iss.2, 1999-06, pp. : 443-459

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Elementary extensions of countable models of set theory

By  

The Journal of Symbolic Logic, Vol. 41, Iss. 1, 1976-03 ,pp. : 139-145

Cambridge University Press

Access to resources Recommend Favorite

THE MOUSE SET CONJECTURE FOR SETS OF REALS

By  

The Journal of Symbolic Logic, Vol. 80, Iss. 2, 2015-04 ,pp. : 671-683

Cambridge University Press

Access to resources Recommend Favorite

LIFTING PROOF THEORY TO THE COUNTABLE ORDINALS: ZERMELO-FRAENKEL SET THEORY

By  

The Journal of Symbolic Logic, Vol. 79, Iss. 2, 2014-06 ,pp. : 325-354

Cambridge University Press

Access to resources Recommend Favorite

An algebraic characterization of power set in countable standard models of ZF1

By  

The Journal of Symbolic Logic, Vol. 40, Iss. 2, 1975-06 ,pp. : 167-170

Cambridge University Press

Access to resources Recommend Favorite

A cardinal preserving extension making the set of points of countable V cofinality nonstationary

By Gitik Moti   Neeman Itay   Sinapova Dima  

Archive for Mathematical Logic, Vol. 46, Iss. 5-6, 2007-07 ,pp. : 451-456

Springer Publishing Company

Access to resources Recommend Favorite