Provability in the alternative set theory
Commentationes Mathematicae Universitatis Carolinae (1981)
- Volume: 022, Issue: 4, page 655-660
- ISSN: 0010-2628
Access Full Article
top
How to cite
topResl, Michal, and Sochor, Antonín. "Provability in the alternative set theory." Commentationes Mathematicae Universitatis Carolinae 022.4 (1981): 655-660. <http://eudml.org/doc/17139>.
@article{Resl1981,
author = {Resl, Michal, Sochor, Antonín},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {finite formula; finite proof; alternative set theory},
language = {eng},
number = {4},
pages = {655-660},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {Provability in the alternative set theory},
url = {http://eudml.org/doc/17139},
volume = {022},
year = {1981},
}
TY - JOUR
AU - Resl, Michal
AU - Sochor, Antonín
TI - Provability in the alternative set theory
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1981
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 022
IS - 4
SP - 655
EP - 660
LA - eng
KW - finite formula; finite proof; alternative set theory
UR - http://eudml.org/doc/17139
ER -
References
top- M. RESL, On models in the alternative set theory, Comment. Math. Univ. Carolinae 20 (1979), 723-736. (1979) Zbl0433.03032MR0555185
- A. SOCHOR, Metamathematica of the alternative set theory I, Comment. Math. Univ. Carolinae 20 (1979), 697-722. (1979) MR0555184
- A. SOCHOR, Metamathematica of the alternative set theory III, to appear in the Comment. Math. Univ. Carolinae. MR0703933
- P. VOPĚNKA, Mathematics in the alternative set theory, Teubner-Texte, Leipzig 1979. (1979) MR0581368
- P. VOPĚNKA P. HÁJEK, The Theory of Semisets, North-Holland, Amsterdam and Academia, Prague, 1972. (1972) MR0444473
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.