Set theory and the analyst

[1]  Robert M. Solovay,et al.  The independence of DC from AD , 2020, Large Cardinals, Determinacy and Other Topics.

[2]  Catriona Dutreuilh,et al.  Introduction , 2019 .

[3]  Jan Mycielski,et al.  Shadows of the axiom of choice in the universe L(R)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$L(\mathbb {R})$$\en , 2017, Archive for Mathematical Logic.

[4]  S. Walsh,et al.  Philosophy and Model Theory , 2018 .

[5]  N. Bingham,et al.  Variants on the Berz sublinearity theorem , 2017, Aequationes mathematicae.

[6]  Nitakshi Goyal,et al.  General Topology-I , 2017 .

[7]  J. Mycielski,et al.  Shadows of the axiom of choice in the universe L(R)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$L(\mathbb {R})$$\en , 2017, Archive for Mathematical Logic.

[8]  P. Larson,et al.  Foundations of Mathematics , 2017 .

[9]  Fred Galvin,et al.  Strong measure zero and infinite games , 2017, Arch. Math. Log..

[10]  H. Dales.  Norming infinitesimals of large fields , 2017 .

[11]  N. Bingham,et al.  Category-measure duality: convexity, midpoint convexity and Berz sublinearity , 2016, 1607.05750.

[12]  Angus Macintyre.  Turing meets Schanuel , 2016, Ann. Pure Appl. Log..

[13]  N. Bingham,et al.  The Steinhaus-Weil property: its converse, Solecki amenability and subcontinuity , 2016 .

[14]  N. Bingham,et al.  The Steinhaus-Weil property: its converse, subcontinuity and Solecki amenability , 2016, 1607.00049.

[15]  N. Bingham,et al.  Beyond Lebesgue and Baire IV: Density topologies and a converse Steinhaus-Weil Theorem , 2016, 1607.00031.

[16]  Effros, Baire, Steinhaus and non-separability , 2015, 1606.04496.

[17]  K. Falconer,et al.  Claude Ambrose Rogers. 1 November 1920 — 5 December 2005 , 2015, Biographical Memoirs of Fellows of the Royal Society.

[18]  S. Walsh,et al.  Structure and Categoricity: Determinacy of Reference and Truth-Value in the Philosophy of Mathematics , 2015, 1501.00472.

[19]  R. Daniel Mauldin,et al.  The Scottish Book , 2015 .

[20]  Yeneng Sun.  Nonstandard Analysis in Mathematical Economics , 2015 .

[21]  Akihiro Kanamori,et al.  ERDŐS AND SET THEORY , 2014, The Bulletin of Symbolic Logic.

[22]  N. Bingham,et al.  Beurling moving averages and approximate homomorphisms , 2014, 1407.4093.

[23]  N. Bingham,et al.  Additivity, subadditivity and linearity: automatic continuity and quantifier weakening , 2014, 1405.3948.

[24]  Z. Vidnyánszky.  Transfinite inductions producing coanalytic sets , 2012, 1209.4267.

[25]  Robert Solovay.  2χoCAN BE ANYTHING IT OUGHT TO BE , 2014 .

[26]  A. Ostaszewski.  Almost completeness and the Effros open mapping principle in normed groups , 2013 .

[27]  A. Ostaszewski.  Shift-compactness in almost analytic submetrizable baire groups and spaces , 2013 .

[28]  Paul B. Larson,et al.  A Brief History of Determinacy , 2020, Sets and Extensions in the Twentieth Century.

[29]  D. Dalen.  L.E.J. Brouwer - Topologist, Intuitionist, Philosopher , 2012 .

[30]  A. Ostaszewski,et al.  Group action and shift-compactness , 2012 .

[31]  John Harrison,et al.  Some new results on decidability for elementary algebra and geometry , 2009, Ann. Pure Appl. Log..

[32]  A. Ostaszewski.  Analytic Baire spaces , 2012 .

[33]  John R. Steel,et al.  Godel's program , 2012 .

[34]  Christos H. Papadimitriou,et al.  Kurt Godel and the Foundations of Mathematics: Horizons Of Truth , 2014 .

[35]  J. Moore.  The Proper Forcing Axiom , 2011 .

[36]  Lev Bukovský,et al.  The Structure of the Real Line , 2011 .

[37]  P. J. Cohen.  Kurt Gödel and the Foundations of Mathematics: My Interaction with Kurt Gödel: The Man and His Work , 2011 .

[38]  Michael Hallett.  Absoluteness and the Skolem Paradox , 2011 .

[39]  L. Bukovský.  The Real Line , 2011 .

[40]  W. Hugh Woodin.  Kurt Gödel and the Foundations of Mathematics: The Transfinite Universe , 2011 .

[41]  N. Bingham,et al.  Regular variation without limits , 2010 .

[42]  N. Bingham,et al.  Dichotomy and infinite combinatorics: the theorems of Steinhaus and Ostrowski , 2010, Mathematical Proceedings of the Cambridge Philosophical Society.

[43]  T. Bartoszynski.  INVARIANTS OF MEASURE AND CATEGORY , 1999, math/9910015.

[44]  N. Bingham,et al.  Beyond Lebesgue and Baire II: bitopology and measure-category duality , 2010 .

[45]  Steve Jackson,et al.  Structural Consequences of AD , 2010 .

[46]  Itay Neeman,et al.  Determinacy in L(ℝ) , 2010 .

[47]  W. Hugh Woodin,et al.  Large Cardinals from Determinacy , 2010 .

[48]  M. Foreman,et al.  Handbook of Set Theory , 2010 .

[49]  N. H. Bingham,et al.  FINITE ADDITIVITY VERSUS COUNTABLE ADDITIVITY , 2010 .

[50]  N. Bingham,et al.  Infinite combinatorics and the foundations of regular variation , 2009 .

[51]  Asger Törnquist.  Σ1 2 and Π1 1 Mad Families , 2009, The Journal of Symbolic Logic.

[52]  Dov M. Gabbay,et al.  Logic from Russell to Church , 2009, Handbook of the History of Logic.

[53]  Attila Gilányi,et al.  An Introduction to the Theory of Functional Equations and Inequalities , 2008 .

[54]  Akihiro Kanamori,et al.  Cohen and Set Theory , 2008, Bulletin of Symbolic Logic.

[55]  Peter Smith,et al.  An Introduction to Gödel's Theorems , 2007 .

[56]  J. K. Hunter,et al.  Measure Theory , 2007 .

[57]  Horst Herrlich,et al.  Axiom of Choice , 2006 .

[58]  Paul J Cohen.  Skolem and pessimism about proof in mathematics , 2005, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[59]  A. Kanamori.  The higher infinite : large cardinals in set theory from their beginnings , 2005 .

[60]  J. van Mill.  A Note on the Effros Theorem , 2004 .

[61]  Jan van Mill,et al.  A Note on the Effros Theorem , 2004, Am. Math. Mon..

[62]  Th. Skolem.  The logical nature of arithmetic , 2004, Synthese.

[63]  Cristian S. Calude,et al.  A topological characterization of random sequences , 2003, Inf. Process. Lett..

[64]  Dana Scott.  Measurable Cardinals and Constructible Sets , 2003 .

[65]  Donald A. Martin,et al.  Measurable cardinals and analytic games , 2003 .

[66]  Stevo Todorcevic.  Generic absoluteness and the continuum , 2002 .

[67]  J.-P. Kahane,et al.  Probabilities and Baire's theory in harmonic analysis , 2001 .

[68]  Peter A. Loeb,et al.  Nonstandard analysis for the working mathematician , 2000 .

[69]  W. Hugh Woodin,et al.  The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal , 1999 .

[70]  H. Herrlich,et al.  Products, the Baire category theorem, and the axiom of dependent choice , 1999 .

[71]  Marianne Morillon,et al.  The Hahn-Banach Property and the Axiom of Choice , 1999, Math. Log. Q..

[72]  M. Morillon,et al.  The Baire Category Property and Some Notions of Compactness , 1998 .

[73]  P. Cameron.  Naïve set theory , 1998 .

[74]  K. Ciesielski.  Set Theory for the Working Mathematician , 1997 .

[75]  Otmar Spinas,et al.  Large cardinals and projective sets , 1997, Arch. Math. Log..

[76]  Wilfrid Hodges,et al.  A Shorter Model Theory , 1997 .

[77]  K. Ciesielski.  Set Theoretic Real Analysis , 1997 .

[78]  A. Kechris,et al.  The Descriptive Set Theory of Polish Group Actions: BETTER TOPOLOGIES , 1996 .

[79]  Jean E. Rubin,et al.  The Boolean Prime Ideal Theorem Plus Countable Choice Do Not Imply Dependent Choice , 1996, Math. Log. Q..

[80]  H. G. Dales,et al.  Super-Real Fields: Totally Ordered Fields with Additional Structure , 1996 .

[81]  Haim Judah,et al.  Set Theory: On the Structure of the Real Line , 1995 .

[82]  Yiannis N. Moschovakis,et al.  Notes On Set Theory , 1994 .

[83]  G. Buskes.  The Hahn-Banach theorem surveyed , 1993 .

[84]  Saharon Shelah,et al.  Baire property and axiom of choice , 1992, math/9211213.

[85]  B. Velickovic.  Forcing axioms and stationary sets , 1992 .

[86]  Saharon Shelah,et al.  Large cardinals imply that every reasonably definable set of reals is lebesgue measurable , 1990 .

[87]  F. Su.  The Banach-Tarski Paradox , 1990 .

[88]  George Wilmers.  CANTORIAN SET THEORY AND LIMITATION OF SIZE: (Oxford Logic Guides 10) , 1989 .

[89]  John R. Steel,et al.  A proof of projective determinacy , 1989 .

[90]  Kenneth Kunen,et al.  Handbook of Set-Theoretic Topology , 1988 .

[91]  S. Shelah,et al.  Martin's Maximum, saturated ideals and non-regular ultrafilters. Part II , 1988 .

[92]  Steve Jackson.  Ad and the projective ordinals , 1988 .

[93]  H. G. Dales,et al.  An Introduction to Independence for Analysts , 1987 .

[94]  A. Kechris.  Classical descriptive set theory , 1987 .

[95]  Robert L. Vaught,et al.  Alfred Tarski's work in model theory , 1986, Journal of Symbolic Logic.

[96]  Jacques Stern,et al.  Regularity properties of definable sets of reals , 1985, Ann. Pure Appl. Log..

[97]  Robert Goldblatt,et al.  On the role of the Baire Category Theorem and Dependent Choice in the foundations of logic , 1985, Journal of Symbolic Logic.

[98]  S. Shelah.  On measure and category , 1985 .

[99]  R. Solovay,et al.  On the Relative Consistency Strength of Determinacy Hypothesis , 1985 .

[100]  Jean Raisonnier,et al.  A mathematical proof of S. Shelah’s theorem on the measure problem and related results , 1984 .

[101]  Saharon Shelah,et al.  Can you take Solovay’s inaccessible away? , 1984 .

[102]  D. Fremlin.  Consequences of Martin's Axiom , 1984 .

[103]  Alexander S. Kechris.  The Axiom of Determinancy Implies Dependent Choices in L(R) , 1984, J. Symb. Log..

[104]  Eric K. van Douwen,et al.  The Integers and Topology , 1984 .

[105]  Kenneth Kunen,et al.  Random and Cohen Reals , 1984 .

[106]  Michael Hallett.  Cantorian set theory and limitation of size , 1984 .

[107]  Tomek Bartoszyński,et al.  Additivity of measure implies additivity of category , 1984 .

[108]  James E. Baumgartner,et al.  Applications of the Proper Forcing Axiom , 1984 .

[109]  R. Gardner.  CHAPTER 22 – Borel Measures , 1984 .

[110]  W. Weiss.  Versions of Martin's Axiom , 1984 .

[111]  Kenneth Kunen,et al.  Set Theory: An Introduction to Independence Proofs , 2010 .

[112]  E. S. Wolk.  On the Principle of Dependent Choices and Some Forms of Zorn's Lemma , 1983, Canadian Mathematical Bulletin.

[113]  Keith J. Devlin.  Surveys in set theory: THE YORKSHIREMAN'S GUIDE TO PROPER FORCING , 1983 .

[114]  J. Burgess.  Classical hierarchies from a modern standpoint. Part I. C-sets , 1983 .

[115]  J. C. Oxtoby.  Measure and Category on the Line , 1980 .

[116]  A. Mathias,et al.  Surrealist landscape with figures (a survey of recent results in set theory) , 1979 .

[117]  Leo Harrington,et al.  Analytic determinacy and 0# , 1978, Journal of Symbolic Logic.

[118]  Akihiro Kanamori,et al.  Strong axioms of infinity and elementary embeddings , 1978 .

[119]  Akihiro Kanamori,et al.  The evolution of large cardinal axioms in set theory , 1978 .

[120]  David Pincus,et al.  Definability of measures and ultrafilters , 1977, Journal of Symbolic Logic.

[121]  David Pincus.  Adding dependent choice , 1977 .

[122]  David Pincus.  Adding Dependent Choice to the Prime Ideal Theorem , 1977 .

[123]  J. D. Maitland Wright.  Functional Analysis for the Practical Man , 1977 .

[124]  J. Nagata,et al.  On rings of continuous functions , 1977 .

[125]  Eugene M. Kleinberg,et al.  Infinitary combinatorics and the axiom of determinateness , 1977 .

[126]  Adam Ostaszewski,et al.  On Countably Compact, Perfectly Normal Spaces , 1976 .

[127]  Heinz-Dieter Ebbinghaus.  Axiomatizing set theory , 1976 .

[128]  Paul Bernays,et al.  A System of Axiomatic Set Theory , 1976 .

[129]  H. Keisler.  Foundations of infinitesimal calculus , 1976 .

[130]  E. Berz.  Sublinear functions onR , 1975 .

[131]  Analytical Wellorderings in R , 1975 .

[132]  W. Wistar Comfort,et al.  The Theory of Ultrafilters , 1974 .

[133]  A. Ostaszewski.  Martin's axiom and Hausdorif measures , 1974, Mathematical Proceedings of the Cambridge Philosophical Society.

[134]  J. Fenstad,et al.  ON ABSOLUTELY MEASURABLE SETS , 1974 .

[135]  F. R. Drake,et al.  Set theory : an introduction to large cardinals , 1974 .

[136]  David Pincus,et al.  The strength of the Hahn-Banach theorem , 1974 .

[137]  Keith Devlin,et al.  Aspects of Constructibility , 1973 .

[138]  A. Ostaszewski.  Saturated Structures and a Theorem of Arhangelskii , 1973 .

[139]  David Pincus,et al.  Independence of the prime ideal theorem from the Hahn Banach theorem , 1972 .

[140]  R. Jensen,et al.  The fine structure of the constructible hierarchy , 1972 .

[141]  Thomas Jech,et al.  About the Axiom of Choice , 1973 .

[142]  R. M. Solovay,et al.  Iterated Cohen extensions and Souslin's problem* , 1971 .

[143]  Yiannis N. Moschovakis,et al.  Uniformization in a playful universe , 1971 .

[144]  Kenneth Kunen,et al.  Elementary embeddings and infinitary combinatorics , 1971, Journal of Symbolic Logic.

[145]  Donald A. Martin,et al.  Internal cohen extensions , 1970 .

[146]  R. Solovay.  A model of set-theory in which every set of reals is Lebesgue measurable* , 1970 .

[147]  Donald A. Matrin.  Measurable cardinals and analytic games , 1970 .

[148]  J. Marsden,et al.  Lectures on analysis , 1969 .

[149]  Andrzhei︠a︡ Mostowski.  Constructible sets with applications , 1969 .

[150]  John L. Bell,et al.  Models and Ultraproducts: An Introduction. , 1969 .

[151]  R. Solovay.  On the Cardinality of \sum_2^1 Sets of Reals , 1969 .

[152]  D. Blackwell,et al.  Infinite games and analytic sets. , 1967, Proceedings of the National Academy of Sciences of the United States of America.

[153]  Herbert Meschkowski.  Axiomatisierung der Mengenlehre , 1967 .

[154]  P. J. Cohen.  Set Theory and the Continuum Hypothesis , 1966 .

[155]  Jack Howard Silver,et al.  Some applications of model theory in set theory , 1966 .

[156]  A. Robinson,et al.  Non-standard analysis , 1966 .

[157]  A. Robinson.  Introduction to model theory and to the metamathematics of algebra , 1964 .

[158]  J. Mycielski.  On the axiom of determinateness , 1964 .

[159]  Jan Mycielski,et al.  On the Lebesgue measurability and the axiom of determinateness , 1964 .

[160]  P. J. Cohen,et al.  THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS, II. , 1964, Proceedings of the National Academy of Sciences of the United States of America.

[161]  P. J. Cohen,et al.  THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS. , 1963, Proceedings of the National Academy of Sciences of the United States of America.

[162]  Leonard Gillman,et al.  Rings of continuous functions , 1961 .

[163]  Hisahiro Tamano,et al.  On Rings of Real Valued Continuous Functions , 1958 .

[164]  P. Erdös,et al.  A Partition Calculus in Set Theory , 1956 .

[165]  D. Montgomery,et al.  Topological Transformation Groups , 1956 .

[166]  Andrzej Ehrenfeucht,et al.  Models of axiomatic theories admitting automorphisms , 1956 .

[167]  Jerzy Loś,et al.  Quelques Remarques, Théorèmes Et Problèmes Sur Les Classes Définissables D'algèbres , 1955 .

[168]  G. Choquet.  Theory of capacities , 1954 .

[169]  David Gale,et al.  13. Infinite Games with Perfect Information , 1953 .

[170]  Luitzen Egbertus Jan Brouwer.  An intuitionist correction of the fixed-point theorem on the sphere , 1952, Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences.

[171]  R. Davies.  Subsets of finite measure in analytic sets , 1952 .

[172]  E. Beth.  A Topological Proof of the Theorem of Löwenheim−Skolem−Gödel , 1951 .

[173]  K. Arrow.  A Difficulty in the Concept of Social Welfare , 1950, Journal of Political Economy.

[174]  A. Mostowski.  On the principle of dependent choices , 1948 .

[175]  Edwin Hewitt,et al.  Rings of real-valued continuous functions. I , 1948 .

[176]  A. Tarski.  Axiomatic and algebraic aspects of two theorems on sums of cardinals , 1948 .

[177]  P. Bernays.  A system of axiomatic set theory. Part III. Infinity and enumerability. Analysis , 1942, Journal of Symbolic Logic.

[178]  Paul Bernays,et al.  A system of axiomatic set theory—Part I , 1937, Journal of Symbolic Logic.

[179]  L. M. Milne-Thomson,et al.  Grundlagen der Mathematik , 1935, Nature.

[180]  Hypothese du continu , 1935 .

[181]  T. Skolem.  Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen , 1934 .

[182]  S. Banach,et al.  Théorie des opérations linéaires , 1932 .

[183]  S. Ulam,et al.  Zur Masstheorie in der allgemeinen Mengenlehre , 1930 .

[184]  Wacław Sierpiński,et al.  Leçons sur les ensembles analytiques et leurs applications , 1930 .

[185]  A. Tarski,et al.  Une contribution à la théorie de la mesure , 1930 .

[186]  Frank Plumpton Ramsey,et al.  On a Problem of Formal Logic , 1930 .

[187]  John von Neumann,et al.  Über die Definition durch transfinite Induktion und verwandte Fragen der allgemeinen Mengenlehre , 1928 .

[188]  D. Hilbert.  Über das Unendliche , 1926 .

[189]  O. Nikodým.  Sur une propriété de l'opération A , 1925 .

[190]  Wacław Sierpiński,et al.  Sur la puissance des ensembles mesurables (B) , 1924 .

[191]  D. Hilbert.  Grundlagen der Geometrie , 1922 .

[192]  Michel Souslin.  Sur une definition des ensembles mesurables B sans nombres transfinis , 1917 .

[193]  L. Brouwer.  Über Abbildung von Mannigfaltigkeiten , 1911 .

[194]  L. Brouwer.  Über Abbildung von Mannigfaltigkeiten , 1911 .

[195]  D. Hilbert,et al.  Ueber die Grundlagen der Geometrie , 1902 .

[196]  D. Hilbert.  Les principes fondamentaux de la géométrie , 1900 .