A General Spatial Structure On Classes
Page 1 Next
Displaying 1 – 20 of 56
A one axiom set theory based on higher order predicate calculus.
M.W. Bunder (1983)
Archiv für mathematische Logik und Grundlagenforschung
A sentence that is difficult to interpret
Vítězslav Švejdar (1981)
Commentationes Mathematicae Universitatis Carolinae
Application de la généralisation du principe de correspondance à la théorie de l'élimination
Louis Saltel (1873)
Nouvelles annales de mathématiques : journal des candidats aux écoles polytechnique et normale
Axiomatische Mengenlehre ohne Elemente von Mengen.
H. Wegel (1956)
Mathematische Annalen
Beweistheorie von KPN.
Gerhard Jäger (1980)
Archiv für mathematische Logik und Grundlagenforschung
Classes of Dedekind finite cardinals
John Truss (1974)
Fundamenta Mathematicae
Constructibility in Ackermann's set theory [Book]
C. Alkor (1982)
Dependences between definitions of finiteness
Ladislav Spišiak, Peter Vojtáš (1988)
Czechoslovak Mathematical Journal
Dependences between definitions of finiteness. II
Ladislav Spišiak (1993)
Czechoslovak Mathematical Journal
Eine axiomatische Mengenlehre mit größtem Universum und Hyperklassen.
Dieter Klaua (1981)
Monatshefte für Mathematik
Eine Note zum System PC.
Curt Christian (1977)
Monatshefte für Mathematik
Erweiterte Fassung eines von Clebsch aufgestellten Uebertragungsprincips und deren Anwendung
Gundelfinger (1873)
Mathematische Annalen
Expansions of models of ZFC.
T.B. Flannagan (1980)
Archiv für mathematische Logik und Grundlagenforschung
Finite functions and the necessary use of large cardinals.
Friedman, Harvey M. (1998)
Annals of Mathematics. Second Series
Finite sets and Gödel's incompleteness theorems [Book]
S. Świerczkowski (2003)
Finiteness and choice
Omar De la Cruz (2002)
Fundamenta Mathematicae
We deal with weak choice principles of the form: Every "finite" family of non-empty sets has a choice function, where "finite" stands for one of several different definitions of finiteness that are not equivalent unless we assume the axiom of choice (AC). Several relations of implication and independence are established. In the process, we answer a few open questions about the relations between different definitions of finiteness.
Intensionality, reflection, and large cardinals.
Belyakin, N.V., Ganov, V.A. (2002)
Sibirskij Matematicheskij Zhurnal
Internally standard set theories
George Wilmers (1971)
Fundamenta Mathematicae
Kategorielle Mengenlehre: Eine Charakterisierung der Kategorie der Klassen und Abbildungen.
Gerhard Osius (1974)
Mathematische Annalen
Currently displaying 1 – 20 of 56
Page 1 Next