On an Ackermann-type set theory

Publisher： Cambridge University Press

E-ISSN： 1943-5886|38|3|410-412

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.38, Iss.3, 1973-09, pp. : 410-412

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

Ackermann's set theory A* is usually formulated in the first order predicate calculus with identity, ∈ for membership and V, an individual constant, for the class of all sets. We use small Greek letters to represent formulae which do not contain V and large Greek letters to represent any formulae. The axioms of A* are the universal closures of

Related content

Natural models and Ackermann-type set theories1

By  

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

Cambridge University Press

Access to resources Recommend Favorite

An extension of Ackermann's set theory

By  

The Journal of Symbolic Logic, Vol. 37, Iss. 4, 1972-12 ,pp. : 703-704 (2)

Cambridge University Press

Access to resources Recommend Favorite

On Ackermann's set theory 1

By  

The Journal of Symbolic Logic, Vol. 24, Iss. 2, 1959-06 ,pp. : 154-166 (13)

Cambridge University Press

Access to resources Recommend Favorite

Natural models of ackermann's set theory

By  

The Journal of Symbolic Logic, Vol. 34, Iss. 3, 1969-11 ,pp. : 481-488 (8)

Cambridge University Press

Access to resources Recommend Favorite

Relative consistency of an extension of Ackermann's set theory

By  

The Journal of Symbolic Logic, Vol. 41, Iss. 2, 1976-06 ,pp. : 465-466 (2)

Cambridge University Press

Access to resources Recommend Favorite