A formal system for the alternative set theory. A non-extensional approach

Authors

  • C. Marchini

DOI:

https://doi.org/10.1285/i15900932v10n1p75

Abstract

We presented a formal system which is intended to capture the essence of the set theory in the alternative version given by Vopenka.Our purpose start from Sochor's remark that in the formalization presented as AST,the notions of set and class correspond respectively to element of the universe of sets and to object from the extended universe.

Downloads

Published

01-01-1990

Issue

Volume 10, Issue 1 (1990)

Section

Articoli

License

Authors who publish with this publication accept all the terms and conditions of the Creative Commons license at the link below.

Gli autori che pubblicano in questa rivista accettano i termini e le condizioni specificate nella licenza Creative Commons di cui al link sottostante.

http://creativecommons.org/licenses/by-nc-nd/3.0/it/legalcode