Set existence principles of Shoenfield, Ackermann, and Powell
Page 1
Displaying 1 – 10 of 10
Set theories incorporating Hilbert's ε-symbol [Book]
T. B. Flannagan (1974)
Set theory in predicate calculus with equality
M.W. Bunder (1983)
Archiv für mathematische Logik und Grundlagenforschung
Set theory over classes [Book]
Arnold Oberschelp (1973)
Some comments on the paper by Artigue, Isambert, Perrin and Zalc
W. Marek (1978)
Fundamenta Mathematicae
Some Fundamental Structures On Classes
Milan Đurić (1972)
Publications de l'Institut Mathématique
Some remarks on bicommutability
M. Artigue, E. Isambert, M. Perrin, A. Zalc (1978)
Fundamenta Mathematicae
Starkes und überstarkes Auswahlaxiom.
Curt Christian (1978)
Monatshefte für Mathematik
Sul problema dell'autoriferimento
Ennio De Giorgi, Marco Forti, Vincenzo M. Tortorelli (1986)
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni
We formulate, within the frame-theory for the foundations of Mathematics outlined in [2], a list of axioms which state that almost all "interesting" collections and almost all "interesting" operations are elements of the universe. The resulting theory would thus have the important foundational feature of being completely self-contained. Unfortunately, the whole list is inconsistent, and we are led to formulate the following problem, which we call the problem of self-reference: "Find out...
Sur les arbres logiques de M. Krasner
Alan J. Gold (1975)
Annales scientifiques de l'Université de Clermont. Mathématiques
Currently displaying 1 – 10 of 10
Page 1