The strength of Mac Lane set theory

The strength of Mac Lane set theory (2001)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by A. R. D. Mathias

Venue:	ANNALS OF PURE AND APPLIED LOGIC
Citations:	11 - 0 self

BibTeX

@ARTICLE{Mathias01thestrength,
    author = {A. R. D. Mathias},
    title = {The strength of Mac Lane set theory},
    journal = {ANNALS OF PURE AND APPLIED LOGIC},
    year = {2001},
    volume = {110},
    pages = {2001}
}

Bookmark

OpenURL

Abstract

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,

Citations

173	Jirí Rosicky, Locally Presentable and Accessible Categories - Adamek - 1994
171	Admissible Sets and Structures - Barwise - 1975
157	Topos theory - Johnstone - 1977
136	Subsystems of Second Order Arithmetic - Simpson - 1999
100	The fine structure of the constructible hierarchy - Jensen - 1972
50	Almost free modules, set-theoretic methods (revised edition - Eklof, Mekler - 2002
16	Implications of large-cardinal principles in homotopical localization, preprint - Casacuberta, Scevenels, et al. - 1998
15	On the consistency of a slight (?) modification of Quine‘s New Foundations - Jensen
10	Consistency-proof for the Generalized Continuum Hypothesis - Gödel - 1939
10	em Set-theoretic functions for elementary syntax - Gandy - 1974
5	End-Extensions Preserving Power Set - Forster, Kaye - 1991
5	Set Theory with a Universal Set, Oxford Logic Guides 20 - Forster - 1992
5	Finitary sketches - Adamék, Johnstone, et al. - 1997
5	Mathematics: Form and Function - MacLane - 1986
4	Non-Well-Founded Sets, Lecture Notes 14, Center for Study of Language and Information - Aczel - 1988
4	Boolean topoi and the theory of sets - Mitchell - 1972
4	Categories of Sets and Models of Set Theory - Cole - 1973
4	Countable Models of Set Theories, in Cambridge Summer School in Mathematical Logic, August 1--21 - Friedman - 1971
4	Nicolas Bourbaki and the concept of mathematical structure - Corry - 1992
3	The Consistency of the Axiom of Choice and - Gödel - 1940
3	Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-Vollständigkeit. Monatshefte für Mathematik und Physik 40 - Tarski - 1933
3	Toposes and Local Set Theories, Oxford Logic Guides 14 - Bell
3	Higher recursion theory, Perspectives in Mathematical Logic - Sacks - 1990
2	The Consistency of the Axiom of Choice and the Generalised Continuum Hypothesis - Godel - 1940
2	Sur les cas stratifiés du schéma de remplacement, C.R.Acad.Sci.Paris Série A, t.271 - Coret - 1970
2	Mengeninduktion und Fundierungsaxiom, Archiv Math. Logik u. Grundlagenforschung 12 - Jensen, Schroder - 1969
2	Axiome et schéma de fondement dans le système de - Boffa - 1969
2	Axiom and Scheme of Foundation - Boffa - 1970
2	Categorical Set Theory: a characterisation of the category of sets - Osius - 1974
2	Mathematical Logic and Hilbert’s ε-symbol, Macdonald Technical and Scientific - Leisenring - 1969
2	On a problem of Kleene’s - Gandy - 1960
2	What is Mac Lane missing ? in Set Theory of the Continuum edited by - Mathias - 1992
2	Is Mathias an ontologist ? in Set Theory of the Continuum edited by - Lane - 1992
1	course on admissible recursion theory, in Generalized Recursion Theory II, edited by - Simpson, Short - 1978
1	Stratified formulas in Zermelo–Fraenkel set theory - Boffa - 1971
1	Logik und Grundl - Vopěnka, Hájek, et al. - 1963
1	Über endlich axiomatisierbare Teilsysteme der Zermelo–Fraenkel’schen Mengenlehre, Z. Math. Logik und Grundl.Math - Thiele - 1968
1	Slim models of Zermelo set theory, Journal of Symbolic Logic, to appear. Circulated as Preprint núm. 336, of the Centre de Recerca Matemàtica de l’Institut d’Estudis Catalans - Mathias - 1996
1	axiomes de l’infini dans la théorie des ensembles sans axiome de substitution - Drabbe, Les - 1969
1	Une infinité d’axiomes de l’infini mutuellement indépendants dans le système de Zermelo - Boffa - 1969
1	Strong Statements of Analysis - Mathias
1	Type Theory and Set - Kemeny - 1949
1	Type theory versus set theory, (Abstract - Kemeny - 1950
1	as mathematician - Gandy, Russell - 1973
1	The simple theory of types, Logic Colloquium ’76, edited by R.O.Gandy and J.M.E.Hyland - Gandy
1	Set-theoretic foundations for logic - Quine - 1936
1	Modèles cumulatifs de la théorie des types - Boffa - 1977
1	Comparing type theory and set theory, Zeitschrift für Mathematischer Logik 21 - Lake - 1975
1	Sentences of type theory: the only sentences preserved under isomorphisms - Marshall, Chuaqui - 1991
1	1-definability in set theory - Takahashi - 1972