Set theory with free construction principles

Marco Forti; Furio Honsell

Annali della Scuola Normale Superiore di Pisa - Classe di Scienze (1983)

  • Volume: 10, Issue: 3, page 493-522
  • ISSN: 0391-173X

How to cite

top

Forti, Marco, and Honsell, Furio. "Set theory with free construction principles." Annali della Scuola Normale Superiore di Pisa - Classe di Scienze 10.3 (1983): 493-522. <http://eudml.org/doc/83914>.

@article{Forti1983,
author = {Forti, Marco, Honsell, Furio},
journal = {Annali della Scuola Normale Superiore di Pisa - Classe di Scienze},
keywords = {axiom of foundation; axioms of universality; free construction principle; Gödel-Bernays set theory},
language = {eng},
number = {3},
pages = {493-522},
publisher = {Scuola normale superiore},
title = {Set theory with free construction principles},
url = {http://eudml.org/doc/83914},
volume = {10},
year = {1983},
}

TY - JOUR
AU - Forti, Marco
AU - Honsell, Furio
TI - Set theory with free construction principles
JO - Annali della Scuola Normale Superiore di Pisa - Classe di Scienze
PY - 1983
PB - Scuola normale superiore
VL - 10
IS - 3
SP - 493
EP - 522
LA - eng
KW - axiom of foundation; axioms of universality; free construction principle; Gödel-Bernays set theory
UR - http://eudml.org/doc/83914
ER -

References

top
  1. [1] M. Boffa, Sur la théorie des ensembles sans axiome de fondement, Bull. Soc. Math. Belg., 21 (1969), pp. 16-56. Zbl0193.30601MR260588
  2. [2] M. Boffa, Forcing et négation de l'axiome de fondement, Mem. Acad. Sc. Belg., Tome XL, fasc. 7 (1972). Zbl0286.02068
  3. [3] U. Felgner, Choice functions on sets and classes, in Sets and classes; on the work by Paul Bernays (G. H. Müller, ed.), New York - Amsterdam, 1976, pp. 217-255. Zbl0341.02054MR424566
  4. [4] M. Forti - F. Honsell, Comparison of the axioms of global and local universality, Zeitschr. für Math. Log. u. Grund. der Math. (1982, to appear). Zbl0523.03040
  5. [5] M. Forti - F. Honsell, Formalizzazioni del principio di libera costruzione, in Atti degli incontri di logica matematica (C. Bernardi, cur.), Siena 1982, pp. 209-213. Zbl0514.03033
  6. [6] K. Gödel, The consistency of the axiom of choice and of the generalized continumu hypothesis, Ann. of Math. Stud., vol. 3, Princeton, 1940. Zbl0061.00902
  7. [7] P. Hájek, Modelle der Mengenlehre in denen Mengen gegebener Gestalt existieren, Zeitschr. f. Math. Log. u. Grund. der Math., 11 (1965), pp. 103-115. Zbl0171.26402MR177897
  8. [8] F. Honsell, Modelli della teoria degli insiemi, principi di regolarità e di libera costruzione, Pisa, tesi di laurea (1981). 
  9. [9] A. Levy, A hierarchy of formulas in set theory, Mem. Amer. Math. Soc., 57 (1965). Zbl0202.30502MR189983
  10. [10] L. Rieger, A contribution to Gödel's axiomatic set thery, I, Czech. Math. J., 7 (1957), pp. 323-357. Zbl0089.24403MR99298

Citations in EuDML Documents

top
  1. Furio Honsell, Marina Lenisa, Rekha Redamalla, Equivalences and Congruences on Infinite Conway Games
  2. Furio Honsell, Marina Lenisa, Rekha Redamalla, Equivalences and Congruences on Infinite Conway Games
  3. V. M. Tortorelli, A characterization of internal sets
  4. Vincenzo M. Tortorelli, Γ Limiti e analisi non standard
  5. Massimo Clavelli, Universalità, Super-universalità, pseudo-modelli, relazioni di pseudo-universo e tecniche elementari
  6. Ennio De Giorgi, Marco Forti, Una teoria-quadro per i fondamenti della matematica
  7. Massimo Clavelli, Principi di libera costruzione, relativi alla teoria quadro dei fondamenti della matematica di De Giorgi-Forti

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.