Contributions to the Theory of Semisets I. Relations of the theory of semisets to the Zermelo‐Fraenkel set theory

Mathematical Logic Quarterly 18 (16‐18):241-248 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19720181602

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Contributions to the Theory of Semisets II. The theory of semisets and end‐extensions in a syntactic setting.Josef Mlček & Antonín Sochor - 1972 - Mathematical Logic Quarterly 18 (25‐30):407-417.
Contributions to the theory of semisets: III absolute sets, absolute equivalence and iterations of class‐mappings in the theory of semisets.Karel Čuda - 1973 - Mathematical Logic Quarterly 19 (26‐29):399-406.
Contributions to the Theory of Semisets IV.Petr Štêpánek - 1974 - Mathematical Logic Quarterly 20 (23‐24):373-384.
Contributions to the theory of semisets V: On the axiom of general collapse.Petr Vopênka & Antonín Sochor - 1975 - Mathematical Logic Quarterly 21 (1):289-302.
Review: Petr Vopenka, Petr Hajek, The Theory of Semisets. [REVIEW]Azriel Levy - 1984 - Journal of Symbolic Logic 49 (4):1422-1423.
Contribution to the theory of semisets VI: (Non‐existence of the class of all absolute natural numbers).Antonin Sochor - 1975 - Mathematical Logic Quarterly 21 (1):439-442.
A linear conservative extension of zermelo-Fraenkel set theory.Masaru Shirahata - 1996 - Studia Logica 56 (3):361 - 392.
An Interpretation of the Zermelo‐Fraenkel Set Theory and the Kelley‐Morse Set Theory in a Positive Theory.Olivier Esser - 1997 - Mathematical Logic Quarterly 43 (3):369-377.
The essence of intuitive set theory.Kannan Nambiar - 2001
Is any set theory true?Joseph S. Ullian - 1969 - Philosophy of Science 36 (3):271-279.
Slim models of zermelo set theory.A. R. D. Mathias - 2001 - Journal of Symbolic Logic 66 (2):487-496.
Zermelo (1930) is concerned with impredicative second-order set theory. He treats the general case of set theory with urelements, but it will be enough to consider only the case of pure set theory, ie without urelements. In this context, Zermelo's theory is the axiomatic second-order theory T2 in the language of pure set theory whose axioms are Extensionality, Regu. [REVIEW]Ww Tait - 1998 - In Matthias Schirn (ed.), The Philosophy of Mathematics Today: Papers From a Conference Held in Munich From June 28 to July 4,1993. Oxford, England: Clarendon Press. pp. 469.
The Tree Theory and Isomorphism.Charles Sayward - 1980 - Analysis 41 (1):6-11.

Analytics

Added to PP
2013-11-24

Downloads
11 (#1,075,532)

6 months
9 (#250,037)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Review: Petr Vopenka, Petr Hajek, The Theory of Semisets. [REVIEW]Azriel Levy - 1984 - Journal of Symbolic Logic 49 (4):1422-1423.

Add more references