On the adjunction of any semiset to the system of -classes in AST
Commentationes Mathematicae Universitatis Carolinae (1989)
- Volume: 030, Issue: 4, page 775-778
- ISSN: 0010-2628
Access Full Article
top
How to cite
topČuda, Karel. "On the adjunction of any semiset to the system of $Sd_V$-classes in AST." Commentationes Mathematicae Universitatis Carolinae 030.4 (1989): 775-778. <http://eudml.org/doc/17791>.
@article{Čuda1989,
author = {Čuda, Karel},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {endomorphic universe with standard extension; Alternative Set Theory; semiset; Gödel’s operations},
language = {eng},
number = {4},
pages = {775-778},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {On the adjunction of any semiset to the system of $Sd_V$-classes in AST},
url = {http://eudml.org/doc/17791},
volume = {030},
year = {1989},
}
TY - JOUR
AU - Čuda, Karel
TI - On the adjunction of any semiset to the system of $Sd_V$-classes in AST
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1989
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 030
IS - 4
SP - 775
EP - 778
LA - eng
KW - endomorphic universe with standard extension; Alternative Set Theory; semiset; Gödel’s operations
UR - http://eudml.org/doc/17791
ER -
References
top- Balcar B., A theorem on supports in the theory of semiseis, Comment. Math. Univ. Carolinae 14 (1973), 1-6. (1973) MR0340015
- Čuda K., Nonstandard theory of semisets, Phd Thesis, Charles University 1976 (only in Czech). (1976)
- Sochor A., Vopěnka P., Endomorphic Universes and their standard extensions, Comment. Math. Univ. 20 (1979), 605-629. (1979) MR0555178
- Vopěnka P., Mathematics in the Alternative Set Theory, Teubner, Leipzig 1979. (1979) MR0581368
- Vopěnka P., Hájek P., The Theory of Semisets, 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.