# On the adjunction of any semiset to the system of $S{d}_{V}$-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 ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.