Metamathematics of the alternative set theory. III.

Antonín Sochor

Commentationes Mathematicae Universitatis Carolinae (1983)

  • Volume: 024, Issue: 1, page 137-154
  • ISSN: 0010-2628

How to cite

top

Sochor, Antonín. "Metamathematics of the alternative set theory. III.." Commentationes Mathematicae Universitatis Carolinae 024.1 (1983): 137-154. <http://eudml.org/doc/17236>.

@article{Sochor1983,
author = {Sochor, Antonín},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {alternative set theory; independence; interpretation; consistency; semantical model; ultrapower},
language = {eng},
number = {1},
pages = {137-154},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {Metamathematics of the alternative set theory. III.},
url = {http://eudml.org/doc/17236},
volume = {024},
year = {1983},
}

TY - JOUR
AU - Sochor, Antonín
TI - Metamathematics of the alternative set theory. III.
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1983
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 024
IS - 1
SP - 137
EP - 154
LA - eng
KW - alternative set theory; independence; interpretation; consistency; semantical model; ultrapower
UR - http://eudml.org/doc/17236
ER -

References

top
  1. J. BARWISE J. SCHLIPF, An introduction to recursively saturated and resplendent models, JSL 41 (1976), 531-536. (1976) MR0403952
  2. M. RAŠKOVIČ, On extendability of models of Z F F i n set theory to the models of Alternative set theory, to appear. 
  3. A. SOCHOR, Metamathematics of the alternative set theory II, Comment. Math. Univ. Carolinae 23 (1982), 55-79. (1982) Zbl0493.03030MR0653351
  4. A. SOCHOR P. VOPĚNKA, The axiom of reflection, Comment. Math. Univ. Carolinae 22 (1981), 87-111. (1981) MR0609938
  5. P. VOPĚNKA, The lattice of indiscernibility equivalences, Cooment. Math. Univ. Carolinae 20 (1979), 631-638. (1979) MR0555179
  6. A. VENCOVSKÁ, Independence of the axiom of choice in the alternative set theory, to appear. 
  7. A. SOCHOR, Metamathematics of the alternative set theory I, Comment. Math. Univ. Carolinae 20 (1979), 697-722. (1979) Zbl0433.03028MR0555184

NotesEmbed ?

top

You 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.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.