Term models for weak set theories with a universal set

E-ISSN： 1943-5886|52|2|374-387

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.52, Iss.2, 1987-06, pp. : 374-387

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

Natural models and Ackermann-type set theories1

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

Cambridge University Press

Access to resources Recommend Favorite

The status of the axiom of choice in set theory with a universal set

The Journal of Symbolic Logic, Vol. 50, Iss. 3, 1985-09 ,pp. : 701-707

Cambridge University Press

Access to resources Recommend Favorite

Delineating classes of computational complexity via second order theories with weak set existence principles. I

The Journal of Symbolic Logic, Vol. 60, Iss. 1, 1995-03 ,pp. : 103-121

Cambridge University Press

Access to resources Recommend Favorite

The equivalence of NF-style set theories with “tangled” type theories; the construction of ω-models of predicative NF (and more)

The Journal of Symbolic Logic, Vol. 60, Iss. 1, 1995-03 ,pp. : 178-190

Cambridge University Press

Access to resources Recommend Favorite

Finitary set endofunctors are alg-universal

By Barto Libor

algebra universalis, Vol. 57, Iss. 1, 2007-08 ,pp. : 15-26

Springer Publishing Company

Access to resources Recommend Favorite