Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-Vollständigkeit. Monatshefte für Mathematik und Physik 40 (1933)

by A Tarski
Results 1 - 2 of 2

The Independence of Peano's Fourth Axiom from Martin-Löf's Type Theory without Universes

by Jan M. Smith - Journal of Symbolic Logic , 1988
"... this paper will work for any of the different formulations of Martin-Lof's type theory. 2 The construction of the interpretation ..."
Abstract - Cited by 16 (2 self) - Add to MetaCart
this paper will work for any of the different formulations of Martin-Lof's type theory. 2 The construction of the interpretation

The strength of Mac Lane set theory

by A. R. D. Mathias - ANNALS OF PURE AND APPLIED LOGIC , 2001
"... SAUNDERS MAC LANE has drawn attention many times, particularly in his book Mathematics: Form and Function, to the system ZBQC of set theory of which the axioms are Extensionality, Null Set, Pairing, ..."
Abstract - Cited by 11 (0 self) - Add to MetaCart
SAUNDERS MAC LANE has drawn attention many times, particularly in his book Mathematics: Form and Function, to the system ZBQC of set theory of which the axioms are Extensionality, Null Set, Pairing,