%%% List of "external" references.
%% (Includes all entries from the bibliography for "Cardarith",
%% and pif.
% when adding papers, please respect the lexicographic order
@string{fm = "Fundamenta Mathematicae"}
@string{bams = "Bulletin of the AMS"}
@string{tams = "Transactions of the AMS"}
@string{pams = "Proceedings of the AMS"}
%%% List of "external" references.
%% (Includes all entries from the bibliography for "Cardarith",
%% and pif.)
% when adding papers, please respect the lexicographic order
@article{AbVi,
author = {Abiteboul, Serge and Vianu, Victor},
title = {{Generic Computation and its Complexity}},
journal = {ACM Symposium on Theory of Computing},
year = {1991},
pages = {209--219},
},
@phdthesis{A,
author = {Uri Abraham},
title = {{Isomorphisms of Aronszajn trees and forcing without the
generalized continuum hypothesis {\rm (in Hebrew)}}},
school = {The Hebrew University, Jerusalem},
year = {1979},
usedin = {cardarith},
},
@book{AAC90,
author = {D.L. Alben and G.L. Alexanderson and C. Reid (editors)},
title = {{More Mathematical People}},
publisher = {Harcourt Brace Jovanovich},
year = {1990},
},
@inCollection{Ab0xp,
author = {Uri Abraham},
title = {{Lectures on proper forcing}},
booktitle = {Handbook of Set Theory},
editor = {A. Kanamori, M. Foreman and M. Magidor},
publisher = {},
year = {},
pages = {},
},
@incollection{Ab10,
author = {Abraham, Uri},
title = {Proper forcing},
volume = {1},
year = {2010},
pages = {333--394},
booktitle = {Handbook of Set Theory},
publisher = {Springer},
editor = {Matthew Foreman and Akihiro Kanamori},
},
@incollection{AbMg10,
author = {Abraham, Uri and Magidor, Menachem},
title = {Cardinal Arithmetic},
volume = {1,2,3},
year = {2010},
pages = {1149--1227},
booktitle = {Handbook of Set Theory},
publisher = {Springer, Dordrecht},
editor = {Matthew Foreman and Akihiro Kanamori},
},
@article{AbTo97,
author = {Uri Abraham and Stevo Todor\v{c}evi\'{c}},
title = {{Partition properties of $\omega_1$ compatible with CH}},
journal = {{Fundamenta Mathematicae}},
volume = {152},
year = {1997},
pages = {165--181},
},
@article{Ab83,
author = {Uri Abraham},
title = {{Aronszajn trees on $\aleph_2$ and $\aleph_3$}},
journal = {Ann. Pure Appl. Logic},
volume = {24},
year = {1983},
pages = {213--230},
},
@article{Ah84,
author = {Ron Aharoni},
title = {Konig's duality theorem for infinite bipartite graphs},
journal = {Journal of the London Mathematical Society},
volume = {29},
year = {1984},
pages = {1--12},
},
@article{AhBe0x,
author = {Ron Aharoni and Eli Berger},
title = {Menger's Theorem for infinite graphs},
journal = {preprint},
},
@article{Aj83,
author = {Miklos Ajtai},
title = {{$\Sigma_1^1$-formulae on finite structures}},
journal = {Annals of Pure and Applied Logic},
volume = {24},
year = {1983},
pages = {1--48},
},
@article{Aj89,
author = {Miklos Ajtai},
title = {{First-order definability on finite structures}},
journal = {Annals of Pure and Applied Logic},
volume = {45},
year = {1989},
pages = {211--225},
},
@article{Ajt94,
author = {Miklos Ajtai},
title = {{The complexity of the pigeonhole principle}},
journal = {Combinatorica},
volume = {14},
year = {1994},
pages = {417--433},
},
@book{AleGu,
author = {Alechina, Natasha and Gurevich, Yuri},
title = {{Syntax vs. Semantics on Finite Structures}},
series = {Lectures Notes in Computer Science},
year = {1997},
publisher = {Springer-Verlag, Berlin-Heidelberg-New York},
},
@unpublished{Al,
author = {Noga Alon},
note = {Notes.}
},
@article{AH,
author = {Noga Alon and Andreas Hajnal},
title = {{Ramsey graphs contains many distinct induced subgraphs}},
journal = {Graphs and combinatorics},
volume = {7},
year = {1991},
pages = {1--6},
},
@article{Al3,
author = {Noga Alon},
title = {{Ramsey graphs cannot be defined by real polynomials}},
journal = {J. Graph Theory},
volume = {14},
year = {1990},
pages = {651--661},
},
@article{Alo02,
author = {Noga Alon},
title = {{Voting paradoxes and digraphs realizations}},
journal = {Advances in Appl. Math.},
volume = {29},
year = {2002},
pages = {126--135},
},
@article{AlBl,
author = {Noga Alon and Bela Bollobas},
title = {{Graphs with a small number of distinct induced subgraphs}},
journal = {Discrete Math},
volume = {75},
year = {1989},
pages = {23--30},
},
@book {AlSp08,
AUTHOR = {Alon, Noga and Spencer, Joel H.},
TITLE = {The probabilistic method},
SERIES = {Wiley-Interscience Series in Discrete Mathematics and
Optimization},
EDITION = {Third},
NOTE = {With an appendix on the life and work of Paul Erd{\H{o}}s},
PUBLISHER = {John Wiley \& Sons, Inc., Hoboken, NJ},
YEAR = {2008},
PAGES = {xviii+352},
},
@article{ApMg95,
author = {Arthur Apter and Menahem Magidor},
title = {{Instances of Dependent Choice and the Measurability of
$\aleph_{\omega + 1}$}},
journal = {Annals of Pure and Applied Logic},
volume = {74},
year = {1995},
pages = {203-219},
},
@article{ApMg,
author = {Arthur Apter and Menahem Magidor},
title = {{Instances of Dependent Choice and the Measurability of
$\aleph_{\omega + 1}$}},
journal = {Annals of Pure and Applied Logic},
volume = {74},
year = {1995},
pages = {203-219},
},
@article{Arr50,
author = {Kenneth Arrow},
title = {{A difficulty in the theory of social welfare}},
journal = {J. of Political Economy},
volume = {58},
year = {1950},
pages = {328-346},
},
@article{AsLaMop10,
author = {David Aspero, Paul Larson and Justin Moore},
title = {Forcing axioms and the Continuum Hypothesis},
journal = {Acta Mathematica},
volume = {212},
year = {2013},
pages = {1--29},
},
@article{BaPo98,
author = {Baisalov, Yerzhan and Poizat, Bruno},
title = {Paires de structures o-minimales},
journal = {Journal of Symbolic Logic},
volume = {63},
year = {1998},
pages = {570--578},
},
@article{BaFr87,
author = {Balcar, Bohuslav and Fran{\v e}k, Franti{\v s}ek},
title = {{Completion of factor algebras of ideals}},
journal = {Proceedings of the American Mathematical Society},
volume = {100},
year = {1987},
pages = {205--212},
},
@article{BaSi88,
author = {Balcar, Bohuslav and Simon, Petr},
title = {{On collections of almost disjoint families}},
journal = {Commentationes Mathematicae Universitatis Carolinae},
volume = {29},
year = {1988},
pages = {631--646},
},
@incollection{BaSi89,
author = {Balcar, Bohuslav and Simon, Petr},
title = {{Disjoint refinement}},
booktitle = {Handbook of Boolean Algebras},
volume = {2},
pages = {333--388},
year = {1989},
publisher = {North--Holland},
note = {Monk D., Bonnet R. eds.},
},
@article{BaSi95,
author = {Balcar, Bohuslav and Simon, Petr},
title = {{Baire number of the spaces of uniform ultrafilters}},
journal = {Israel Journal of Mathematics},
volume = {92},
year = {1995},
pages = {263--272},
},
@article{BPS,
author = "Bohuslav Balcar and Jan Pelant and Petr Simon",
title = "{The space of ultrafilters on $N$ covered by nowhere
dense sets}",
journal = FM,
year = 1980,
volume = "CX",
pages = "11--24"
},
@InProceedings{BS,
author = "Bohuslav Balcar and Petr Simon",
title = "{Cardinal invariants in Boolean spaces}",
editor = "J. Novak",
volume = "V",
pages = "39--47",
booktitle = "General Topology and its Relation to Modern Analysis
and Algebra, Proceedings of the fifth Prague
Topology Symposion 1981",
year = 1982,
publisher = "Helderman Verlag",
address = "Berlin"
},
@book{Ba91,
author = {Marek Balcerzak},
title = {Some properties of ideals of sets in Polish spaces},
series = {Habilitation Thesis},
publisher = {{{\L}\'od\'z University Press}},
year = {1991},
},
@article{Ba91b,
author = {Marek Balcerzak},
title = {{Some remarks on sup-measurability}},
journal = {Real Anal. Exchange},
volume = {17},
year = {1991/92},
pages = {597--607},
},
@article{BaCi97,
author = {Marek Balcerzak and Krzysztof Ciesielski},
title = {{On the sup-measurable functions problem}},
journal = {Real Anal. Exchange},
volume = {23},
year = {1997/98},
pages = {787--797},
},
@article{BaPl9x,
author = {Marek Balcerzak and Szymon Plewik},
title = {{Property {\bf (P)} and game ideals}},
journal = {{Tatra Mountains Mathematical Publications}},
volume = {accepted},
},
@article{BaRo95,
author = {Marek Balcerzak and Andrzej Ros{\l}anowski},
title = {{Coinitial families of perfect sets}},
journal = {{Journal of Applied Analysis}},
volume = {1},
year = {1995},
pages = {181--204},
},
@book{Baldwin,
author = {Baldwin, John T.},
title = {{Fundamentals of Stability Theory}},
year = {1988},
publisher = {Springer-Verlag, Berlin-Heidelberg-New York},
},
@book{Bal0x,
author = {Baldwin, John},
title = {{Categoricity}},
volume = {50},
series = {University Lecture Series},
publisher = {American Mathematical Society},
address = {Providence, RI},
year = {2009},
pages = {xii+235},
},
@article{Bal07,
author = {John Baldwin},
title = {Why the weak GCH is true!},
address = {ASL-APA Spring Meeting 2007, Spring 2007 meeting of the Association
of Symb. Logic, UCLA},
note = {slides, http://homepages.math.uic.edu/~jbaldwin/asl07.pdf},
},
@book{Bal09,
author = {Baldwin, John},
title = {{Categoricity}},
volume = {50},
series = {University Lecture Series},
publisher = {American Mathematical Society},
address = {Providence, RI},
year = {2009},
pages = {xii+235},
},
@book{Bal88,
author = {Baldwin, John},
title = {Fundamentals of Stability Theory},
series = {Perspectives in Mathematical Logic},
publisher = {Springer-Verlag},
address = {Berlin},
year = {1988},
},
@article{BETp06,
author = {Baldwin, John T. and Eklof, Paul and Trlifaj, Jan},
title = {{$N$ perp as an AEC}},
journal = {Preprint},
year = {2006, revised 2007},
},
@article{BKV0x,
author = {Baldwin, John T. and Kueker, David W. and VanDieren, Monica},
title = {{Upward Stability Transfer Theorem for Tame Abstract Elementary
Classes}},
journal = {Preprint},
year = {2004},
},
@article{BalLask17,
author = {John T. Baldwin and Michael C. Laskowski},
title = {Henkin constructions of models with size continuum},
arXiv = {1710.00422v1},
},
@article{BlShi,
author = {Baldwin, John T. and Shi, Niandong},
title = {{Stable Generic Structures}},
journal = {Annals of Pure and Applied Logic},
year = {1996},
volume = {79},
pages = {1--35}
},
@incollection{Bl,
author = {John T. Baldwin},
chapter = {XII},
title = {{Definable second order quantifiers}},
booktitle = {{Model Theoretic Logics}},
editor = {J. Barwise and S. Feferman},
series = {Perspectives in Mathematical Logic},
publisher = {Springer-Verlag},
address = {New York Berlin Heidelberg Tokyo},
year = {1985},
pages = {445--477},
},
@incollection{Bl85,
author = {John T. Baldwin},
chapter = {XII},
title = {{Definable second order quantifiers}},
booktitle = {{Model Theoretic Logics}},
editor = {J. Barwise and S. Feferman},
series = {Perspectives in Mathematical Logic},
publisher = {Springer-Verlag},
address = {New York Berlin Heidelberg Tokyo},
year = {1985},
pages = {445--477},
},
@article{Bl96,
author = {John T. Baldwin},
title = {Near model completeness and 0--1 laws},
journal = {preprint},
year = {1996},
},
@article{Bl89,
author = {John T. Baldwin},
title = {Diverse classes},
journal = {Journal of Symbolic Logic},
volume = {54},
year = {1989},
pages = {875--893},
},
@article{BlBn00,
author = {Baldwin, John T. and Benedikt, Michael},
title = {{Stability theory, permutations of indiscernibles, and embedded
finite model theory}},
journal = {Transactions of the American Mathematical Society},
volume = {352},
year = {2000},
pages = {4937-4969},
},
@article{BaKo12p,
author = {Baldwin, John and Kolesnikov, Alexei},
title = {Revisiting [HaSh:323]},
journal = {preprint},
},
@article{BaLa71,
author = {John T. Baldwin and Alistair H. Lachlan},
title = {On strongly minimal sets},
journal = {Journal of Symbolic Logic},
volume = {36},
year = {1971},
pages = {79--96},
},
@article{BaSx76,
author = {John T. Baldwin and Jan Saxl},
title = {{Logical stability in group theory}},
journal = {{J. Austral. Math. Soc. Ser. A}},
volume = {21},
year = {1976},
pages = {267--276},
},
@book {Bal18,
AUTHOR = {Baldwin, John T.},
TITLE = {Model theory and the philosophy of mathematical practice},
NOTE = {Formalization without foundationalism},
PUBLISHER = {Cambridge University Press, Cambridge},
YEAR = {2018},
PAGES = {xi+352},
}
@INCOLLECTION{Bar73,
AUTHOR = {Barwise, Jon},
TITLE = {Back and forth through infinitary logic},
BOOKTITLE = {Studies in Model Theory},
PAGES = {5--34, MAA Studies in Math., Vol. 8},
PUBLISHER = {Math. Assoc. Amer., Buffalo, N.Y.},
YEAR = {1973},
},
@book{BeKe96,
author = {Becker, Howard and Kechris, Alexander S.},
title = {The descriptive set theory of Polish group actions},
series = {London Mathematical Society Lecture Notes Series},
volume = {232},
publisher = {Cambridge University Press},
address = {Cambridge},
year = {1996},
},
@incollection{BTV91,
author = {Oleg V. Belegradek and Vladimir A. Tolstykh},
title = {The logical strength of theories associated with an
infinitely-dimensional vector space},
booktitle = {Proc. Ninth Easter Conference on Model Theory, Gosen
1991},
publisher = {Fachb. Math. Humboldt-Univ},
year = {1991},
address = {Berlin},
pages = {12--33},
},
@article{Bell81,
author = {Bell, Murray G.},
title = {{On the combinatorial principle $P({\frak c})$}},
journal = {Fund. Math.},
volume = {114},
year = {1981},
pages = {149--157},
},
@book {BeSl69,
AUTHOR = {Bell, J. L. and Slomson, A. B.},
TITLE = {Models and ultraproducts: {A}n introduction},
PUBLISHER = {North-Holland Publishing Co., Amsterdam-London},
YEAR = {1969},
PAGES = {ix+322},
},
@article{BOPP0x,
author = {Berarducci, Alessandro and Otero, Margarita and Peterzil, Yaa'cov
and Pillay, Anand},
title = {{A descending chain condition for groups definable in o-minimal
structures}},
journal = {Annals of Pure and Applied Logic},
volume = {134},
pages = {303--313},
year = {2005},
},
@article{BOPP05,
author = {Berarducci, Alessandro and Otero, Margarita and Peterzil, Yaa'cov
and Pillay, Anand},
title = {{A descending chain condition for groups definable in o-minimal
structures}},
journal = {Annals of Pure and Applied Logic},
volume = {134},
pages = {303--313},
year = {2005},
},
@article{Br,
author = "F.E. Browder (editor)",
title = "Mathematical developments arising from {H}ilbert's
{P}roblems",
journal = "Proc. of Symposium in Pure Math",
volume = "28",
pages = "421",
year = "1974",
},
@book{BaFe85,
author = {Jon Barwise and Solomon Feferman (editors)},
title = {{Model-theoretic logics}},
publisher = {Springer Verlag},
address = {Heidelberg-New York},
year = {1985},
series = {Perspectives in Mathematical Logic},
},
@book{BF,
author = {Jon Barwise and Solomon Feferman (editors)},
title = {{Model-theoretic logics}},
publisher = {Springer Verlag},
address = {Heidelberg-New York},
year = {1985},
series = {Perspectives in Mathematical Logic},
usedin = {cardarith},
},
@article{Bar87,
author = {Tomek Bartoszy\'nski},
title = {Combinatorial aspects of measure and category},
journal = {Fundamenta Mathematicae},
volume = {127},
year = {1987},
pages = {225--239},
},
@article{Ba88,
author = {Tomek Bartoszy\'nski},
title = {On covering of real line by null sets},
journal = {Pacific Journal of Mathematics},
volume = {131},
year = {1988},
pages = {1--12},
},
@unpublished{Ba94,
author = {Tomek Bartoszy\'nski},
title = {{Some old and new problems}},
note = {circulated notes of Noveber 1994},
},
@article{Ba00,
author = {Tomek Bartoszy\'nski},
title = {A note on duality between measure and category},
journal = {Proceedings of the American Mathematical Society},
volume = {128},
year = {2000},
pages = {2745--2748 (electronic)},
},
@book{BaJu95,
author = {Tomek Bartoszy\'nski and Haim Judah},
title = {{Set Theory: On the Structure of the Real Line}},
publisher = {A K Peters, Wellesley, Massachusetts},
year = {1995},
},
@incollection{Baxx,
author = {Tomek Bartoszy\'nski},
title = {{Invariants of Measure and Category}},
booktitle = {{Handbook of Set Theory}},
publisher = {Kluwer},
editor = {M. Foreman and A. Kanamori and M. Magidor},
},
@incollection{Bar10,
author = {Tomek Bartoszy\'nski},
title = {{Invariants of Measure and Category}},
pages = {491--555},
booktitle = {{Handbook of Set Theory, {V}ols. 1, 2, 3}},
publisher = {Springer, Dordrect},
year = {2010},
editor = {Matthew Foreman and Akihiro Kanamori},
},
@article{BaRo02,
author = {Tomek Bartoszy\'nski and Andrzej Ros{\l}anowski},
title = {{Towards Martin's Minimum}},
journal = {Archive for Mathematical Logic},
volume = {41},
year = {2002},
pages = {65--82},
eprint = {math.LO/9904163},
},\item The numbers of Normal Measures, (with S. Friedman) to appear
in the Journal of Symbolic Logic. (18 pps).
@article{Ba,
author = {James E. Baumgartner},
title = {{Almost disjoint sets, the dense set problem and partition calculus}},
journal = {Annals of Math Logic},
volume = {9},
year = {1976},
pages = {401-439},
usedin = {cardarith},
},
@article{B,
author = {James E. Baumgartner},
title = {{Decomposition of embedding of trees}},
journal = {Notices Amer. Math. Soc.},
volume = 17,
year = 1970,
pages = {967},
},
@book {BaRo83,
AUTHOR = {Baudisch, Andreas and Rothmaler, Philipp},
TITLE = {Vorlesungen zur {E}inf\"uhrung in die {T}heorie des
{S}helah'schen ``forking''},
SERIES = {Seminarberichte [Seminar Reports]},
VOLUME = {47},
NOTE = {1. Semester. [First semester],
With English and Russian summaries},
PUBLISHER = {Humboldt Universit\"at Sektion Mathematik},
ADDRESS = {Berlin},
YEAR = {1983},
PAGES = {96},
},
@phdthesis{B1,
author = {James E. Baumgartner},
title = {{Results and independence proofs in combinatorial set theory}},
school = {Univ. of Calif. Berkeley},
year = {1970},
usedin = {cardarith},
},
@article{B2,
author = {James E. Baumgartner},
title = {{A new class of order types}},
journal = {Annals of Math. Logic},
volume = 9,
year = 1976,
pages = {187-222},
},
@InProceedings{B3,
author = "James E. Baumgartner",
title = "{Iterated forcing}",
editor = "A. Mathias",
booktitle = "Surveys in Set Theory",
series = "London Mathematical Society Lecture Notes",
volume = 87,
pages = "1--59",
year = 1978,
address = "Cambridge, Britain"
},
@article{B4,
author = {James E. Baumgartner},
title = {{All $\aleph_1 $-dense sets of reals can be isomorphic}},
journal = {Fund. Math.},
volume = 79,
year = 1973,
pages = {101-106},
},
@article{B5,
author = {James E. Baumgartner},
title = {{Almost disjoint sets, the dense set problem and partition calculus}},
journal = {Annals of Math Logic},
volume = {9},
year = {1976},
pages = {401-439},
usedin = {cardarith},
},
@article{B6,
author = {James E. Baumgartner},
title={{Ultrafilters on $\omega$}},
journal = {The Journal of Symbolic Logic},
volume = {60},
year = {1995},
pages = {624--639},
usedin = {pif},
},
@unpublished{B7,
author = {James E. Baumgartner},
title={{On the Size of Closed Unbounded Sets}},
note = {preprint},
},
@article{BaGa78,
author = {James E. Baumgartner and Fred Galvin},
title = {{Generalized Erd\H{o}s cardinals and $0^{\#}$}},
journal = {Ann. Math. Logic},
volume = {15},
pages = {289--313},
year = {1978},
},
@article{BaHa73,
author = {J. Baumgartner and A. Hajnal},
title = {{A proof (involving Martin's axiom) of a partition relation}},
journal = {Polska Akademia Nauk. Fundamenta Mathematicae},
volume = {78(3)},
pages = {193--203},
year = {1973},
},
@article{BH,
author = {James E. Baumgartner and Andras Hajnal},
title = {{Polarized partition relations}},
journal = {preprint},
year = 1995,
},
@article{BKM78,
author = {Jon Barwise and Matt Kaufmann and Michael Makkai},
title = {Stationary logic},
journal = {Annals of Mathematical Logic},
volume = 13,
year = 1978,
pages = {171--224},
},
@article{BHK,
author = {James E. Baumgartner and Leo Harrington and Eugene M. Kleinberg},
title = {{Adding a closed unbounded set}},
journal = {The Journal of Symbolic Logic},
volume = 41,
year = 1976,
pages = {481-487},
},
@incollection{BHT93,
author = {James Baumgartner and Andras Hajnal and Stevo Todor\v{c}evi\'{c}},
title = {{Extensions of the Erdos--Rado Theorems}},
publisher = {Kluwer Academic Publishers},
volume = {},
booktitle = {{Finite and Infinite Combinatorics in Set Theory and
Logic}},
year = 1993,
note = {{N.W. Sauer et. al. eds}},
pages = {1--18},
},
@article{BaKo81,
author = {James E. Baumgartner and Peter Komj\'{a}th},
title = {{Boolean algebras in which every chain and antichain is
countable}},
journal = {Fund. Math.},
volume = {111},
year = {1981},
pages = {125--133},
},
@article{BMR,
author = {James E. Baumgartner and Jerome Malitz and William Reinhart},
title = {{Embedding trees in the rationals}},
journal = {Proc. Nat. Acad. Sci. U.S.A. },
volume = 67,
year = 1970,
pages = {1748-1753},
},
@article{BP,
author = {James E. Baumgartner and Karel Prikry},
title = {{On a theorem of Silver}},
journal = {Discrete Math.},
volume = {14},
year = {1976},
pages = {17--22},
usedin = {cardarith},
},
@article{BL79,
author = {James E. Baumgartner and Richard Laver},
title = {{Iterated perfect-set forcing}},
journal = {Annals of Mathematical Logic},
volume = {17},
year = {1979},
pages = {271--288},
},
@article{Bau76,
author = {Baur, Walter},
title = {{Elimination of quantifiers for modules}},
journal = {Israel J. Math.},
volume = {25},
year = {1976},
pages = {64--70},
},
@article{BeLe96,
author = {V. Bergelson and A. Leibman},
title = {{Polynomial extensions of van der Waerden's and Szemer\'edi's
theorems}},
journal = {Journal of the American Mathematical Society},
volume = {9},
year = {1996},
pages = {725--753},
},
@article{BeLe99,
author = {V. Bergelson and A. Leibman},
title = {{Set polynomial and polynomial extensions of the Hales-Jewett
theorem}},
journal = {Ann. of Math.},
volume = {150},
year = {1999},
pages = {33--75},
},
@phdthesis{Bay,
author = {Timothy James Bays},
title = {Multi--cardinal phenomena in stable theories},
school = {UCLA},
year = {1994},
},
@book{BJW,
author = {Aaron Beller, Ronald B. Jensen and Philip Welch},
title = {{Coding the universe}},
publisher = {Cambridge University Press},
year = {1982},
series = {London Mathematical Society Lecture notes series},
number = {47},
usedin = {cardarith},
},
@article{BeLi80,
author = {Aaron Beller and Ami Litman},
title = {{A strengthening of Jensen's square principles}},
journal = {The Journal of Symbolic Logic},
volume = {45},
year = {1980},
pages = {251--264},
},
@article{BD,
author = {Ben David, Shai},
title = {{On Shelah's compactness of cardinals}},
journal = {Israel J. of Math.},
volume = {31},
year = {1978},
pages = {34-56 and 394},
usedin = {cardarith},
},
@article{Be,
author = {Miroslav Benda},
title = {{Reduced products and non-standard logic}},
journal = {J. Symb. Logic},
volume = {34},
year = {1969},
pages = {424-436},
usedin = {cardarith},
},
@article{Bn,
author = {Michael Benedikt},
title = {{Ultrafilters Which Extend Measure}},
journal = {The Journal of Symbolic Logic},
volume = {to appear},
year = {},
pages = {},
},
@phdthesis{Bnx,
author = {Michael Benedikt},
title = {{Ultrafilters Which Extend Measure}},
school = {University of Wisconsin},
year = {1993},
},
@article{BY0x,
author = {I. Ben-Yaacov},
title = {Simple Cats},
journal = {Preprint},
},
@article{BY03,
author = {Ben-Yaacov, Itay},
title = {{Positive model theory and compact abstract theories}},
journal = {Journal of Mathematical Logic},
volume = {3},
year = {2003},
pages = {85--118},
},
@article{BY03a,
author = {Ben-Yaacov, Itay},
title = {{Simplicity in compact abstract theories}},
journal = {J. Math. Log.},
volume = {3},
year = {2003},
pages = {163--191},
},
@article{BY0y,
author = {Ben-Yaacov, Itay},
title = {{Uncountable dense categoricity in cats}},
journal = {J. Symbolic Logic},
volume = {70},
year = {2005},
pages = {829--860},
},
@article{BY05,
author = {Ben-Yaacov, Itay},
title = {{Uncountable dense categoricity in cats}},
journal = {J. Symbolic Logic},
volume = {70},
year = {2005},
pages = {829--860},
},
@article{BeUs0x,
author = {Ben-Yaacov, Itay and Usvyatsov, Alexander},
title = {{Logic of metric spaces and Hausdorff CATs}},
journal = {In preparation},
},
@article{BeUs0y,
author = {Ben-Yaacov, Itay and Usvyatsov, Alexander},
title = {{Continuous first order logic and local stability}},
journal = {Transactions of the American Mathematical Society},
volume = {to appear}
},
@article{BeHr85,
author = {Bergman, George M. and Hrushovski, Ehud},
title = {Identities of Cofinal Sublattices},
journal = {Order},
volume = {2},
pages = {173-191},
year = {1985},
},
@incollection{Bsxx,
author = {Blass, Andreas},
title = {{Combinatorial Cardinal Characteristics of the Continuum}},
booktitle = {{Handbook of Set Theory}},
publisher = {Kluwer},
editor = {M. Foreman and A. Kanamori and M. Magidor},
},
@incollection{Bls10,
author = {Blass, Andreas},
title = {{Combinatorial Cardinal Characteristics of the Continuum}},
volume = {1},
pages = {395--490},
booktitle = {{Handbook of Set Theory}},
publisher = {Springer},
editor = {Matthew Foreman and Akihiro Kanamori},
},
@incollection{Bls89,
author = {Blass, Andreas},
title = {{Applications of superperfect forcing and its relatives}},
booktitle = {{Set theory and its applications (Toronto, ON, 1987)}},
pages = {18--40},
series = {Lecture Notes in Math.},
volume = {1401},
publisher = {Springer},
address = {Berlin},
year = {1989}
},
@article{BsLa89,
author = {Blass, Andreas and Laflamme, Claude},
title = {{Consistency results about filters and the number of inequivalent
growth types}},
journal = {J. Symbolic Logic},
volume = {54},
year = {1989},
pages = {50--56},
},
@phdthesis{Bo,
author = {Robert Bonnet},
title = {{Sur les Alg\`{e}bres de Boole rigides}},
school = {Universit\'e Lyon 1},
year = {1978},
usedin = {cardarith},
},
@article{Bo1,
author = {Robert Bonnet},
title = {{Very strongly rigid Boolean algebras,
continuum discrete set condition, countable antichain condition
[I]}},
journal = {Algebra Universalis},
volume = {11},
year = {1980},
pages = {341-364},
usedin = {cardarith},
},
@book{BoMo89,
author = {Robert Bonnet and J.~Donald Monk},
title = {{Handbook of Boolean Algebras, vol.~1--3 }},
publisher = {North--Holland},
year = {1989},
},
@incollection{BoSp,
author = {Ravi B. Boppana and Joel Spencer},
title = {Smoothness Laws for Random Ordered Graphs},
booktitle = {Logic and random structures (New Brunswick, NJ, 1995)},
pages = {15--32},
series = {DIMACS Ser. Discrete Math. Theoret. Comput. Sci.},
volume = {33},
publisher = {American Mathematical Society},
address = {Providence, Rhode Island},
year = {1997},
},
@book{BgGrGu,
author={E. B\"orger and E. Gr\"adel and Y. Gurevich},
title={The classical decision problem},
year={1997},
publisher={Springer-Verlag, Berlin-Heidelberg-New York},
},
@book{BoNe94,
author = {Borovik, Alexandre and Nesin, Ali},
title = {{Groups of finite Morley rank}},
publisher = {The Clarendon Press, Oxford University Press},
year = {1994},
series = {Oxford Logic Guide},
volume={26},
pages = {xviii+409 pp},
address = {New York},
},
@article{BoHr89,
author = {Bouscaren, Elisabeth and Hrushovski, Ehud},
title = {Classification theory, n-tuples of
models and finite determinacy},
journal = {Proceedings of the 7th Easter Conference on Model Theory},
editor = {B. Dahn and H. Wolter},
address = {Berlin},
year = 1989,
},
@incollection {Bou98,
AUTHOR = {Bouscaren, Elisabeth},
TITLE = {Introduction to model theory},
BOOKTITLE = {Model theory and algebraic geometry},
SERIES = {Lecture Notes in Math.},
VOLUME = {1696},
PAGES = {1--18},
PUBLISHER = {Springer},
ADDRESS = {Berlin},
YEAR = {1998},
},
@book{Bo98,
editor = {Bouscaren, Elisabeth},
title = {{Model theory and algebraic geometry}},
series = {Lecture Notes in Math.},
volume = {1696},
publisher = {Springer},
address = {Berlin},
year = {1998},
series = {Lecture Notes in Mathematics},
usedin = {E72},
},
@article{BrGb03,
author = {Braun, G{\'a}bor and G\"obel, R\"udiger},
title = {Outer automorphisms of locally finite $p$-groups},
journal = {J. Algebra},
volume = {264},
year = {2003},
number = {1},
pages = {55--65},
},
@article{Br96,
author = {J{\"o}rg Brendle},
title = {Nicely generated and chaotic ideals},
journal = {Proceedings of the American Mathematical Society},
volume = {124},
year = {1996},
pages = {2533--2538},
},
@article{Bn95,
author = {Brendle, Joerg},
title = {{Combinatorial properties of classical forcing notions}},
journal = {Annals of Pure and Applied Logic },
volume = {73},
year = {1995},
pages = {143--170},
},
% Br02 is used for Elizabeth Brown elsewhere
@incollection {xBr02,
author = {Brendle, J{\"o}rg},
title = {{Mad families and iteration theory}},
booktitle = {Logic and algebra},
series = {Contemp. Math.},
volume = {302},
pages = {1--31},
publisher = {Amer. Math. Soc.},
address = {Providence, RI},
year = {2002},
},
@article {Br03,
author = {Brendle, J{\"o}rg},
title = {The almost-disjointness number may have countable cofinality},
journal = {Transactions of the American Mathematical Society},
volume = {355},
year = {2003},
number = {7},
pages = {2633--2649 (electronic)},
}
@article {Br07,
author = {Brendle, J{\"o}rg},
title = {Mad families and ultrafilters},
journal = {Acta Universitatis Carolinae. Mathematica et Physica},
volume = {48},
year = {2007},
number = {2},
pages = {19--35},
}
@article{BrJu93,
author = {Brendle, J\"org and Judah, Haim},
title = {Perfect sets of random reals},
journal = {Israel Journal of Mathematics},
volume = {83},
year = {1993},
pages = {153--176},
},
@article{BrLo03,
author = {Brendle, J\"org and Losada, Maria},
title = {{The cofinality of the infinite symmetric group and groupwise
density}},
journal = {J. Symbolic Logic},
volume = {68},
year = {2003},
pages = {1354--1361},
},
@article{Be84,
author = {Buechler, Steven},
title = {{Kueker's conjecture for superstable theories}},
journal = {Journal of Symbolic Logic},
volume = {49},
year = {1984},
pages = {930--934},
},
@book {Bue96,
AUTHOR = {Buechler, Steven},
TITLE = {Essential stability theory},
SERIES = {Perspectives in Mathematical Logic},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin},
YEAR = {1996},
PAGES = {xiv+355},
},
@article{Bu,
author = {Lev Bukovsky},
title = {{The continuum problem and the powers of alephs}},
journal = {Comment. Math. Univ. Carolinae},
volume = {6},
year = {1965},
pages = {181--197},
usedin = {cardarith},
},
@article{Bg,
author = {John P. Burgess},
title = {Equivalences generated by families of Borel sets},
journal = pams,
volume = {69},
year = {1978},
pages = {323--326},
usedin = {532},
},
@article{Bus87,
author = {Samuel R. Buss},
title = {Polynomial size proofs of the propositional pigeonhole principle},
journal = {J. Symbolic Logic},
volume = {52},
year = {1987},
pages = {916--927},
},
@article{Ca,
author = {Jean Pierre Calais},
title = {{Partial isomorphisms and infinitary languages}},
journal = {Zeitschrift f\"ur Math. Logik},
volume = {18},
year = {1972},
pages = {435-456},
usedin = {cardarith},
},
@article{Ca93,
author = {Timothy J. Carlson},
title = {{Strong measure zero and strongly meager sets}},
journal = {Proceedings of the American Mathematical Society},
volume = {118},
year = {1993},
pages = {577--586},
},
@article{CS84,
author = {Timothy J. Carlson and Stephen G. Simpson},
title = {A dual form of Ramsey's theorem},
journal = {Adv. in Math.},
volume = {53},
year = {1984},
pages = {265--290},
},
@article{CsWa02,
author = {Enrique Casanovas and Frank O. Wagner},
title = {Local supersimplicity and related concepts},
journal = {The Journal of Symbolic Logic},
volume = {67},
year = {2002},
pages = {744--758},
},
@book {Cas10,
AUTHOR = {Casanovas, Enrique},
TITLE = {Simple theories and hyperimaginaries},
SERIES = {Lecture Notes in Logic},
VOLUME = {39},
PUBLISHER = {Association for Symbolic Logic, Chicago, IL; Cambridge
University Press, Cambridge},
YEAR = {2011},
PAGES = {xiv+169},
},
@article{CEG,
author = {Frank S. Cater and Paul Erd\H{o}s and Fred Galvin},
title = {{On the density of $\lambda$-box products}},
journal = {General Topology and its Applications},
volume = {9},
year = {1978},
pages = {307-312},
usedin = {cardarith},
},
@incollection{Ch,
author ={Chen C. Chang},
title = {{Some remarks on the model theory of infinitary languages}},
booktitle = {{The Synton and Semantics of Infinitary Languages}},
editor = {K. J. Barwise},
publisher = {Springer-Verlag},
series = {Lecture Notes in Math.},
volume = {72},
year = {1968},
pages = {36-63},
usedin = {cardarith},
},
@article{Ch65,
author = {Chen C. Chang},
title = {{A note on the two cardinal problem}},
journal = {Proceedings of the American Mathematical Society},
volume = {16},
year = {1965},
pages = {1148--1155},
},
@book{CK73,
author = {Chen C. Chang and H. Jerome Keisler},
title = {{Model Theory}},
publisher = {North--Holland Publishing Co., Amsterdam},
year = {1973},
series = {Studies in Logic and the Foundation of Math.},
volume={73},
page = {554},
usedin = {cardarith},
},
@book{ChKe66,
author = {Chen-Chung Chang and H. Jerome Keisler},
title = {{Continuous Model Theory}},
series = {Annals of Mathematics Studies},
volume = {58},
publisher = {Princeton University Press},
address = {Princeton, NJ},
year = {1966},
usedin = {non-elementary classes},
},
@article{ChKe62,
author = {Chen-Chung Chang and H. Jerome Keisler},
title = {{Model theories with truth values in a uniform space}},
journal = {Bulletin of the American Mathematical Society},
volume = {68},
year = {1962},
pages = {107--109},
},
@article {Cha97,
AUTHOR = {Chatzidakis, Zo\'e},
TITLE = {Model theory of finite fields and pseudo-finite fields},
NOTE = {Joint AILA-KGS Model Theory Meeting (Florence, 1995)},
JOURNAL = {Ann. Pure Appl. Logic},
FJOURNAL = {Annals of Pure and Applied Logic},
VOLUME = {88},
YEAR = {1997},
NUMBER = {2-3},
PAGES = {95--108},
},
@article {ChPi98,
AUTHOR = {Chatzidakis, Z. and Pillay, A.},
TITLE = {Generic structures and simple theories},
JOURNAL = {Ann. Pure Appl. Logic},
FJOURNAL = {Annals of Pure and Applied Logic},
VOLUME = {95},
YEAR = {1998},
NUMBER = {1-3},
PAGES = {71--92},
},
@incollection {Cha99,
AUTHOR = {Chatzidakis, Zo\'e},
TITLE = {Simplicity and independence for pseudo-algebraically closed
fields},
BOOKTITLE = {Models and computability ({L}eeds, 1997)},
SERIES = {London Math. Soc. Lecture Note Ser.},
VOLUME = {259},
PAGES = {41--61},
PUBLISHER = {Cambridge Univ. Press, Cambridge},
YEAR = {1999},
},
@article{ChHr,
author = {Gregory Cherlin and Ehud Hrushovski},
title = {{Quasi-finite $\aleph_0$-categorical}},
journal = {preprint},
note = {title keeps changing}
},
@book{ChHr03,
author = {Gregory Cherlin and Ehud Hrushovski},
title = {{Finite structures with few types}},
series = {{Annals of Mathematics Studies}},
volume = {152},
publisher = {Princeton University Press},
address = {Princeton, NJ},
year = {2003},
},
@inproceedings{Ch78,
author = {Cherlin, Gregory},
title = {{Superstable division rings}},
booktitle = {{Logic Colloquium '77 (Proc. Conf., Wroc\l aw, 1977)}},
editor = {},
series = {Stud. Logic Foundations Math},
volume = {96},
publisher = {North--Holland},
address = {Amsterdam -- New York},
year = {1978},
pages = {99--111},
},
@incollection{Ch00,
author = {Gregory Cherlin},
title = {{Sporadic homogeneous structures}},
booktitle = {{The Gelfand Mathematical Seminars, 1996--1999}},
pages = {15--48},
publisher = {Birkh\"auser Boston},
address = {Boston, MA},
year = {2000},
},
@article {ChSi12p,
AUTHOR = {Chernikov, Artem and Simon, Pierre},
TITLE = {Externally definable sets and dependent pairs {II}},
JOURNAL = {Trans. Amer. Math. Soc.},
FJOURNAL = {Transactions of the American Mathematical Society},
VOLUME = {367},
YEAR = {2015},
NUMBER = {7},
PAGES = {5217--5235},
},
@article {ChKp12,
AUTHOR = {Chernikov, Artem and Kaplan, Itay},
TITLE = {Forking and dividing in {${\rm NTP}_2$} theories},
JOURNAL = {J. Symbolic Logic},
FJOURNAL = {The Journal of Symbolic Logic},
VOLUME = {77},
YEAR = {2012},
NUMBER = {1},
PAGES = {1--20},
},
@article {Che14,
AUTHOR = {Chernikov, Artem},
TITLE = {Theories without the tree property of the second kind},
JOURNAL = {Ann. Pure Appl. Logic},
FJOURNAL = {Annals of Pure and Applied Logic},
VOLUME = {165},
YEAR = {2014},
NUMBER = {2},
PAGES = {695--723},
},
@article {ChKpSi15,
AUTHOR = {Chernikov, Artem and Kaplan, Itay and Simon, Pierre},
TITLE = {Groups and fields with {${\rm NTP}_2$}},
JOURNAL = {Proc. Amer. Math. Soc.},
FJOURNAL = {Proceedings of the American Mathematical Society},
VOLUME = {143},
YEAR = {2015},
NUMBER = {1},
PAGES = {395--406},
},
@article {ChRa16,
AUTHOR = {Chernikov, Artem and Ramsey, Nicholas},
TITLE = {On model-theoretic tree properties},
JOURNAL = {J. Math. Log.},
FJOURNAL = {Journal of Mathematical Logic},
VOLUME = {16},
YEAR = {2016},
NUMBER = {2},
PAGES = {1650009, 41},
},
@article{CRSW93,
author = {Jacek Cicho\'n and Andrzej Ros{\l}anowski and Juris Steprans
and Bogdan W{\c e}glorz},
title = {Combinatorial properties of the ideal ${\frak P}_2$},
journal = {Journal of Symbolic Logic},
volume = {58},
year = {1993},
pages = {42--54},
},
@article {ChHa80,
AUTHOR = {Chandra, Ashok K. and Harel, David},
TITLE = {Computable queries for relational data bases},
JOURNAL = {J. Comput. System Sci.},
FJOURNAL = {Journal of Computer and System Sciences},
VOLUME = {21},
YEAR = {1980},
NUMBER = {2},
PAGES = {156--178},
},
@article{ChaHar,
author = {Chandra, Ashok and Harel, David},
title= {{Structure and Complexity of Relational Queries}},
journal = {J. Comput. and System Sciences},
volume = {25},
year = {1982},
pages = {99--128},
},
@article{ChHa82,
author = {Chandra, Ashok and Harel, David},
title= {{Structure and Complexity of Relational Queries}},
journal = {J. Comput. and System Sciences},
volume = {25},
year = {1982},
pages = {99--128},
},
@article{Ci97,
author = {Krzysztof Ciesielski},
title = {Set theoretic Real Analysis},
journal = {Journal of Applied Analysis},
volume = {3},
year = {1997},
pages = {143--190},
},
@article{CLR06,
author = {Cluckers, R. and Lipshitz, L. and Robinson, Z.},
title = {{Analytic cell decomposition and analytic motivic integration}},
journal = {Ann. Sci. Ecole Norm. Sup.},
volume = {to appear},
note = {math.AG/0503722},
},
@book{C,
author = {Paul Cohen},
title = {{Set Theory and the Continuum Hypothesis}},
publisher = {Benjamin},
address = {New York},
year = {1966},
usedin = {cardarith},
},
@book{Co66,
author = {Paul Cohen},
title = {{Set Theory and the Continuum Hypothesis}},
publisher = {Benjamin},
address = {New York},
year = {1966},
usedin = {cardarith},
},
@article{Cmf77,
author = {Comfort, W. Wistar},
title = {{Ultrafilters: some old and some new results}},
journal = {Bulletin of the American Mathematical Society},
volume = {83},
year = {1977},
pages = {417--455},
},
@article{CN1,
author = {Wistar W. Comfort and Stelios Negrepontis},
title = {{On families of large oscillation}},
journal = {Fundamenta Math.},
volume = {75},
year = {1972},
pages = {275-290},
usedin = {cardarith},
},
@book{CN2,
author = {Wistar W. Comfort and Stelios Negrepontis},
title = {{The theory of ultrafilters}},
publisher = {Springer-Verlag, Berlin-Heidelberg-New York},
year = {1974},
series = {Grundlehren der math Wissenschaften B and 211},
usedin = {cardarith},
},
@article{CoGb85,
author = {Corner, A. L. S. and G\"obel, R\"udiger},
title = {{Prescribing endomorphism algebras, a unified treatment}},
journal = {Proceedings of the London Mathematical Society. Third Series},
volume = {50},
year = {1985},
pages = {447--479},
},
@article{CG,
author = {Corner, A. L. S. and G\"obel, R\"udiger},
title = {{Prescribing endomorphism algebras, a unified treatment}},
journal = {Proceedings of the London Mathematical Society. Third Series},
volume = {50},
year = {1985},
pages = {447--479},
},
@article{C63,
author = {Corner, A. L. S.},
title = {{Every countable reduced torsion-free ring is an endomorphism
ring}},
journal = {{Proceedings of the London Mathematical Society. Third
Series}},
volume = {13},
year = {1963},
pages = {687--710},
},
@article{Co69,
author = {Corner, A. L. S.},
title = {{Endomorphism algebras of large modules with distinguished
submodules}},
journal = {{Journal of Algebra}},
volume = {11},
year = {1969},
pages = {155--185},
},
@article{Cru15,
author = {Crupi, Vincenzo},
title = {{Inductive logic}},
journal = {J. Philos. Logic},
volume = {44},
year = {2015},
pages = {641--650},
},
@phdthesis{Cu,
author = {James Cummings},
title = {{Consistency results in cardinal arithmetic}},
school = {Cambridge University},
year = {1988},
usedin = {cardarith},
},
@book{CW,
author = {James Cummings and Hugh Woodin},
title = {{Generalized Radin Forcing}},
publisher = {North--Holland},
series = {Perspectives in Mathematical Logic},
note = {in preparation},
usedin = {cardarith},
},
@article{CuFo98,
author = {James Cummings and Matthew Foreman},
title = {The tree property},
journal = {Adv. Math.},
volume = {133},
year = {1998},
pages = {1--32},
},
@article{CFM0x,
author = {James Cummings and Matthew Foreman and Menachem Magidor},
title = {Squares, scales and stationary reflection},
journal = {Journal of Mathematical Logic},
volume = {1},
year = {2001},
pages = {35--98},
},
@article{CuFoMg06,
AUTHOR = {Cummings, James and Foreman, Matthew and Magidor, Menachem},
TITLE = {Canonical structure in the universe of set theory. {II}},
JOURNAL = {Ann. Pure Appl. Logic},
FJOURNAL = {Annals of Pure and Applied Logic},
VOLUME = {142},
YEAR = {2006},
NUMBER = {1-3},
PAGES = {55--75},
},
@book{GaWo96,
author = {Dales, H. Garth and Woodin, W. Hugh},
title = {{Super-real fields. Totally ordered fields with additional
structure.}},
series = {{London Mathematical Society Monographs. New Series}},
volume = {14},
publisher = {Oxford Science Publications. The Clarendon Press, Oxford
University Press},
address = {New York},
year = {1996}
},
@article{Da74,
author = {R. O. Davies},
title = {{Representation of functions of two variables as sums of rectangular functions I}},
journal = {Fundamenta Mathematicae},
year = {1974},
pages = {177--183},
},
@article{De1,
author = {Keith J. Devlin},
title = {{$\aleph_1$ trees}},
journal = {Ann. Math. Logic},
volume = { },
year = {1978},
pages = {267-330},
usedin = {pif},
},
@article{De2,
author = {Keith J. Devlin},
title = {{Concerning the consistency of the Souslin
Hypothesis with the continuum hypothesis}},
journal = {Ann. Math. Logic},
volume = {19},
year = {1980},
pages = {115-125},
usedin = {pif},
},
@book{De73,
author = {Keith J. Devlin},
title = {Aspects of Constructibility},
publisher = {Springer-Verlag},
series = {{Lecture Notes in Mathematics}},
volume = {354},
year = {1973},
},
@inproceedings{DeJ,
author = {Keith J. Devlin and Ronald B. Jensen},
title = {{Marginalia to a theorem of Silver}},
booktitle = {{Proceedings of the Logic Colloquium Kiel 1974}},
editor = {G. H. M\"uller and A. Oberschelp and K. Potthoff},
series = {Lecture Notes in Mathematicas},
volume = {499},
publisher = {Springer},
address = {Berlin},
year = {1975},
pages = {115-142},
usedin = {cardarith},
},
@book{DeJo,
author = {Keith J. Devlin and Havard Johnsbraten},
title = {{The Souslin problem}},
series = {Lecture Notes in Mathematics},
volume = 405,
year = 1974,
publisher = {Springer},
address = {Berlin},
},
@article{DKP92,
author = {Wojciech D{\c e}bski and Jan Kleszcz and Szymon Plewik},
title = {Perfect sets of independent functions},
journal = {Acta Universitatis Carolinae -- Mathematica et Physica},
volume = {33},
year = {1992},
pages = {31--33},
},
@incollection{Dic85,
author = {M. A. Dickman},
chapter = {IX},
title = {{Larger infinitary languages}},
booktitle = {{Model Theoretic Logics}},
editor = {J. Barwise and S. Feferman},
series = {Perspectives in Mathematical Logic},
publisher = {Springer-Verlag},
address = {New York Berlin Heidelberg Tokyo},
year = {1985},
pages = {317-364},
usedin = {cardarith},
},
@article {DoHa17,
AUTHOR = {Dobrinen, Natasha and Hathaway, Dan},
TITLE = {The {H}alpern-{L}\"{a}uchli theorem at a measurable cardinal},
JOURNAL = {J. Symb. Log.},
FJOURNAL = {The Journal of Symbolic Logic},
VOLUME = {82},
YEAR = {2017},
NUMBER = {4},
PAGES = {1560--1575},
},
@article{DJ1,
author = {A. Dodd and Ronald B. Jensen},
title = {{The Core model}},
journal = {Annals of Math Logic},
volume = {20},
year = {1981},
pages = {43-75},
usedin = {cardarith},
},
@article{DoJe81,
author = {A. Dodd and Ronald B. Jensen},
title = {{The core model}},
journal = {Annals of Mathematical Logic},
volume = {20},
year = {1981},
pages = {43-75},
},
@article{DJ2,
author = {Tony Dodd and Ronald B. Jensen},
title = {{The covering lemma for $K$}},
journal = {Ann. of Math Logic},
volume = {22},
year = {1982},
pages = {1-30},
usedin = {cardarith},
},
@inproceedings{DJS,
author = {Hans D. Donder and Ronald B. Jensen and Lee J. Stanley},
title = {{Condensation-Coherent global square systems}},
booktitle = {{Proc. of Symp. in Pure Math of the A.M.S.}},
editor = {A.Nerode and R.A. Shore},
pages = {237-258},
note = {see p.256},
usedin = {cardarith},
},
@article{vD81,
author = {Eric K. van Douwen},
title = {{Remote points}},
journal = {Dissertationes Mathematicae},
volume = {188},
year = {1981},
pages = {3--45},
},
@InCollection{vD,
author = "Eric K. van Douwen",
title = "{The integers and topology}",
booktitle = "Handbook of Set-Theoretic Topology",
editor = {K. Kunen and J. E. Vaughan},
publisher = {Elsevier Science Publishers},
year = 1984,
pages = {111-167},
},
@InCollection{D,
author = "Eric K. van Douwen",
title = "{The integers and topology}",
booktitle = "Handbook of Set-Theoretic Topology",
editor = {K. Kunen and J. E. Vaughan},
publisher = {Elsevier Science Publishers},
year = 1984,
pages = {111-167},
},
@article{DMR,
author = {van Douwen, Eric K. and Monk, J. Donald and Rubin, Matatyahu},
title = {{Some questions about Boolean algebras}},
journal = {Algebra Universalis},
volume = {11},
year = {1980},
pages = {220--243},
},
@inproceedings{Dj04,
author = {D\v{z}amonja Mirna},
title = {{Club guessing and the universal models}},
booktitle = {{On pcf (Banff, Alberta, 2004)}},
editor = {Foreman, Matthew},
pages = {},
series = {},
volume = {},
publisher = {},
year = {to appear},
},
@article{Dj05,
author = {D\v{z}amonja Mirna},
title = {{Club guessing and the universal models}},
journal ={Notre Dame J. Formal Logic},
volume ={46},
year = {2005},
pages = {283--300},
},
@article{DK1,
author = {Mirna D\v{z}amonja and Kenneth Kunen},
journal = {{Fundamenta Mathematicae}},
volume = {143},
year = {1993},
pages = {41--54},
title = {{Measures on HS spaces}},
},
@article{DK2,
author = {Mirna D\v{z}amonja and Kenneth Kunen},
journal = {{Fundamenta Mathematicae}},
volume = {147},
year = {1995},
pages = {261--277},
title = {{Properties of the class of measure separable spaces}},
},
@article{D81,
author = {Dugas, Manfred},
title = {{Fast freie abelsche Gruppen mit Endomorphismenring ${Z}$}},
journal = {Journal of Algebra},
volume = {71},
year = {1981},
pages = {314--321},
},
@article{DG82,
author = {Dugas, Manfred and G\"obel, R\"udiger},
title = {{Every cotorsion-free ring is an endomorphism ring}},
journal = {Proceedings of the London Mathematical Society. Third Series},
volume = {45},
year = {1982},
pages = {319--336},
},
@article{DG82a,
author = {Dugas, Manfred and G\"obel, R\"udiger},
title = {{Every cotorsion-free algebra is an endomorphism algebra}},
journal = {Mathematische Zeitschrift},
volume = {181},
year = {1982},
pages = {451--470},
},
@article{DG82b,
author = {Dugas, Manfred and G\"obel, R\"udiger},
title = {{On endomorphism rings of primary abelian groups}},
journal = {Mathematische Annalen},
volume = {261},
year = {1982},
pages = {359--385},
},
@incollection{DG83,
author = {Dugas, Manfred and G\"obel, R\"udiger},
title = {{Endomorphism algebras of torsion modules. II}},
booktitle = {{Abelian group theory (Honolulu, Hawaii, 1983)}},
pages = {400--411},
series = {{Lecture Notes in Math.}},
volume = {1006},
publisher = {Springer},
address = {Berlin-New York},
year = {1983},
},
@article{DG84,
author = {Dugas, Manfred and G\"obel, R\"udiger},
title = {{Torsion-free abelian groups with prescribed finitely topologized
endomorphism rings}},
journal = {Proceedings of the American Mathematical Society},
volume = {90},
year = {1984},
pages = {519--527},
},
@article{DG85,
author = {Dugas, Manfred and G\"obel, R\"udiger},
title = {{Endomorphism rings of separable torsion-free abelian groups}},
journal = {Houston Journal of Mathematics},
volume = {11},
year = {1985},
pages = {471--483},
},
@article{DG87,
author = {Dugas, Manfred and G\"obel, R\"udiger},
title = {{All infinite groups are Galois groups over any field}},
journal = {Transactions of the American Mathematical Society},
volume = {304},
year = {1987},
pages = {355--384},
},
@article{DG90,
author = {Dugas, Manfred and G\"obel, R\"udiger},
title = {{Torsion-free nilpotent groups and $E$-modules}},
journal = {Arch. Math. (Basel)},
volume = {54},
year = {1990},
pages = {340--351},
},
@article{DGG84,
author = {Dugas, Manfred and G\"obel, R\"udiger and Goldsmith, Brendan},
title = {{Representation of algebras over a complete discrete valuation
ring}},
journal = {The Quarterly Journal of Mathematics. Oxford. Second Series},
volume = {35},
year = {1984},
pages = {131--146},
},
@article{DgGb93,
author = {Dugas, Manfred and G{\"o}bel, R{\"u}diger},
title = {On locally finite {$p$}-groups and a problem of {P}hilip {H}all's},
journal = {J. Algebra},
volume = {159},
year = {1993},
number = {1},
pages = {115--138},
},
@incollection{Du80,
author = {Duret, Jean-Louis},
title = {{Les corps faiblement alg\'ebriquement clos non
s\'eparablement clos ont la propri\'et\'e
d'ind\'ependence}},
booktitle = {{Model theory of algebra and arithmetic (Proc. Conf.,
Karpacz, 1979)}},
pages = {136--162},
series = {Lecture Notes in Math.},
volume = {834},
publisher = {Springer},
address = {Berlin -- New York},
year = {1980},
},
@article{DM,
author = "Ben Dushnik and E. W. Miller",
title = "{Partially ordered sets}",
journal = "American Journal of Mathematics",
year = 1941,
volume = 63,
pages = "600-610",
},
@article{Est70,
author = {William B. Easton},
title = {{Powers of regular cardinals}},
journal = {Annals of Math. Logic},
volume = {1},
year = {1970},
pages = {139--178},
usedin = {cardarith},
},
@book{EbFl95,
author = {Heinz-Dieter Ebbinghaus and Jorg Flum},
title = {{Finite model theory}},
series = {Perspectives in Mathematical Logic},
publisher = {Springer-Verlag},
address = {Berlin},
year = {1995},
page = {327},
},
@book {EbFl06,
AUTHOR = {Ebbinghaus, Heinz-Dieter and Flum, J{\"o}rg},
TITLE = {Finite model theory},
SERIES = {Springer Monographs in Mathematics},
EDITION = {enlarged},
PUBLISHER = {Springer-Verlag, Berlin},
YEAR = {2006},
PAGES = {xii+360}
},
@article{Eh57,
author = {Andrzej Ehrenfeucht},
title = {On theories categorical in power},
journal = {{Fundamenta Mathematicae}},
volume = {44},
year = {1957},
pages = {241--248},
},
@article{Eh58,
author = {Andrzej Ehrenfeucht},
title = {On theories categorical in power},
journal = {{Notices of the American Mathematical Society}},
volume = {5},
year = {1958},
pages = {680},
},
@article{EhMo56,
author = {Andrzej Ehrenfeucht and Andrzej Mostowski},
title = {Models of axiomatic theories admitting automorphisms},
journal = {{Fundamenta Mathematicae}},
volume = {43},
year = {1956},
pages = {50--68},
},
@article{Eis13,
AUTHOR = {Eisworth, Todd},
TITLE = {Getting more colors {II}},
JOURNAL = {J. Symbolic Logic},
FJOURNAL = {Journal of Symbolic Logic},
VOLUME = {78},
YEAR = {2013},
NUMBER = {1},
PAGES = {17--38},
},
@article {Ek1,
AUTHOR = {Eklof, Paul C.},
TITLE = {On singular compactness},
JOURNAL = {Algebra Universalis},
FJOURNAL = {Algebra Universalis},
VOLUME = {14},
YEAR = {1982},
NUMBER = {3},
PAGES = {310--316},
},
@article {Ek82,
AUTHOR = {Eklof, Paul C.},
TITLE = {On singular compactness},
JOURNAL = {Algebra Universalis},
FJOURNAL = {Algebra Universalis},
VOLUME = {14},
YEAR = {1982},
NUMBER = {3},
PAGES = {310--316},
},
@article{Ek71,
author = {Paul C. Eklof},
title = {{Homogeneous universal modules}},
journal = {Math. Scand.},
volume = {29},
year = {1971},
pages = {187--196},
},
@article{Ek73,
author = {Eklof, Paul C.},
title = {The structure of ultraproducts of abelian groups},
journal = {Pacific Journal Mathematics},
volume = {47},
year = {1973},
pages = {67--79},
},
@book{Ek80,
author = "Paul C. Eklof",
title = "{Set theoretic methods in homological algebra and
abelian groups}",
publisher= "Les Presses de l'Universite de Montreal",
year = 1980,
series = {Seminaire de Mathematiques Superieurs},
pif = {[EK] already used},
},
@article{Ek92,
author = { Paul C. Eklof},
title = {{A transfer theorem for nonstandard uniserials}},
journal = {Proc. Amer. Math. Soc.},
volume = {114},
year = {1992},
pages = {593--600},
},
@incollection{EkHu,
author = {Paul C. Eklof and Martin Huber},
title = {{On the $p$-ranks of $Ext(A,G)$, assuming CH}},
booktitle = {{Abelian Group Theory}},
series = {Lecture Notes in Math.},
volume = {874},
pages = {93--108},
note = {{(Oberwolfach 1981)}},
publisher = {Springer},
year = {1981},
},
@article{EkHu1,
author = {Paul C. Eklof and Martin Huber},
title = {{On the rank of Ext}},
journal = {Math Zeitschrift},
volume = 174,
year = 1980,
pages = {159-185},
},
@book{EM,
author = {Paul C. Eklof and Alan Mekler},
title = {{Almost free modules: Set theoretic methods}},
publisher = {North--Holland Publishing Co.},
series = {North--Holland Mathematical Library},
volume = {46},
year = {1990},
address = {Amsterdam},
usedin = {cardarith},
},
@book{EM90,
author = {Paul C. Eklof and Alan Mekler},
title = {{Almost free modules: Set theoretic methods}},
publisher = {North--Holland Publishing Co.},
series = {North--Holland Mathematical Library},
volume = {46},
year = {1990},
address = {Amsterdam},
},
@book{EM02,
author = {Paul C. Eklof and Alan Mekler},
title = {{Almost free modules: Set theoretic methods}},
publisher = {North--Holland Publishing Co.},
series = {North--Holland Mathematical Library},
volume = {65},
year = {2002},
address = {Amsterdam},
note = {Revised Edition},
},
@article{EM2,
author = {Paul C. Eklof and Alan Mekler},
title = {{Categoricity results for $L_{\infty,\kappa}$-free algebras}},
journal = {Annals of Pure and Applied Logic},
volume = {37},
year = {1988},
pages = {81--99},
},
@article{EM77,
author = {Paul C. Eklof and Alan Mekler},
title = {{On constructing indecomposable groups in $L$}},
journal = {Journal of Algebra},
volume = {49},
year = {1977},
pages = {96--103},
},
@article{Ena06p,
author = {Enayat, Ali},
title = {{A standard model of Peano arithmetic with no conservative
elementary extension}},
journal = {Annals of Pure and Applied Logic},
volume = {56},
year = {2008},
pages = {308--318},
},
@article{Ena08,
author = {Enayat, Ali},
title = {A standard model of Peano arithmetic with no conservative elementary
extension},
journal = {Annals of Pure and Applied Logic},
volume = {156},
year = {2008},
pages = {308--318},
},
@article{EK,
author = {Ryszard Engelking and Monika Kar{\l}owicz},
title = {{Some theorems of set theory and their topological consequences}},
journal = {Fundamenta Math.},
volume = {57},
year = {1965},
pages = {275-285},
usedin = {cardarith},
},
@article{EK65,
author = {Ryszard Engelking and Monika Kar{\l}owicz},
title = {{Some theorems of set theory and their topological consequences}},
journal = {Fundamenta Math.},
volume = {57},
year = {1965},
pages = {275-285},
usedin = {cardarith},
},
@article{Er7,
author = {Paul Erd\H{o}s},
title = {{Some remarks on the theory of graphs}},
journal = {Bull. Am. Math. Soc},
volume = {53},
year = {1947},
pages = {292--294},
usedin = {cardarith},
},
@inproceedings{EH1,
author = {Paul Erd\H{o}s and Andras Hajnal},
title = {{Solved and Unsolved Problems in set theory}},
booktitle = {{Proc. of the Symp. in honor of Tarksi's seventieth birthday in Berkeley 1971}},
editor = {Leon Henkin},
series = {Proc. Symp in Pure Math.},
volume = {XXV},
year = {1974},
pages = {269-287},
usedin = {cardarith},
},
@article{EH2,
author = {Paul Erd\H{o}s and Andras Hajnal},
title = {{On a problem of B. Jonsson}},
journal = {Bull. Acad. Polon. Sci. Ser. Sci. Math. Astronom. Pys.},
volume = {14},
year = {1966},
pages = {19-23},
usedin = {cardarith},
},
@article{EH3,
author = {Paul Erd\H{o}s and Andras Hajnal},
title = {{On chromatic number of graphs and set-systems}},
journal = {Acta Math. Acad. Sci. Hungar.},
volume = {17},
year = {1966},
pages = {61--99},
},
@inproceedings{EH,
author = {Paul Erd\H{o}s and Andras Hajnal},
title = {{Unsolved Problems in set theory}},
booktitle = {Axiomatic Set Theory},
series = {Proc. of Symp. in Pure Math.},
volume = {XIII Part I},
publisher = {AMS} ,
address = {Providence, R.I.},
year = {1971},
pages = {17-48},
usedin = {cardarith},
},
@article{ErHa78,
author = {Paul Erd\H{o}s and Andras Hajnal},
title = {Embedding theorems for graphs establishing negative partition
relations},
journal = {Period.Math.Hungar.},
volume = {9},
year = {1978},
pages = {205--230},
},
@article{ErH8,
author = {Paul Erd\H{o}s and Andras Hajnal},
title = {{Ramsey type theorems}},
journal = {Discrete Applied Math},
volume = {25},
year = {1989},
pages = {37--52},
},
@article{EH9,
author = {Paul Erd\H{o}s and Andras Hajnal},
title = {{On the number of distinct induced subgraphs of a graph}},
journal = {Discrete Math},
volume = {75},
year = {1989},
pages = {145--154},
},
@article {ErMa66,
AUTHOR = {Erd\H{o}s, P. and Makkai, M.},
TITLE = {Some remarks on set theory. {X}},
JOURNAL = {Studia Sci. Math. Hungar.},
FJOURNAL = {Studia Scientiarum Mathematicarum Hungarica. A Quarterly of
the Hungarian Academy of Sciences},
VOLUME = {1},
YEAR = {1966},
PAGES = {157--159},
},
@book{EHMR,
author = {Paul Erd\H{o}s and Andras Hajnal and A. Mat\'e and Richard Rado},
title = {{Combinatorial set theory: Partition Relations for Cardinals}},
series = {Studies in Logic and the Foundation of Math. },
volume = {106},
publisher = {North--Holland Publ. Co},
address = {Amsterdam},
year = {1984},
page = {347},
usedin = {cardarith},
},
@article{EHR,
author = {Paul Erd\H{o}s and Andras Hajnal and Richard Rado},
title = {{Partition relations for cardinal numbers}},
journal = {Acta Math. Acad. Sci. Hung.},
volume = {16},
year = {1965},
pages = {93-196},
usedin = {cardarith},
},
@article{ErMo64,
author = {Paul Erd\H{o}s and Leo Moser},
title = {{On the representation of directed graphs as unions of orderings}},
journal = {Magyar Tud. Akad. Mat. Kutats Int. Kvzl.},
volume = {9},
year = {1964},
pages = {125-132},
},
@article{ErRa69,
author = {Paul Erd\H{o}s and Richard Rado},
title = {{Intersection Theorems for Systems of Sets II}},
journal = {Journal of the London Mathematical Society},
volume = {44},
year = {1969},
pages = {467--479},
},
@article{ErRa,
author = {Paul Erd\H{o}s and Richard Rado},
title = {{A combinatorial theorem}},
journal = {Journal of the London Mathematical Society},
volume = {25},
year = {1950},
pages = {249--255},
usedin = {},
},
@article{ErSz,
author = {Paul Erd\H{o}s and George Szekeres},
title = {{A combinatorial problem in geometry}},
journal = {??},
volume = {2},
year = {1935},
pages = {463--470},
},
@article{ErBr,
author = {Nicolaas G. de Bruijn and Paul Erd\H{o}s},
title = {{A colour problem for infinite graphs and a problem in the
theory of relation}},
journal = {Akademia Amsterdam},
volume = {13},
year = {1951},
pages = {371--373},
},
@article{EvHr91,
author = {Evans, D. and Hrushovski, Ehud},
title = {Projective Planes in Algebraically
Closed Fields},
journal = {Proceedings of London Mathematical Society (3)},
volume = {62},
pages = {1-24},
year = {1991},
},
@article{EvHrxx,
author = {Evans, D. and Hrushovski, Ehud},
title = {On Finite Covers of $\aleph_0$ Categorical
Structures},
journal = {Annals of Pure and Applied Logic},
volume = {to appear},
},
@article{EvHrxy,
author = {Evans, D. and Hrushovski, Ehud},
title = {The automorphism groups of the
combinatorial geometry of an algebraically closed field},
journal = {Journal of the London Mathematical Society},
volume = {to appear},
},
@book{ErSp,
author = {Paul Erd\H{o}s and Joel Spencer},
title = {{Probabilistic Methods in Combinatorics}},
publisher = {Academic Press, New York},
year = {1974},
usedin = {},
},
@article{Fa76,
author = {R. Fagin},
title = {Probabilities on finite models},
journal = {Journal of Symbolic Logic},
volume = 41,
year = 1976,
pages ={50--58}
}
@article{Fa99,
author = {Jonathan Farley},
title = {Cardinalities of infinite antichains in products of chains},
journal = {Algebra Universalis},
year = {1999},
volume = {42},
pages = {235-238},
},
@article {Fo05,
AUTHOR = {Foreman, Matthew},
TITLE = {Some problems in singular cardinals combinatorics},
JOURNAL = {Notre Dame J. Formal Logic},
FJOURNAL = {Notre Dame Journal of Formal Logic},
VOLUME = {46},
YEAR = {2005},
NUMBER = {3},
PAGES = {309--322},
},
@article{FeVa59,
author = {S. Feferman and R.L. Vaught},
title = {The first order properties of products of algebraic systems},
journal = {Fund. Math.},
year = {1959},
volume = {47},
pages = {57--103},
},
@article{FiMw03,
author = {E. Fischer and J.A. Makowsky},
title = {On Spectra of Sentences of Monadic second order logic with counting},
journal = {Journal of Symbolic Logic},
year = {2003},
volume = {to appear},
pages = {},
},
@book{Fis73,
author = {Peter Fishburn},
title = {{The Theory of Social Choice}},
publisher = {Princeton University Press},
year = {1973},
},
@inproceedings{Fis77,
title = {{Abelian structures. I.}},
author = {Edward R. Fisher},
booktitle = {Abelian group theory (Proc. Second New Mexico State Univ. Conf.,
Las Cruces, N.M., 1976)},
series = {Lecture Notes in Math.},
volume = {616},
publisher = {Springer},
address = {Berlin},
year = {1977},
pages = {270--322},
},
@article{Fl74,
author = {William G. Fleissner},
title = {{Normal Moore spaces in the constructible univers}},
journal = {Proceedings of the American Mathematical Society},
volume = {46},
year = {1974},
pages={294--298},
},
@article{Fli77,
author = {Fleissner, William G.},
title = {{Questions, 1977}},
journal = {preprint},
volume = {},
year = {},
pages = {},
},
@incollection{Fl84,
author = {William G. Fleissner},
title = {{The Normal Moore Space Conjecture}},
booktitle = {{Handbook of Set--Theoretic Topology}},
year = {1984},
pages={733--760},
},
@inproceedings{Fl77,
author = {Fleissner, William G.},
title = {{On $\lambda$ collection Hausdorff spaces}},
booktitle = {{Proceedings of the 1977 Topology Conference (Louisiana
State Univ., Baton Rouge, La., 1977), II.}},
series = {Topology Proceedings},
volume = {2},
year = {1977},
pages = {445--456},
},
@article{FoLa88,
author = {Matthew Foreman and Richard Laver},
title = {{Some Downward Transfer Properties for $\aleph_2$}},
journal = {Advances in Mathematics},
volume = {67},
year = {1988},
pages = {230--238},
},
@article {MgFo01,
AUTHOR = {Foreman, Matthew and Magidor, Menachem},
TITLE = {Mutually stationary sequences of sets and the non-saturation
of the non-stationary ideal on {$P_\varkappa(\lambda)$}},
JOURNAL = {Acta Math.},
FJOURNAL = {Acta Mathematica},
VOLUME = {186},
YEAR = {2001},
NUMBER = {2},
PAGES = {271--300},
},
@article{FoTo,
author = {Matthew Foreman and Stevo Todor\v{c}evi\'{c}},
title = {{A new L\"owenheim-Skolem theorem}},
journal = {Transactions of the American Mathematical Society},
volume = {357},
year = {2005},
pages = {1693--1715},
},
@article{FW,
author = {Matthew Foreman and Hugh Woodin},
title = {{The generalized continuum hypothesis can fail everywhere}},
journal = {Annals Math.},
volume = {133},
year = {1991},
pages = {1--36},
usedin = {cardarith},
},
@phdthesis{For,
author = {Matthew Foreman},
title = {???},
year = {},
school = {},
},
@article{FG88,
author = {Franzen, Berthold and G\"obel, R\"udiger},
title = {Prescribing endomorphism algebras. The cotorsion-free case},
journal = {Rend. Sem. Mat. Univ. Padova},
volume = {80},
year = {1988},
pages = {215--241},
},
@article {FN,
AUTHOR = {Freese, Ralph and Nation, J. B.},
TITLE = {Congruence lattices of semilattices},
JOURNAL = {Pacific J. Math.},
VOLUME = {49},
YEAR = {1973},
PAGES = {51--58},
MRCLASS = {06A20},
MRNUMBER = {48 #10916},
MRREVR = {E. T. Schmidt},
}
@article{Fe94,
author = {David Fremlin},
title = {{Problem list}},
note = {Circulated notes {\tt
http://www.essex.ac.uk/maths/staff/fremlin/measur.htm}},
},
@book{Fre,
author = {David Fremlin},
title = {{Consequences of Martin's Axiom}},
publisher = {Cambrdge U.P.},
year = {1984},
},
@incollection{Fi,
author = {David Fremlin},
title = {Measure Algebras},
booktitle = {Handbook of Boolean Algebras},
year = {1989},
publisher = {North--Holland},
note = {Monk D., Bonnet R. eds.},
},
@inproceedings{Fe93,
author = {David Fremlin},
title = {{Real--valued--measurable cardinals}},
series = {Israel Mathematical Conference Proceedings},
volume = {6},
booktitle = {Set Theory of the Reals},
pages = {151--304},
year = {1993},
},
@article{Fe91,
author = {David Fremlin},
title = {{Covering squares with independent squares}},
journal = {Mathematika},
volume = {38},
pages = {329--333},
year = {1991},
note = {See also: Postscript to the above, University of Essex
Mathematics Department Research Report 91-21,
version 30.9.1992},
},
@article{Fri99,
author = {Ehud Friedgut},
title = {{Sharp thresholds of graph properties, and the $k$-sat
problem. With an appendix by Jean Bourgain}},
journal = {J. Amer. Math. Soc.},
volume = {12},
year = {1999},
pages = {1017--1054},
},
@article{Fr,
author = {Harvey Friedman},
title = {{One hundred and two problems in mathematical logic}},
journal = {Journal of Symbolic Logic},
volume = {40},
year = {1975},
pages = {113--129},
},
@article{Fr75,
author = {Harvey Friedman},
title = {{One hundred and two problems in mathematical logic}},
journal = {Journal of Symbolic Logic},
volume = {40},
year = {1975},
pages = {113--129},
},
@Book{Fu,
author = "Laszlo Fuchs",
title = "{Infinite Abelian Groups}",
publisher = "Academic Press",
year = "1970, 1973",
volume = "I, II",
address = "New York"
},
@Book{Fuc73,
author = "Laszlo Fuchs",
title = "{Infinite Abelian Groups}",
publisher = "Academic Press",
year = "1970, 1973",
volume = "I, II",
address = "New York"
},
@incollection {Fuc74,
AUTHOR = {Fuchs, L{\'a}szl{\'o}},
TITLE = {Indecomposable abelian groups of measurable cardinalities},
BOOKTITLE = {Symposia {M}athematica, {V}ol. {XIII} ({C}onvegno di {G}ruppi
{A}beliani, {INDAM}, {R}ome, 1972)},
PAGES = {233--244},
PUBLISHER = {Academic Press},
ADDRESS = {London},
YEAR = {1974},
},
@article{FuGb08,
AUTHOR = {Fuchs, Laszlo and G{\"o}bel, R{\"u}diger},
TITLE = {Modules with absolute endomorphism rings},
JOURNAL = {Israel J. Math.},
FJOURNAL = {Israel Journal of Mathematics},
VOLUME = {167},
YEAR = {2008},
PAGES = {91--109},
},
@article{FuHa08,
AUTHOR = {Fuchs, Gunter and Hamkins, Joel David},
TITLE = {Changing the heights of automorphism tower by forcing with
{S}ouslin trees over {$L$}},
JOURNAL = {The Journal of Symbolic Logic},
VOLUME = {73},
YEAR = {2008},
PAGES = {614--633},
},
@article {FuKo97,
AUTHOR = {F\"{u}redi, Zolt\'{a}n and Komj\'{a}th, P\'{e}ter},
TITLE = {On the existence of countable universal graphs},
JOURNAL = {J. Graph Theory},
FJOURNAL = {Journal of Graph Theory},
VOLUME = {25},
YEAR = {1997},
NUMBER = {1},
PAGES = {53--58},
},
@incollection{Fu65,
author = {E. G. Furkhen},
title = {{Languages with added quantifier ``there exist at least
$\aleph_\alpha$''}},
booktitle = {{The Theory of Models}},
editor = {J.~V. Addison and L.~A. Henkin and A. Tarski},
publisher = {North--Holland Publishing Company},
year = {1965},
pages = {121--131},
},
@book{Fu81,
author = {H. Furstenberg},
title = {{Recurrence in Ergodic Theory and Combinatorial Number Theory}},
series = {M. B. Porter Lectures},
publisher = {Princeton University Press},
year = {1981},
},
@incollection {Gai74,
AUTHOR = {Gaifman, Haim},
TITLE = {Elementary embeddings of models of set-theory and certain
subtheories},
BOOKTITLE = {Axiomatic set theory ({P}roc. {S}ympos. {P}ure {M}ath., {V}ol.
{XIII}, {P}art {II}, {U}niv. {C}alifornia, {L}os {A}ngeles,
{C}alif., 1967)},
PAGES = {33--101},
PUBLISHER = {Amer. Math. Soc.},
ADDRESS = {Providence R.I.},
YEAR = {1974},
},
@inproceedings{Gai81,
AUTHOR = {Gaifman, Haim},
TITLE = {On local and nonlocal properties},
BOOKTITLE = {Proceedings of the {H}erbrand symposium ({M}arseilles, 1981)},
SERIES = {Stud. Logic Found. Math.},
VOLUME = {107},
PAGES = {105--135},
PUBLISHER = {North-Holland},
ADDRESS = {Amsterdam},
YEAR = {1982},
},
@inproceedings{Gal75,
author = {F. Galvin},
title = {{On a partition theorem of Baumgartner and Hajnal}},
booktitle = {{Infinite and Finite Sets (Colloq., Keszthely, 1973; dedicated
to P. Erd\H{o}s on his 60th Birthday)}},
series = {Colloq. Math. Soc. J\'anos Bolyai},
volume = {10},
publisher = {North-Holland},
address = {Amsterdam},
year = {1975},
pages = {711--729},
},
@article{GFJ97,
author = {Salvador Garcia--Ferreira and Winfried Just},
title = {{Two examples of relatively pseudocompact spaces}},
journal = {Questions and Answers in General Topology},
volume = {17},
year = {1999},
pages = {35--45},
usedin = {},
},
@article{GH,
author = {Fred Galvin and Andras Hajnal},
title = {{Inequalities for cardinal powers}},
journal = {Annals Math.},
volume = {101},
year = {1975},
pages = {491-498},
usedin = {cardarith},
},
@article{GH75,
author = {Fred Galvin and Andras Hajnal},
title = {{Inequalities for cardinal powers}},
journal = {Annals of Mathematics},
volume = {101},
year = {1975},
pages = {491-498},
},
@article {GaOnUs13,
AUTHOR = {Garc\'{i}a, Dar\'{i}o and Onshuus, Alf and Usvyatsov, Alexander},
TITLE = {Generic stability, forking, and thorn-forking},
JOURNAL = {Trans. Amer. Math. Soc.},
FJOURNAL = {Transactions of the American Mathematical Society},
VOLUME = {365},
YEAR = {2013},
NUMBER = {1},
PAGES = {1--22},
},
@article{GJM,
author = {Fred Galvin and Thomas Jech and Menachem Magidor},
title = {{An ideal game}},
journal = {J. of Symb. Logic.},
volume = 43,
year = 1978,
pages = {284-292},
},
@article{Ga65,
zb = {305.02028},
author="Gavrilov, G.P.",
title="{Ueber funktionale Vollstaendigkeit in der abzaehlbar-wertigen Logik.}",
language="Russian",
journal="Probl. Kibernetiki",
volume="15",
pages="5-64",
year="1965",
msc="{*03B50 Many-valued logic, 94C10 Switching theory}",
}
@article{GHS,
author = {Gerlits, J. and Hajnal, Andras and Szentmiklossy, Z.},
title = {{On the cardinality of certain Hausdorff spaces}},
note = {{Topological, algebraical and combinatorial
structures. Frolik's Memorial Volume}},
journal = {Discrete Mathematics},
volume = {108},
year = {1992},
pages = {31--35},
},
@article {GeKoKuSc02,
AUTHOR = {Geschke, S. and Kojman, M. and Kubi\'{s}, W. and Schipperus, R.},
TITLE = {Convex decompositions in the plane and continuous pair
colorings of the irrationals},
JOURNAL = {Israel J. Math.},
FJOURNAL = {Israel Journal of Mathematics},
VOLUME = {131},
YEAR = {2002},
PAGES = {285--317},
},
@article {GeGoKo04,
AUTHOR = {Geschke, Stefan and Goldstern, Martin and Kojman, Menachem},
TITLE = {Continuous {R}amsey theory on {P}olish spaces and covering the
plane by functions},
JOURNAL = {J. Math. Log.},
FJOURNAL = {Journal of Mathematical Logic},
VOLUME = {4},
YEAR = {2004},
NUMBER = {2},
PAGES = {109--145},
},
@article{Gi1,
author = {Moti Gitik},
title = {{The strength of the failure of the singular cardinal hypothesis}},
journal = {Annals of Pure and Applied Logic},
volume = {51},
year = {1991},
pages = {215--240},
usedin = {cardarith},
},
@article{Gi,
author = {Moti Gitik},
title = {{The negation of SCH from $o(\kappa)=\kappa^{++}$}},
journal = {Annals of Pure and Applied Logic},
volume = {43},
year = {1989},
pages = {209--234},
usedin = {cardarith},
},
@article {Gi05,
AUTHOR = {Gitik, Moti},
TITLE = {No bound for the first fixed point},
JOURNAL = {J. Math. Log.},
FJOURNAL = {Journal of Mathematical Logic},
VOLUME = {5},
YEAR = {2005},
NUMBER = {2},
PAGES = {193--246},
},
@incollection{Gi10,
author = {Gitik, Moti},
title = {Prikry-Type forcing},
volume = {2},
year = {2010},
pages = {1351--1448},
booktitle = {Handbook of Set Theory},
publisher = {Springer},
editor = {Matthew Foreman and Akihiro Kanamori},
},
@article{GiKo10pr,
author = {Moti Gitik and Peter Koepke},
title = {Violating the Singular Cardinals Hypothesis Without
Large Cardinals},
},
@article{GM1,
author = {Moti Gitik and Menachem Magidor},
title = {{Extender based Forcing}},
journal = {J. of Symb Logic},
note = {submitted},
usedin = {cardarith},
},
@inproceedings{GM,
author = {Moti Gitik and Menachem Magidor},
title = {{The Singular Cardinals Hypothesis revisited}},
booktitle = {{The Proc. of MSRI conference on The Set Theory of the Continuum}},
editor = {H. Judah and W. Just and H. Woodin},
pages = {243--380},
series = {Mathematical Sciences Research Institute Publications},
publisher = {Springer Verlag},
year = {1992},
usedin = {cardarith},
},
@article{Gi80,
author = {Moti Gitik},
title = {{All uncountable cardinals can be singular}},
journal = {Israel Journal of Mathematics},
volume = {35},
year = {1980},
pages = {61--88},
},
@article{Gi81,
author = {Moti Gitik},
title = {{On nonminimal $p$-points over a measurable cardinal}},
journal = {Annals of Mathematical Logic},
volume = {20},
year = {1981},
pages = {269--288},
},
@article{GKLT,
author = {Y.V. Glebskii and D.I. Kogan and M.I. Liagonkii and V.A. Talanov},
title = {{Range and degree of reliability of formulas in restricted
predicate calculus}},
journal = {Kibernetica},
volume = {5},
year = {1969},
pages = {17-27},
note = {translation of {\it Cybernetics} vol 5 pp 142-154},
},
@article{G80,
author = {G\"obel, R\"udiger},
title = {{Darstellung von Ringen als Endomorphismenringe}},
journal = {Arch. Math. (Basel)},
volume = {35},
year = {1980},
pages = {338--350},
},
@incollection{G84,
author = {G\"obel, R\"udiger},
title = {{The existence of rigid systems of maximal size}},
booktitle = {Abelian groups and modules (Udine, 1984)},
pages = {189--202},
series = {CISM Courses and Lectures},
volume = {287},
publisher = {Springer},
address = {Vienna},
year = {1984},
},
@book{GbTl05,
author = {G\"obel, R\"udiger and Trlifaj, Jan},
title = {{Approximations and endomorphism algebras of modules}},
publisher = {Walter de Gruyter},
series = {de Gruyter Expositions in Mathematics},
volume = {41},
year = {2006},
address = {Berlin},
note = {},
},
@book{GbTl06,
author = {G\"obel, R\"udiger and Trlifaj, Jan},
title = {{Approximations and endomorphism algebras of modules}},
publisher = {Walter de Gruyter},
series = {de Gruyter Expositions in Mathematics},
volume = {41},
year = {2006},
address = {Berlin},
note = {},
},
@book{GbTl12,
author = {G\"obel, R\"udiger and Trlifaj, Jan},
title = {Approximations and endomorphism algebras of modules, Vol. I, II},
publisher = {Walter de Gruyter},
series = {de Gruyter Expositions in Mathematics},
year = {2012},
note = {},
}
@article{GbMa90,
author = {G\"obel, R\"udiger and May, Warren},
title = {{Four submodules suffice for realizing algebras over commutative
rings}},
journal = {Journal of Pure and Applied Algebra},
volume = {65},
year = {1990},
pages = {29--43},
},
@inproceedings{Go,
author = {Martin Goldstern},
title = {{Tools for your forcing construction}},
series = {Israel Mathematical Conference Proceedings},
volume = 6,
booktitle = {Set Theory of the Reals},
pages = {305--360},
pif = { should be in some list! },
},
@article{GoJu,
author = {Martin Goldstern and Haim Judah},
title = {{Iteration of Souslin Forcing, Projective Measurability and
the Borel Conjecture}},
journal = {Israel Journal of Mathematics},
year = {1992},
volume = {78},
pages = {335-362},
},
@article{GJS94,
author ={Goldstern, Martin and Johnson, Mark J. and Spinas, Otmar},
title = {Towers on trees},
journal = {Proceedings of the American Mathematical Society},
volume = {122},
year = {1994},
pages = {557--564},
},
@book{G,
author = {Kurt G\"odel},
title = {{The consistency of the axiom of choice and the generalized
continuum-hypothesis with the axiomes of set theory}},
publisher = {Princeton University Press},
year = {1940},
usedin = {cardarith},
},
@article{GrHrxx,
author = {Grabarnik, Gennady and Hrushovski, Ehud},
title = {Singular Compactness and Neveu
Decomposition},
journal = {Israel Journal of Mathematics},
volume = {89},
year = {1995},
pages = {135--139},
},
@book{GrRoSp,
author = {Ronald Graham and Bruce L. Rothschild and Joel Spencer},
title = {{Ramsey Theory}},
series = {{Wiley -- Interscience Series in Discrete Mathematics}},
year = {1990},
publisher = {Wiley, New York},
note = {2nd edition},
usedin = {},
},
@book{GRS80,
author = {Ronald Graham and Bruce L. Rothschild and Joel Spencer},
title = {{Ramsey Theory}},
series = {{Wiley -- Interscience Series in Discrete Mathematics}},
year = {1980},
publisher = {Wiley, New York},
usedin = {},
},
@article{GR71,
author={R.L. Graham and B.L. Rothschild},
title = {Ramsey's theorem for $n-$parameter sets},
journal = {Transactions of the American Mathematical Society},
volume={159},
year = {1971},
pages = {257--292},
},
@article{GG84,
author = {Grande, Eulalia and Grande, Zbigniew},
title = {{Quelques remarques sur la superposition $F(x,f(x))$}},
journal = {Fundamenta Mathematicae},
volume = {121},
year = {1984},
pages = {199--211},
},
@article{GL78,
author = { Grande, Zbigniew and Lipi\'nski, Jan S.},
title = {{Un exemple d'une fonction sup-mesurable qui n'est pas
mesurable}},
journal = {Colloquium Mathematicum},
volume = {39},
year = {1978},
pages = {77--79},
},
@PhdThesis{Gr,
author = "C. Gray",
title = "{Iterated Forcing from the Strategic Point of View}",
school = "UC Berkeley",
year = "1982",
},
@article{Gre,
author = {Gregory, John},
title = {{Higher Souslin trees and the generalized continuum hypothesis}},
journal = {Journal of Symbolic Logic},
volume = {41},
year = {1976},
number = {3},
pages = {663--671},
},
@article{Gre76,
author = {Gregory, John},
title = {{Higher Souslin trees and the generalized continuum hypothesis}},
journal = {Journal of Symbolic Logic},
volume = {41},
year = {1976},
number = {3},
pages = {663--671},
},
@book{Gri02,
author = {Grinblat, L. \v{S}.},
title = {{Algebras of sets and combinatorics}},
note = {Translated from the Russian manuscript by A. Stoyanovski\u\i. With
an appendix by Saharon Shelah},
series = {Translations of Mathematical Monographs},
volume = {214},
publisher = {American Mathematical Society},
address = {Providence, RI},
year = {2002},
},
@article{Gr91,
author = {Rami Grossberg},
title = {{ On chains of relatively saturated submodels of a model without
the order property}},
journal = {Journal of Symbolic Logic},
volume = {56},
year = {1991},
pages = {124--128},
},
@article{Gr91a,
author = {Rami Grossberg},
title = {{Indiscernible sequences in models which fail to have the
independence property}},
journal = {Journal of Symbolic Logic},
year = {1991},
volume = {56},
pages = {115-123},
},
@incollection{Gr02,
author = {Rami Grossberg},
title = {{Classification theory for abstract elementary classes}},
booktitle = {{Proceedings of Bilgi Conference, Istanbul, Turkey, 2001}},
editor = {Yi},
series = {Perspectives in Mathematical Logic},
publisher = {Springer-Verlag},
year = {2002},
},
@article{GIL02,
author = {Rami Grossberg and Jose Iovino and Olivier Lessmann},
title = {{A primer of simple theories}},
journal = {Archive for Mathematical Logic},
volume = {41},
year = {2002},
pages = {541--580},
},
@article{GKTV03,
author = {Rami Grossberg, Alexei Kolesnikov, Ivan Toma{\v s}i\'c and Monica
VanDieren},
title = {{The equality $S1=D=R$}},
journal = {Mathematical Logic Quarterly},
year = {2003},
volume = {49},
pages = {115-128},
},
@article{GrLe00,
author = {Rami Grossberg and Olivier Lessmann},
title = {{Local order property in nonelementary classes}},
journal = {Archive for Mathematical Logic},
volume = {39},
year = {2000},
pages = {439--457},
},
@article{GrLe0x,
author = {Rami Grossberg and Olivier Lessmann},
title = {{The main gap for totally transcendental diagrams and abstract
decomposition theorems}},
journal = {Preprint},
volume = {},
year = {},
pages = {},
},
@article{GrLe0xx,
author = {Rami Grossberg and Olivier Lessmann},
title = {{Abstract decomposition theorem and applications}},
journal = {submitted},
volume = {},
year = {},
pages = {},
},
@article{GrLe0y,
author = {Rami Grossberg and Olivier Lessmann},
title = {{Dependence relation in pregeometries}},
journal = {Algebra Universalis},
volume = {44},
year = {2000},
pages = {199-216},
},
@article{GrLe00a,
author = {Rami Grossberg and Olivier Lessmann},
title = {{Dependence relation in pregeometries}},
journal = {Algebra Universalis},
volume = {44},
year = {2000},
pages = {199-216},
},
@article{GrLe0z,
author = {Rami Grossberg and Olivier Lessmann},
title = {{Shelah's stability and homogeneity spectrum in finite diagrams}},
journal = {Archive for Mathematical Logic},
volume = {41},
year = {2002},
pages = {1-31},
},
@article{GrLe02,
author = {Rami Grossberg and Olivier Lessmann},
title = {{Shelah's stability spectrum and homogeneity spectrum in finite
diagrams}},
journal = {Archive for Mathematical Logic},
volume = {41},
year = {2002},
pages = {1-31},
},
@article{GrHa89,
author = {Rami Grossberg and Bradd Hart},
title = {{The classification of excellent classes}},
journal = {Journal of Symbolic Logic},
year = {1989},
volume = {54},
pages = {1359--1381},
},
@article{GrVa0xa,
author = {Rami Grossberg and Monica VanDieren},
title = {{Galois-stbility for Tame Abstract Elementary Classes}},
journal = {submitted},
year = {},
volume = {},
pages = {},
},
@article{GrVa0xb,
author = {Rami Grossberg and Monica VanDieren},
title = {{Upward Categoricity Transfer Theorem for Tame Abstract Elementary
Classes}},
journal = {submitted},
year = {},
volume = {},
pages = {},
},
@article{Gr94,
author = {Groszek, Marcia},
title = {$\omega^*_1$ as an initial segment of the c-degrees},
journal = {Journal of Symbolic Logic},
volume = {59},
year = {1994},
},
@article{GJ91,
author = {Groszek, Marcia and Jech, Thomas},
title = {Generalized iteration of forcing},
journal = {Transactions of the American Mathematical Society},
volume = {324},
year = {1991},
pages = {1--26},
},
@article{GL87,
author = {Groszek, Marcia and Laver, Richard},
title = {{Finite groups of OD-conjugates}},
journal = {Period. Math. Hungar.},
volume = {18},
year = {1987},
pages = {87--97},
},
@incollection{Gu,
author = {Yuri Gurevich},
chapter = {XIII},
title = {{Monadic Second--Order Theories}},
booktitle = {{Model Theoretic Logics}},
editor = {J. Barwise and S. Feferman},
series = {Perspectives in Mathematical Logic},
publisher = {Springer-Verlag},
address = {New York Berlin Heidelberg Tokyo},
year = {1985},
pages = {479--506},
},
@incollection{Gu2,
author = {Yuri Gurevich},
title = {{Logic and the Challenge of Computer Science}},
booktitle = {{Current Trends in Theoretical Computer Science}},
editor = {E. B\"orger},
publisher = {Computer Science Press},
year = {1988},
pages = {1--57},
},
@incollection{Gu3,
author = {Yuri Gurevich},
title = {{Evolving Algebra 1993: Lipari Guide}},
booktitle = {{Specification and Validation Methods}},
editor = {E. B\"orger},
publisher = {Oxford University Press},
year = {1995},
pages = {9--36},
},
@article{Gu4,
author = {Yuri Gurevich},
title = {{A broadcast to the finite model theory net on July 12, 1997}},
},
@article{Gu77,
author = {Gurevich, Yuri},
title = {{Monadic theory of order and topology. I.}},
journal = {Israel Journal of Mathematics},
volume = {27},
year = {1977},
pages = {299--319},
},
@article{Gu77a,
author = {Gurevich, Yuri},
title = {{Expanded theory of ordered abelian groups}},
journal = {Annals of Mathematical Logic},
volume = {12},
year = {1977},
pages = {193--228},
},
@incollection{Gu85,
author = {Yuri Gurevich},
chapter = {XIII},
title = {{Monadic Second--Order Theories}},
booktitle = {{Model Theoretic Logics}},
editor = {J. Barwise and S. Feferman},
series = {Perspectives in Mathematical Logic},
publisher = {Springer-Verlag},
address = {New York Berlin Heidelberg Tokyo},
year = {1985},
pages = {479--506},
},
@article {HbRr07,
AUTHOR = {Haber, Simi and Krivelevich, Michael},
TITLE = {On fractional {$K$}-factors of random graphs},
JOURNAL = {Random Structures Algorithms},
FJOURNAL = {Random Structures \& Algorithms},
VOLUME = {30},
YEAR = {2007},
NUMBER = {4},
PAGES = {441--463},
},
@article{Ha1,
author = {Richard G. Haydon},
title = {{On Banach spaces which contain $\ell^1(\tau)$ and types of
measures on compact spaces}},
journal = {Israel Journal of Mathematics},
volume = {28},
year = {1977},
pages = {313--324},
},
@article{Ha2,
author = {Richard G. Haydon},
title = {{On dual $L^1$-spaces and injective bidual Banach spaces}},
journal = {Israel Journal of Mathematics},
volume = {31},
year = {1978},
pages = {142--152},
},
@article{Ha61,
author = {Andras Hajnal},
title = {{Proof of a conjecture of S.Ruziewicz}},
journal = {Fundamenta Mathematicae},
volume = {50},
year = {1961/1962},
pages = {123--128},
},
@incollection{Ha93,
author = {Andras Hajnal},
title = {{True embedding partition relations}},
booktitle = {{Finite and Infinite Combinatorics in Sets and Logic}},
volume = {},
year = {1993},
pages = {135--152},
publisher = {Kluwer Academic Publishers},
},
@article {Ha91,
AUTHOR = {Hajnal, A.},
TITLE = {Embedding finite graphs into graphs colored with infinitely
many colors},
JOURNAL = {Israel J. Math.},
FJOURNAL = {Israel Journal of Mathematics},
VOLUME = {73},
YEAR = {1991},
NUMBER = {3},
PAGES = {309--319},
},
@article {HaKo88,
AUTHOR = {Hajnal, A. and Komj\'{a}th, P.},
TITLE = {Embedding graphs into colored graphs},
JOURNAL = {Trans. Amer. Math. Soc.},
FJOURNAL = {Transactions of the American Mathematical Society},
VOLUME = {307},
YEAR = {1988},
NUMBER = {1},
PAGES = {395--409},
},
@article {HaKo88a,
AUTHOR = {Hajnal, A. and Komj\'{a}th, P.},
TITLE = {Corrigendum to: ``{E}mbedding graphs into colored graphs''
[{T}rans. {A}mer. {M}ath. {S}oc. {\bf 307} (1988), no. 1,
395--409; {MR}0936824 (89e:05145)]},
JOURNAL = {Trans. Amer. Math. Soc.},
FJOURNAL = {Transactions of the American Mathematical Society},
VOLUME = {332},
YEAR = {1992},
NUMBER = {1},
PAGES = {475},
},
@article{HaKo97,
author = {Andras Hajnal and Peter Komjath},
title = {{A strongly non-Ramsey order type}},
journal = {Combinatorica},
volume = {17, no.3},
year = {1997},
pages = {363--367},
},
@article{Hmk98,
author = {Joel D. Hamkins},
title = {{Every group has a terminating transfinite automorphism tower}},
journal = {Proc. Amer. Math. Soc.},
volume = {to appear},
year = {},
pages = {},
},
@article{Hm98,
author = {Joel D. Hamkins},
title = {{Every group has a terminating transfinite automorphism tower}},
journal = {Proc. Amer. Math. Soc.},
volume = {126},
year = {1998},
pages = {3223--3226},
},
@book{HH,
author = {Andras Hajnal and Peter Hamburger},
title = {{Halmazelm\'elet (Set Theory)}},
publisher = {Tank\"onyvkia\'o V\'allalat, Budapest, Hungary},
year = {1983},
usedin = {cardarith},
},
@book{HH99,
author = {Andras Hajnal and Peter Hamburger},
title = {Set theory},
note = {{Translated from the 1983 Hungarian original by Attila Mati}},
series = {London Mathematical Society Student Texts},
volume = {48},
publisher = {Cambridge University Press},
address = {Cambridge},
year = {1999},
},
@article{HaJuSz,
author = {Andras Hajnal and Istvan Juhasz and Z. Szentmiklossy},
title = {{On the structure of CCC partial orders}},
journal = {Algebra Universalis},
volume = {to appear},
},
@article{Ha35,
author = {Philip Hall},
title = {{On representatives of subsets}},
journal = {Journal of the London Mathematical Society},
volume = {10},
year = {1935},
pages = {26--30},
},
@article {HaLa66,
AUTHOR = {Halpern, J. D. and L\"{a}uchli, H.},
TITLE = {A partition theorem},
JOURNAL = {Trans. Amer. Math. Soc.},
FJOURNAL = {Transactions of the American Mathematical Society},
VOLUME = {124},
YEAR = {1966},
PAGES = {360--367},
},
@InProceedings{HaLe67,
AUTHOR = {Halpern, J. D. and Levy, A.},
TITLE = {The Boolean prime ideal theorem does not imply the axiom
of choice},
BOOKTITLE = {Axiomatic set theory},
SERIES = {Proceedings of symposia in pure mathematics, 'vol. 13,
part 1, American Mathematical Society, 1967},
PAGES = {83--134},
YEAR = {1971},
ADDRESS = {Providence, R.I.},
},
@article{HHL00,
author = {Hart, Bradd and Hrushovski, Ehud and Laskowski, Michael C.},
title = {The uncountable spectra of countable theories},
journal = {Annals of Mathematics},
volume = {152},
year = {2000},
pages = {207--257},
},
@book{HaHrMa08,
AUTHOR = {Haskell, Deirdre and Hrushovski, Ehud and Macpherson, Dugald},
TITLE = {Stable domination and independence in algebraically closed
valued fields},
SERIES = {Lecture Notes in Logic},
VOLUME = {30},
PUBLISHER = {Association for Symbolic Logic},
ADDRESS = {Chicago, IL},
YEAR = {2008},
PAGES = {xii+182},
},
@article{He71,
author = {Stephen H. Hechler},
title = {{Classifying almost-disjoint families with applications to
$\beta N-N$}},
journal = {Israel Journal of Mathematics},
volume = {10},
year = {1971},
pages = {413--432},
},
@article{He,
author = {Stephen H. Hechler},
title = {{Powers of singular cardinals and a strong form of the negation of the generalized continuum hypothesis}},
journal = {Z. Math. Logik Grundlagen Math.},
volume = {19},
year = {1973},
pages = {83--84},
usedin = {cardarith},
},
@article {He72,
AUTHOR = {Hechler, Stephen H.},
TITLE = {Short complete nested sequences in {$\beta N\backslash N$} and
small maximal almost-disjoint families},
JOURNAL = {General Topology and Appl.},
VOLUME = {2},
YEAR = {1972},
PAGES = {139--149},
MRCLASS = {02K05 (02K25 04A20 54D40)},
MRNUMBER = {0307913 (46 \#7028)},
MRREVIEWER = {L. Bukovsky},
}
@article{He74,
author = {Henson, C. Ward},
title = {{The isomorphism property in nonstandard analysis and its use
in the theory of Banach spaces}},
journal = {Journal of Symbolic Logic},
volume = {39},
year = {1974},
pages = {717--731},
},
@incollection{HeIo02,
author = {Henson, C. Ward and Iovino, Jose},
title = {{Ultraproducts in analysis}},
booktitle = {Analysis and logic (Mons, 1997)},
pages = {1--110},
series= {London Math. Soc. Lecture Note Ser.},
volume = {262},
publisher = {Cambridge Univ. Press},
address = {Cambridge},
year = {2002},
},
@incollection {He12,
AUTHOR = {Herden, Daniel},
TITLE = {Upper cardinal bounds for absolute structures},
BOOKTITLE = {Groups and model theory},
SERIES = {Contemp. Math.},
VOLUME = {576},
PAGES = {137--150},
PUBLISHER = {Amer. Math. Soc.},
ADDRESS = {Providence, RI},
YEAR = {2012},
},
@phdthesis{He92,
author = {A. Hernandez},
title = {{On $\omega_1$--saturated models of stable theories}},
school = {Univ. of Calif. Berkeley},
year = {1992},
note = {Advisor: Leo Harrington},
},
@article{H,
author = {Edwin Hewitt},
title = {{A remark on density characters}},
journal = {Bull. Amer. Math. Soc},
volume = {52},
year = {1946},
pages = {641-643},
usedin = {cardarith},
},
@article{Hi78,
author = {Ken Hickin},
title = {Complete universal locally finite groups},
journal = {Transactions of the American Mathematical Society},
volume = {239},
year = {1978},
pages = {213--227},
},
@article{Hi72,
author = {Neil Hindman},
title = {The existence of certain ultra-filters on $N$ and a conjecture
of Graham and Rothschild},
journal = {Proceedings of the American Mathematical Society},
volume = {36},
year = {1972},
pages = {341--346},
},
@article{Hi74,
author = {Neil Hindman},
title = { Finite sums from sequences within cells of a partition of
$\mathbb N$},
journal = {Journal of Combinatorial Theory, series A},
volume = {17},
year = {1974},
pages = {1--11},
},
@article{Ho73,
author = {Wilfrid Hodges},
title = {{Models in which all long indiscernible sequences are
indiscernible sets}},
journal = {Fundamenta Mathematicae},
volume = {78, no.1},
year = {1973},
pages = {1--6},
},
@article {Hod81,
AUTHOR = {Hodges, Wilfrid},
TITLE = {Encoding orders and trees in binary relations},
JOURNAL = {Mathematika},
FJOURNAL = {Mathematika. A Journal of Pure and Applied Mathematics},
VOLUME = {28},
YEAR = {1981},
NUMBER = {1},
PAGES = {67--71},
},
@article{Ho81,
author = {Wilfrid Hodges},
title = {{For singular $\lambda$, $\lambda$-free, implies free.}},
journal = {Algebra Universalis},
volume = {12},
year = {1981},
pages = {205--220},
},
@incollection{Ho05,
author = {Wilfrid Hodges},
title = {{Definability and automorphism groups}},
booktitle = {{Logic, methodology and philosophy of science.
Proceedings of the 12th International Congress,
Oviedo, Spain, 2003}},
editor = {Petr H\'ajek et al.},
publisher = {King's College Publications},
year = {2005},
pages = {107--120},
},
@article{HSW09,
author = {Holz, M. and Steffens, K. and Weitz, E.},
TITLE = {Introduction to cardinal arithmetic},
SERIES = {Birkh\"auser Advanced Texts: Basler Lehrb\"ucher.
[Birkh\"auser Advanced Texts: Basel Textbooks]},
PUBLISHER = {Birkh\"auser Verlag},
ADDRESS = {Basel},
YEAR = {1999},
PAGES = {viii+304},
},
@book{Ho93,
author = {Wilfrid Hodges},
title = {{Model theory}},
series = {{Encyclopedia of Mathematics and its Applications}},
volume = {42},
publisher = {Cambridge University Press},
address = {Cambridge},
year = {1993},
},
@book{Ho97,
author = {Wilfrid Hodges},
title = {{A shorter model theory}},
publisher = {Cambridge University Press},
address = {Cambridge},
pages = {x+310 },
year = {1997},
},
@article{HP98,
author = {Miroslav Haviar and Miroslav Plo{\v{s}}{\v{c}}ica},
title = {On order-polynomial completeness of lattices},
journal = {Algebra Universalis},
volume = {39},
year = {1998},
number = {3-4},
},
@article{Hru88,
author = {E.~Hrushovski},
title = {A stable $\aleph_0$-categorical pseudoplane},
note = {Preprint},
year = {1988},
},
@article{Hr89,
author = {Hrushovski, Ehud},
title = {Kueker's Conjecture for Stable Theories},
journal = {Journal of Symbolic Logic},
volume = {54},
pages = {207-220},
year = {1989},
},
@article{Hr89a,
author = {Hrushovski, Ehud},
title = {Finitely Based Stable Theories},
journal = {Journal of Symbolic Logic},
volume = {54},
pages = {221--225},
year = {1989},
},
@article{Hr89b,
author = {Hrushovski, Ehud},
title = {Almost Orthogonal Regular Types},
journal = {Annals of Pure and Applied Logic},
volume = {45.},
pages = {139-155},
year = {1989},
},
@article{Hr89c,
author = {Hrushovski, Ehud},
title = {Totally Categorical Structures},
journal = {AMS Transactions},
volume = {313},
numer = 1,
pages = {131-159},
year = 1989,
},
@article{Hr90a,
author = {Hrushovski, Ehud},
title = {Unidimensional Theories are Superstable},
journal = {Annals of Pure and Applied Logic},
volume = {50},
pages = {117-138},
year = {1990},
},
@article{Hr1,
author = {Ehud Hrushovski},
title = {{PAC structures}},
journal = {preprint},
year = {1990},
},
@article{Hr2,
author = {Ehud Hrushovski},
title = {{Paralel to finite rank}},
note = {{???}},
journal = {notes},
year = {},
},
@article{Hr92a,
author = {Hrushovski, Ehud},
title = {Unimodular Minimal Structures},
journal = {Journal of the London Mathematical Society},
volume = {46},
pages = {385-396},
year = 1992,
},
@article{Hr92b,
author = {Hrushovski, Ehud},
title = {Strongly Minimal Expansions of Algebraically Closed Fields},
journal = {Israel Journal of Mathematics},
volume = {79},
pages = {, 129-151},
year = {1992},
},
@article{Hrxx,
author = {Hrushovski, Ehud},
title = {Extending partial isomorphisms of graphs},
journal = {Combinatorica},
volume = {12},
year = {1992},
pages = {411--416},
},
@article{Hrxy,
author = {Hrushovski, Ehud},
title = {A non-PAC Field whose Perfect Closure is PAC},
journal = {Israel Journal of Mathematics},
volume = {to appear},
},
@unpublished{Hrxz,
author = {Ehud Hrushovski},
title = {{Simplicity and the Lascar Group}},
note = {Preprint},
year = {1997},
},
@article{Hr94a,
author = {Hrushovski, Ehud},
title = {Finitely Axiomatizable Aleph-One Categorical Theories},
journal = {Journal of Symbolic Logic},
pages = {838-845},
year = {1994},
},
@incollection{Hr87,
author = {Hrushovski, Ehud},
title = {Locally Modular Regular Types},
booktitle = {Classification Theory: Chicago 1985},
editor = {J.T. Baldwin},
publisher = {Springer Verlag},
year = 1987,
},
@incollection{Hr89d,
author = {Hrushovski, Ehud},
title = {Unidimensional Theories},
booktitle = {Logic Colloquium 88},
publisher = {North--Holland},
year = 1989,
},
@incollection{Hr93b,
author = {Hrushovski, Ehud},
title = {Finite Structures with Few Types},
booktitle = {Finite and Infinite Combinatorics in Sets and Logic},
editor = {N.W. Sauer and R.E. Woodrow and B. Sands},
series = {NATO ASI Series C:
Mathematical and Physical Sciences},
volume = 411,
publisher = {Kluwer Academic Publishers},
year = 1993,
},
@incollection{Hr?,
author = {Hrushovski, Ehud},
title = {On Superstable Fields with Automorphisms},
booktitle = {The Model Theory of Groups},
editor = {A. Nesin and A. Pillay},
series = {Notre Dame Mathmatical Lectures},
volume = 11,
},
@article{HrBoxx,
author = {Hrushovski, Ehud and Bouscaren, Elisabeth},
title = {Interpreting groups in one-based theories},
journal = {Journal of Symbolic Logic},
volume = {to appear},
},
@article{Hr93a,
author = {Hrushovski, Ehud},
title = {A New Strongly Minimal Set},
journal = {Annals of Pure and
Applied Logic},
volume = {62},
pages = {147-166},
year = {1993},
},
@article{HPP0x,
author = {Ehud Hrushovski and Ya'acov Peterzil and Anand Pillay},
title = {{Groups, measures, and the NIP}},
journal = {preprint},
year = {2005},
},
@article{HrPi1,
author = {Ehud Hrushovski and Anand Pillay},
title = {{Groups of finite rank}},
journal = {preprint},
},
@article{HrPi2,
author = {Ehud Hrushovski and Anand Pillay},
title = {{}},
journal = {},
},
@article{HrPi,
author = {Hrushovski, Ehud and Pillay, Anand},
title = {Groups Definable in Local
Fields and Pseudo-Finite Fields},
journal = {Israel Journal of Mathematics},
volume = {85},
pages = {203-262},
year = {1994},
},
@article{Hrzx,
author = {Hrushovski, Ehud and Pillay, Anand},
title = {Definable subgroups of algebraic
groups over finite fields},
journal = {Crelle's Journal},
volume = {to appear},
},
@incollection{HrPi86,
author = {Hrushovski, Ehud and Pillay, Anand},
title = {Weakly Normal Groups},
booktitle = {Logic Colloquium 85},
publisher = {North--Holland},
year = {1986},
},
@article{HrSoxx,
author = {Hrushovski, Ehud and Sokolovic, Zeljko},
title = {Minimal subsets of differentially closed fields},
journal = {Transactions of the American Mathematical Society},
volume = {to appear},
},
@article{HrZi93,
author = {Hrushovski, Ehud and Zilber, Boris},
title = {Zariski Geometries},
journal = {AMS Bulletin},
volume = {28 no. 2},
pages = {315-323},
year = 1993,
},
@article{HrZi?,
author = {Hrushovski, Ehud and Zilber, Boris},
title = {Zariski Geometries},
volume = {9},
year = {1996},
pages = {1--56},
journal = {Journal of the AMS},
},
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@incollection {Hru02,
AUTHOR = {Hrushovski, Ehud},
TITLE = {Pseudo-finite fields and related structures},
BOOKTITLE = {Model theory and applications},
SERIES = {Quad. Mat.},
VOLUME = {11},
PAGES = {151--212},
PUBLISHER = {Aracne, Rome},
YEAR = {2002},
},
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@article{HyTu91,
author = {Hyttinen, Tapani and Tuuri, Heikki},
title = {{Constructing strongly equivalent nonisomorphic models for
unstable theories}},
journal = {Annals Pure and Applied Logic},
volume = {52},
year = {1991},
pages = {203-248},
},
@article{Hy98,
author = {Tapani Hyttinen},
title = {{Generalizing Morley's theorem}},
journal = {Mathematical Logic Quarterly},
volume = {44},
year = {1998},
pages = {176--184},
},
@article{Hy98a,
author = {Tapani Hyttinen},
title = {On nonstructure of elementary submodels of a stable homogeneous
structure},
journal = {Fundamenta Mathematicae},
volume = {156},
year = {1998},
pages = {167--182},
},
@article {ImLa08,
AUTHOR = {Im, Bo-Hae and Larsen, Michael},
TITLE = {Abelian varieties over cyclic fields},
JOURNAL = {Amer. J. Math.},
FJOURNAL = {American Journal of Mathematics},
VOLUME = {130},
YEAR = {2008},
NUMBER = {5},
PAGES = {1195--1210},
},
@article{Imm,
author = {Immerman, Neil},
title = {{Relational Queries Computable in Polynomial Time}},
journal = {Information and Control},
year = {1986},
volume = {68},
pages = {86--104},
note = {Extended Abstract in ACM STOC 1982, 147-152},
},
@article{Iov,
author = {Jose Iovino},
title = {{A quick introduction to Banach space model theory}},
journal = {Preprint},
},
@incollection{Io99,
author = {Iovino, J\'ose},
title = {{Stable Banach spaces and Banach space
structures. I. Fundamentals}},
booktitle = {{Models, algebras, and proofs (Bogot\'a, 1995)}},
series = {Lecture Notes in Pure and Appl. Math.},
volume = {203},
publisher = {Dekker},
address = {New York},
year = {1999},
pages = {77--95},
},
@book{Je03,
author = {Thomas Jech},
title = {{Set theory}},
note = {The third millennium edition, revised and expanded},
series = {Springer Monographs in Mathematics},
publisher = {Springer-Verlag, Berlin},
year = {2003},
},
@book{J,
author = {Thomas Jech},
title = {{Set theory}},
note = {The third millennium edition, revised and expanded},
series = {Springer Monographs in Mathematics},
publisher = {Springer-Verlag, Berlin},
year = {2003},
},
@book{J86,
author = {Thomas Jech},
title = {{Multiple forcing}},
year = {1986},
volume = {88},
publisher = {{Cambridge University Press}},
series = {{Cambridge Tracts in Mathematics}},
},
@article{Je,
author = {Thomas Jech},
title = {{Some properties of $\kappa $-complete ideals defined in terms of infinite games}},
journal = {Annals of Pure and Applied Logic},
volume = {26},
year = {1984},
pages = {31-45},
usedin = {cardarith},
},
@article{JMMP,
author = {Thomas Jech and Menachem Magidor and William Mitchell and Karel Prikry},
title = {{On precipitous ideals}},
journal = {J. of Symb. Logic},
volume = 45,
year = 1980,
pages = {1-8},
},
@article{JePo,
author = "Thomas Jech and William C. Powell",
title = "{Standard models of set theory with predication}",
journal = BAMS,
year = 1971,
volume = 77,
number = 5,
pages = "808--813",
month = "Sep",
pif = {ch 17. [JP] used for "ideals over unctble sets" in cardarith},
},
@book{JP,
author = {Thomas Jech and Karel Prikry},
title = {{Ideals over uncountable sets: application of almost disjoint functions and generic ultrapowers}},
series = {Amer. Math. Soc. Memoir},
publisher ={AMS},
volume = {214, 18(2)},
year = {1979},
usedin = {cardarith},
},
@article{JP1,
author = {Thomas Jech and Karel Prikry},
title = {On ideals of sets and power set operation},
journal = {Bull. Amer. Math. Soc.},
volume = {82},
pages = {593--595},
year = {1976},
},
@book{JP2,
author = {Thomas Jech and Karel Prikry},
title = {{Ideals over uncountable sets: application of almost disjoint functions and generic ultrapowers}},
series = {Amer. Math. Soc. Memoir},
publisher ={AMS},
volume = {214, 18(2)},
year = {1979},
usedin = {cardarith},
},
@article{JPX1,
author = {Thomas Jech and Karel Prikry},
title = {{?????}},
pif = { [JP] used for "ideals over unctble sets" in cardarith},
},
@article{Jn,
author = {Ronald B. Jensen},
title = {{The fine structure of the constructible hierarchy}},
journal = {Annals of Math. Logic},
volume = {4},
year = {1972},
pages = {229-308},
usedin = {cardarith},
},
@incollection{JS,
author = {Ronald B. Jensen and Robert M. Solovay},
title = {{Some applications of almost disjoint sets}},
booktitle = {{Math. Logic and The Foundations of set theory}},
editor = {Y. Bar Hillel},
publisher = {North--Holland Publ. Co},
address = {Amsterdam},
year = {1970},
pages = {84--104},
usedin = {cardarith},
},
@incollection{JeSo,
author = {Ronald B. Jensen and Robert M. Solovay},
title = {{Some applications of almost disjoint sets}},
booktitle = {{Math. Logic and The Foundations of set theory}},
editor = {Y. Bar Hillel},
publisher = {North--Holland Publ. Co},
address = {Amsterdam},
year = {1970},
pages = {84--104},
},
@article{Jn56,
author = {J{\'o}nsson, Bjarni},
title = {{Universal relational systems}},
journal = {Mathematica Scandinavica},
volume = {4},
year = {1956},
pages = {193--208},
},
@article{Jn60,
author = {J{\'o}nsson, Bjarni},
title = {{ Homogeneous universal relational systems}},
journal = {Mathematica Scandinavica},
volume = {8},
year = {1960},
pages = {137--142},
},
@article{Jo56,
author = {J{\'o}nsson, Bjarni},
title = {{Universal relational systems}},
journal = {Mathematica Scandinavica},
volume = {4},
year = {1956},
pages = {193--208},
},
@article{Jo60,
author = {J{\'o}nsson, Bjarni},
title = {{ Homogeneous universal relational systems}},
journal = {Mathematica Scandinavica},
volume = {8},
year = {1960},
pages = {137--142},
},
@incollection{JuRo,
author = {Judah, Haim and Ros{\l}anowski, Andrzej},
title = {{On Shelah's Amalgamation}},
booktitle = {Set Theory of the Reals},
series = {Israel Mathematical Conference Proceedings},
volume = {6},
year = {1992},
pages = {385--414},
},
@unpublished{JuRo92,
author = {Judah, Haim and Ros{\l}anowski, Andrzej},
title = {{The ideals determined by Souslin forcing notions}},
note = {unpublished notes},
year = {1992},
},
@article{JuRe,
author = {Judah, Haim and Repicky, Miroslav},
title = {{No random reals in countable support iterations}},
journal = {Israel Journal of Mathematics},
volume = {92},
year = {1995},
pages = {349--359},
},
@book{Ju71,
author = {Juh\'asz, Istvan},
title = {{Cardinal functions in topology}},
series = {Mathematical Centre Tracts},
publisher = {Mathematisch Centrum, Amsterdam},
volume = {34},
year = {1971},
},
@article {JuKu01,
author = {Juh{\'a}sz, I. and Kunen, K.},
title = {The power set of $\omega$},
journal = {Fundamenta Mathematica},
year = {2001},
number = {170},
pages = {257--265},
},
@article {JuKu02,
AUTHOR = {Juh{\'a}sz, I. and Kunen, K.},
TITLE = {Some points in spaces of small weight},
JOURNAL = {Studia Sci. Math. Hungar.},
VOLUME = {39},
YEAR = {2002},
NUMBER = {3-4},
PAGES = {369--376},
},
@book{Ju80,
author = {Juh\'asz, Istvan},
title = {{Cardinal functions in topology---ten years later. Second edition}},
series = {{Mathematical Centre Tracts}},
publisher = {Mathematisch Centrum, Amsterdam},
volume = {123},
year = {1980},
pages = {iv+160},
},
@incollection{Ju,
author = {Juh\'asz, Istvan},
title = {{Cardinal functions. II.}},
booktitle = {{Handbook of set-theoretic topology}},
editor = {},
publisher = {North--Holland Publ. Co},
year = {1984},
pages = {63-109},
usedin = {cardarith},
},
@article{Ju1,
author = {Juh\'asz, Istvan},
title = {{On the weight spectrum of a compact spaces}},
journal = {Israel Journal of Mathematics},
volume = {81},
year = {1993},
pages = {369--379},
},
@article{Ju93,
author = {Juh\'asz, Istvan},
title = {{On the weight spectrum of a compact spaces}},
journal = {Israel Journal of Mathematics},
volume = {81},
year = {1993},
pages = {369--379},
},
@incollection{Juh92,
author = {Juh\'asz, Istvan},
title = {{Cardinal functions}},
booktitle = {{Recent progress in general topology (Prague, 1991)}},
editor = {Miroslav Hu\v sek and Jan van Mill},
publisher = {North--Holland Publishing Co., Amsterdam},
year = {1992},
pages = {417--441},
},
@article{Ju92,
author = {Winfried Just},
title = {{A modification of Shelah's oracle-cc with applications}},
journal = tams,
volume = 329,
year = 1992,
pages = {325--356},
},
@article{JMPS,
author = {Winfried Just and A. R. D. Mathias and Karel Prikry and Petr
Simon},
title = {{On the existence of large p--ideals}},
journal = {Journal of Symbolic Logic},
volume = {55},
number = {2},
year = {1990},
pages = {457--465},
},
@article{KRS01,
author = {Gil Kalai and Ariel Rubinstein and Ran Spiegler},
title = {{Comments on rationalizing choice functions which violate
rationality}},
journal = {Preprint},
year = {2001},
},
@article{Kal01,
author = {Gil Kalai},
title = {{Learnability and rationality of choice}},
journal = {Preprint},
year = {2001},
},
@article{Ka90,
author = {Steven Kalikow},
title = {{Sequences of reals to sequences of zeros and ones}},
journal = {Proceedings of the American Mathematical Society},
volume = {108},
year = {1990},
pages = {833--837},
},
@article{Km90,
author = {Anastasis Kamburelis},
title = {{A new proof of the Gitik--Shelah theorem}},
journal = {Israel Journal of Mathematics},
volume = {72},
year = {1990},
pages = {373--380},
},
@article{Ka9x,
author = {Anastasis Kamburelis},
title = {{Dominating analytic families}},
journal = {Fundamenta Mathematicae},
volume = {156},
year = {1998},
pages = {73--83},
},
@article{Kn,
author = {Akihiro Kanamori},
title = {{Weakly normal filters and irregular ultra-filters}},
journal = {Trans. of A.M.S.},
volume = {220},
year = {1976},
pages = {393-396},
usedin = {cardarith},
},
@incollection{KnMg78,
author = {Akihiro Kanamori and Menachem Magidor},
title = {{The evolution of large cardinal axioms in set theory}},
booktitle = {{Higher Set Theory}},
series = {{Lecture Notes in Mathematics}},
volume = {669},
year = {1978},
pages = {99-275},
publisher = {Springer -- Verlag},
},
@article{KS,
author = {H. Kaiser and N. Sauer},
title = {On Order polynomially complete lattices},
journal = {{Algebra Universalis}},
volume= 30,
pages = {171--176},
year = 1993,
},
@incollection{Ka95,
author = {Hans Kaiser},
title = {Interpolation and order polynomially complete lattices},
series = {Contributions to general algebra},
volume = 9,
address = {Wien},
year = 1995,
publisher = {H{\"o}lder-Pichler-Tempsky},
},
@article{KpRa17,
AUTHOR = {Kaplan, Itay and Ramsey, Nicholas},
TITLE = {On Kim-independence},
JOURNAL = {J. Eur. Math. Soc. (JEMS)},
FJOURNAL = {Journal of the European Mathematical Society},
VOLUME = {accepted},
YEAR = {2017},
NUMBER = {},
PAGES = {},
},
@article {KpOnUs13,
AUTHOR = {Kaplan, Itay and Onshuus, Alf and Usvyatsov, Alexander},
TITLE = {Additivity of the dp-rank},
JOURNAL = {Trans. Amer. Math. Soc.},
FJOURNAL = {Transactions of the American Mathematical Society},
VOLUME = {365},
YEAR = {2013},
NUMBER = {11},
PAGES = {5783--5804},
},
@book{K54,
author = {Kaplansky, Irving},
title = {{Infinite abelian groups}},
publisher ={University of Michigan Press},
address = {Ann Arbor},
year = {1954},
},
@incollection{Ka,
author = {Carol R. Karp},
title = {{Finite quantifier equivalence}},
booktitle = {{The Theory of Models}},
editor = {J. W. Addison and L.A. Henkin and A. Tarski},
publisher = {North--Holland Publ. Co},
year = {1965},
pages = {407-412},
usedin = {cardarith},
},
@article{KaSc84,
author = {Matt Kaufmann and James H. Schmerl},
title = {Remarks on weak notions of saturation in models of Peano arithmetic},
journal = {J. Symbolic Logic},
volume = {52},
pages = {129--148},
year = {1987},
},
@incollection{Kf85,
author = {Matt Kaufmann},
title = {{The quantifier ``there exist uncountably many'' and some of its
relatives}},
booktitle = {Model-theoretic logics},
pages = {123--176},
series = {Perspect. Math. Logic},
publisher = {Springer},
address = {New York},
year = {1985},
},
@book{Ke94,
author = {Kechris, Alexander S.},
title = {{Classical Descriptive Set Theory}},
series = {{Graduate Texts in Mathematics}},
volume = {156},
year = {1994},
publisher = {Springer--Verlag New York, Inc.},
},
@article{KeSo95,
author = {Kechris, Alexander S. and Solecki, S{\l}awomir},
title = {{Approximation of analytic by Borel sets and definable
countable chain conditions}},
journal = {Israel Journal of Mathematics},
volume = {89},
year = {1995},
pages = {343--356},
},
@article{KeWe73,
author = {Otto H. Kegel and Bertram A.F. Wehrfritz},
title = {Locally finite groups},
series = {North-Holland Mathematical Library},
volume = {3},
year = {1973},
pages = {xi+210},
publisher = {North-Holland Publishing Co., Amsterdam-London;
American Elsevier Publishing Co., Inc., New York},
},
@article{Ke61,
author = {H. Jerome Keisler},
title = {{Ultraproducts and elementary classes}},
journal = {{Nederl. Akad. Wetensch. Proc. Ser. A}},
volume = {64},
year = {1961},
pages = {477--495},
},
@article{Ke67,
author = {H. Jerome Keisler},
title = {{Ultraproducts which are not saturated}},
journal = {{Journal of Symbolic Logic}},
volume = {32},
year = {1967},
pages = {23--46},
},
@article{Ke67a,
author = {Keisler, H. Jerome},
title = {Ultraproducts of finite sets},
journal = {Journal of Symbolic Logic},
volume = {32},
year = {1967},
pages = { 47-57},
},
@incollection{Ke68,
author = {H. Jerome Keisler},
title = {{Models With Ordering}},
booktitle = {{Logic, Methodology and Philosophy of Science III}},
publisher = {North--Holland},
address = {Amsterdam},
year = {1968},
pages = {35-62},
editor = {B. Van~Rootselaar and J. Stoal},
},
@book{Ke71,
author = {H. Jerome Keisler},
title = {{Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers}},
volume = {62},
series = {{Studies in Logic and the Foundations of Mathematics}},
publisher = {North--Holland Publishing Co., Amsterdam--London},
year = {1971},},
@book{Ke71a,
author = {H. Jerome Keisler},
title = {{On theories categorical in their own power}},
journal = {The Journal of Symbolic Logic},
volume = {36},
year = {1971},
pages = {240--244},
},
@article{Ke76,
author = {H. Jerome Keisler},
title = {{Six classes of theories}},
journal = {{Journal of Australian Mathematical Society}},
volume = {21},
year = {1976},
pages = {257-275},
},
@article{Ke63,
author = {H. Jerome Keisler},
title = {{Limit ultrapowers}},
journal = {Transactions of the American Mathematical Society},
volume = {107},
year = {1963},
pages = {382--408},
},
@article{Ke65,
author = {H. Jerome Keisler},
title = {{Limit ultraproducts}},
journal = {J. Symbolic Logic},
volume = {30},
year = {1965},
pages = {212--234},
},
@article{Ke66,
author = {H. Jerome Keisler},
title = {{First order properties of pairs of cardinals}},
journal = {Bulletin of the American Mathematical Society},
volume = {72},
year = {1966},
pages = {141--144},
},
@article{Ke66a,
author = {H. Jerome Keisler},
title = {{Some model theoretic results for $\omega$-logic}},
journal = {Israel Journal of Mathematics},
volume = {4},
year = {1966},
pages = {249--261},
},
@article {Ke70,
AUTHOR = {H. Jerome Keisler},
TITLE = {Logic with the quantifier ``there exist uncountably many''},
JOURNAL = {Ann. Math. Logic},
FJOURNAL = {Annals of Pure and Applied Logic},
VOLUME = {1},
YEAR = {1970},
PAGES = {1--93},
},
@article{Ke87,
author = {H. Jerome Keisler},
title = {{Measures and forking}},
journal = {Annals of Pure and Applied Logic},
volume = {34},
year = {1987},
pages = {119--169},
},
@article{KM67,
author = {Keisler, H. Jerome and Morley, Michael D.},
title = {{On the number of homogeneous models of a given power}},
journal = {Israel Journal of Mathematics},
volume = {5},
year = {1967},
pages = {73--78},
},
@article{KePr74,
author = {Keisler, H. Jerome; Prikry, Karel},
title = {A result concerning cardinalities of ultraproducts},
journal = {Journal of Symbolic Logic},
volume = {39},
year = {1974},
pages = {43--48},
},
@article{KR,
author = {H. Jerome Keisler and Frederick Rowbottom},
title = {{Constructible sets and weakly compact cardinals}},
journal = {A.M.S. Notices},
volume = {12},
year = {1965},
pages = {p.373},
usedin = {cardarith},
},
@article{Ke17,
author = {H. Jerome Keisler},
title = {{Three papers of Maryanthe Malliaris and Saharon Shelah}},
journal = {The Bulletin of Symbolic Logic},
volume = {23},
year = {2017},
pages = {117--121},
},
@article{Kt76,
author = {Jussi Ketonen},
title = {{On the existence of $P$-points in the Stone--\v Cech
compactification of integers}},
journal = {Fund. Math.},
volume = {92},
year = {1976},
pages = {91--94},
},
@article{Kt,
author = {Jussi Ketonen},
title = {{Some combinatorial properties of ultra-filters}},
journal = {Fund. Math.},
volume = {CVII},
year = {1980},
pages = {225-235},
usedin = {cardarith},
},
@article{KS81,
author={Ketonen, Jussi and Solovay, Robert},
title={{Rapidly growing Ramsey functions}},
journal={Ann. Math., II. Ser.},
volume={113},
pages={267--314},
year={1981},
},
@article{Kh97,
author = {Kharazishvili, Aleksander B.},
title = {{Sup-measurable and weakly sup-measurable mappings in the theory of
ordinary differential equations}},
journal = {{Journal of Applied Analysis}},
volume = {3},
year = {1997},
pages = {211--223},
},
@article{KiPi,
author = {Byunghan Kim and Anand Pillay},
title = {{From stability to simplicity}},
journal = {Bull. Symbolic Logic},
volume = {4},
year = {1998},
pages = {17--36},
},
@article{KiPi98,
author = {Byunghan Kim and Anand Pillay},
title = {{From stability to simplicity}},
journal = {Bull. Symbolic Logic},
volume = {4},
year = {1998},
pages = {17--36},
},
@article{Kin66,
author = {Kino, Akiko},
title = {{On definability of ordinals in logic with infinitely long
expressions}},
journal = {Journal of Symbolic Logic},
volume = {31},
year = {1966},
pages = {365--375},
},
@article{KP82,
author={Kirby, Laurie and Paris, Jeff},
title={{Accessible independence results for Peano arithmetic}},
journal={Bull. Lond. Math. Soc.},
volume={14},
pages={285--293},
year={1982},
},
@article{KnNa82,
author = {J. Knight and M. Nadel},
title = {Models of arithmetic and closed ideals},
journal = {Journal of Symbolic Logic},
volume = {47},
pages = {883--840},
year = {1982},
},
@article {Koc61,
AUTHOR = {Kochen, Simon},
TITLE = {Ultraproducts in the theory of models},
JOURNAL = {Ann. of Math. (2)},
FJOURNAL = {Annals of Mathematics. Second Series},
VOLUME = {74},
YEAR = {1961},
PAGES = {221--261},
},
@article{Ko84,
author = {Peter Koepke},
title = {{The consistency strength of the free--subset property for $\omega_\omega$}},
journal = {The Journal of Symbolic Logic},
volume = {49},
year = {1984},
pages = {1198--1204},
},
@article{Koj1,
author = {Menachem Kojman},
title = {The ABC of pcf},
journal = {Lecture notes},
volume = {},
year = {},
pages = {},
},
@article{Koj96,
author = {Menachem Kojman},
title = {The A, B, C of Pcf: A companion to Pcf Theory},
journal = {},
volume = {},
year = {1996},
pages = {41 pps.},
publisher = {Carnegie Mellon University},
},
@incollection{Koj11,
author = {Menachem Kojman},
title = {Singular Cardinals: from Hausdorff's Gaps to Shelah's pcf theory},
booktitle = {Sets and Extensions in the Twentieth Century},
series = {Handbook of the History of Logic},
volume = {6},
editor = { D. Gabbay, A. Kanamori and J, Woods},
publisher = {Elsevier},
year = {2011},
},
@incollection{Koj12,
author = {Menachem Kojman},
title = {From Hausdorff's Gaps to Shelah's Pcf theory},
booktitle = {Handbook of the History of Logic: Sets and Extensions in the
Twentieth Century},
volume = {6},
publisher = {North-Holland},
address = {Amsterdam},
year = {2012},
pages = {509--557},
editor = {D. Gabbay, A. Kanamori and J. Woods},
},
@article{Koj12p,
author = {Menachem Kojman},
title = {Splitting families of sets in ZFC},
arXiv = {1209.1307},
},
@article{Koj13,
author = {M. Kojman},
title = {Shelah's revised GCH and a question by Alon on infinite graphs
colorings},
journal = {Israel Journal of Mathematics},
volume = {in press},
},
@article{KMS10p,
author = {Menachem Kojman, David Milovich, Santi Spadaro},
title = {Order-theoretic properties of bases in topological spaces},
journal = {preprint in mathematical arXive},
arXiv = {LO:1012.3966},
},
@article {Kom89,
AUTHOR = {Komj{\'a}th, P.},
TITLE = {On second-category sets},
JOURNAL = {Proc. Amer. Math. Soc.},
FJOURNAL = {Proceedings of the American Mathematical Society},
VOLUME = {107},
YEAR = {1989},
NUMBER = {3},
PAGES = {653--654},
},
@article{Ko,
author = {Peter Komj\'ath},
title = {On second-category sets},
journal = {Proc. Amer. Math. Soc.},
volume = {107},
year = {1989},
pages = {653-654},
},
@article{Ko1,
author = {Peter Komj\'ath},
title = {Set systems with finite chromatic number},
journal = {European Journal of Combinatorics},
volume = {10},
year = {1989},
pages = {543-549},
},
@incollection{Ko81,
author = {Peter Komj\'ath},
title = {Dense systems of almost-disjoint sets},
booktitle = {Finite and infinite sets (Eger, 1981)},
series = {Colloquia Mathematica Societatis J\'anos Bolyai},
volume = {37},
publisher = {North--Holland},
address = {Amsterdam},
year = {1984},
pages = {527--536},
},
@article{KoPa84,
author = {Peter Komj\'ath and Janos Pach},
title = {{Universal graphs without large bipartite subgraphs}},
journal = {Mathematika},
volume = {31},
year = {1984},
pages = {282--290},
},
article {Kom93,
AUTHOR = {Komj\'{a}th, P\'{e}ter},
TITLE = {Some remarks on second category sets},
JOURNAL = {Colloq. Math.},
FJOURNAL = {Colloquium Mathematicum},
VOLUME = {66},
YEAR = {1993},
NUMBER = {1},
PAGES = {57--62},
},
@article {Kom99,
AUTHOR = {Komj\'{a}th, P.},
TITLE = {Some remarks on universal graphs},
JOURNAL = {Discrete Math.},
FJOURNAL = {Discrete Mathematics},
VOLUME = {199},
YEAR = {1999},
NUMBER = {1-3},
PAGES = {259--265},
},
@article{KoKo09,
author = {P.~G. Kolaitis and S.~Kopparty},
title = {Random graphs and the parity quantifier},
journal = {STOC'09 (Symposium on Theory of Computing, Bethesda, MD)},
editor = {M. Mitzenmacher},
year = {2009},
pages = {705--714},
},
@article{Kp80,
author = {Sabine Koppelberg},
title = {{Cardinalities of ultraproducts of finite sets}},
journal = {The Journal of Symbolic Logic},
volume = {45},
year = {1980},
pages = {574--584},
},
@article{Kp85,
author = {Sabine Koppelberg},
title = {{Homogeneous Boolean algebras may have nonsimple automorphism
groups}},
journal = {Topology and its Applications},
volume = {21},
year = {1985},
pages = {103--120},
},
@book{Ko89,
author = {Sabine Koppelberg},
title = {{Handbook of Boolean Algebras}},
volume = {1},
note = {Monk, D. and Bonnet, R. eds},
publisher = {North--Holland},
year = {1989},
},
@book{KoSc06,
author = {R. Kossak and J. Schmerl},
title = {{The structure of models of Peano arithmetic}},
publisher = {Oxford University Press},
year = {2006},
},
@article{Kos95,
author = {Kossak, Roman},
title = {{Four problems concerning recursively saturated models
of arithmetic}},
journal = {Notre Dame J. Formal Logic},
volume = {36},
note = {Special Issue: Models of Arithmetic},
year = {1995},
pages = {519--530},
},
@article {KrRa18,
AUTHOR = {Kruckman, Alex and Ramsey, Nicholas},
TITLE = {Generic expansion and {S}kolemization in {${\rm NSOP}_1$}
theories},
JOURNAL = {Ann. Pure Appl. Logic},
FJOURNAL = {Annals of Pure and Applied Logic},
VOLUME = {169},
YEAR = {2018},
NUMBER = {8},
PAGES = {755--774},
},
@article{Ko57,
author = {Hans J. Kowalsky},
title = {{Einbettung metrischer R\"aume}},
journal = {Arch. f\"ur Math.},
volume = {8},
year = {1957},
pages ={336-339},
},
@article{Ku77,
author = {David W. Kueker},
title = {{Countable approximations and Lowenheim-Skolem theorems}},
journal = {Ann. Math. Logic},
volume = {11},
year = {1977},
pages = {57--103},
},
@phdthesis{Ku68,
author = {Kenneth Kunen},
title = {{Inaccessibility properties of cardinals}},
school = {Stanford University},
year = {1968},
publisher = {University Microfilms Inc., Ann Arbor, Michigan},
},
@article{Ku72,
author = {Kunen, Kenneth},
title = {Ultrafilters and independent sets},
journal={Trans. Amer. Math. Soc.},
volume={172},
date={1972},
pages={299--306},
},
@incollection{Ku84,
author = {Kunen, Kenneth},
booktitle = {{Handbook of Set--Theoretic Topology}},
publisher = {Elsevier Science Publishers B.V.},
title = {{Random and Cohen Reals}},
year = {1984},
pages = {887--911},
editor = {K.~Kunen and J.~E.~Vaughan},
},
@incollection{Ku90,
author = {Kunen, Kenneth},
booktitle = {{Open Problems in Topology}},
editor = {J. van Mill and G.M. Reed},
year = {1990},
publisher = {Elsevier Science Publishers B.V},
title = {{Large homogeneous compact spaces}},
pages = {261--270},
},
@book{Ku83,
author = {Kunen, Kenneth},
title = {{Set Theory: An introduction to independence proofs}},
year = {1983},
volume = {102},
publisher = {{North--Holland Publishing Co}},
series = {{Studies in Logic and the Foundations of Mathematics}},
},
@article{Ku81,
author = {Kunen, Kenneth},
title = {A compact $L$--space under CH},
journal = {Topology and Applications},
volume = {12},
year = {1981},
pages = {283--287},
},
@article{KT79,
author = {Kunen, Kenneth and Tall, Franklin D.},
title = {{Between Martin's axiom and Souslin's hypothesis}},
journal ={Fundamenta Mathematicae},
volume = {102},
year = {1979},
pages = {173--181},
},
@article{K,
author = {C. Kurepa},
title = {{Transformations monotones des ensembles partiellement ordonne}},
journal = {C.R. Acad. Sci. Paris },
volume = 205,
year = 1937,
pages = {1033-1035},
},
@article{Ku35,
author = {C. Kurepa},
title = {Ensembles ordonnes et ramifies},
journal = {Publ. Math. Univ. Belgrade},
volume = 9,
year = 1935,
pages = {1-38},
usedin = {pif},
},
@article{Land90,
author = {Avner Landver},
title = {Singular Baire numbers and related topics},
journal = {Ph.D. thesis},
address = {University of Wisconsin, Madison},
year = {1990},
},
@article{Land92,
author = {A. Landver},
title = {Baire numbers, uncountable Cohen sets and perfect-set forcing},
journal = {Journal of Symbolic Logic},
volume = {57},
year = {1992},
pages = {1086--1107},
},
@book {Las87,
AUTHOR = {Lascar, Daniel},
TITLE = {Stability in model theory},
SERIES = {Pitman Monographs and Surveys in Pure and Applied Mathematics},
VOLUME = {36},
NOTE = {Translated from the French by J. E. Wallington},
PUBLISHER = {Longman Scientific \& Technical},
ADDRESS = {Harlow},
YEAR = {1987},
PAGES = {viii+193},
},
@article{Las92,
AUTHOR = {Laskowski, Michael C.},
TITLE = {Vapnik-{C}hervonenkis classes of definable sets},
JOURNAL = {J. London Math. Soc. (2)},
FJOURNAL = {Journal of the London Mathematical Society. Second Series},
VOLUME = {45},
YEAR = {1992},
NUMBER = {2},
PAGES = {377--384},
},
@article{Lw92,
author = {Michael C. Laskowski},
title = {{Vapnik-Chervonenkis classes of definable sets}},
journal = {Journal of the London Mathematical Society},
volume = {45},
year = {1992},
pages ={377--384},
},
@article{Las88,
author = {Michael C. Laskowski},
title = {{Uncountable theories that are categorical in a higher power}},
journal = {The Journal of Symbolic Logic},
volume = {53},
year = {1988},
pages = {512--530},
},
@article{LaPiRo,
author = {Laskowski, Michael C. and Pillay, Anand and Rothmaler, Philipp},
journal = {{Archive for Mathematical Logic}},
year = {1992},
volume = {31},
title = {{Tiny models of categorical theories}},
pages = {385--396},
usedin = {cardarith},
},
@article{L,
author = {Richard Laver},
title = {{Making the supercompactness of $\kappa$ indestructible under
$\kappa$-directed closed forcing}},
journal = {Israel J. of Math. },
volume = {29},
year = {1978},
pages = {385-388},
},
@article{L78,
author = {Richard Laver},
title = {{Making the supercompactness of $\kappa$ indestructible under
$\kappa$-directed closed forcing}},
journal = {Israel J. of Math. },
volume = {29},
year = {1978},
pages = {385-388},
},
@article{L1,
author = {Richard Laver},
title = {{On the consistency of Borel's conjecture}},
journal = {Acta Math.},
volume = {137},
year = {1976},
pages = {151-169},
},
@article{Lv76a,
author = {Richard Laver},
title = {{On the consistency of Borel's conjecture}},
journal = {Acta Math.},
volume = {137},
year = {1976},
pages = {151-169},
},
@article{Lv71,
author = {Richard Laver},
title = {{On Fraiss\'e's order type conjecture}},
journal = {Annals of Mathematics},
volume = {93},
year = {1971},
pages = {89--111},
},
@article{Lv73,
author = {Richard Laver},
title = {{An order type decomposition theorem}},
journal = {Annals of Mathematics},
volume = {98},
year = {1973},
pages = {96--119},
},
@article{Lv76,
author = {Richard Laver},
title = {{Well-quasi-orderings and sets of finite sequences}},
journal = {Mathematical Proceedings of the Cambridge Philosophical Society},
volume = {79},
year = {1976},
pages = {1--10},
},
@article{Lv78,
author = {Richard Laver},
title = {{Making the supercompactness of $\kappa$ indestructible under
$\kappa$-directed closed forcing}},
journal = {Israel J. of Math. },
volume = {29},
year = {1978},
pages = {385-388},
},
@InProceedings{Lv82,
author = "Richard Laver",
title = "{Saturated ideals and nonregular ultrafilters}",
booktitle = "Procedings of the Bernays Conference 1980, Pabras, Greece",
year = 1982,
publisher = "North--Holland"
},
@article{LeRo93,
author = {Hanno Lefmann and Vojtech Rodl},
title = {{On Canonical Ramsey Numbers for Complete Graphs versus Paths}},
journal = {Journal of Combinatorial Theory, ser B},
volume = {58},
year = {1993},
pages = {1--13},
usedin = {},
},
@article{LeRo94,
author = {Hanno Lefmann and Vojtech Rodl},
title = {{???}},
journal = {},
volume = {},
year = {},
pages = {},
usedin = {},
},
@article{Le0x,
author = {Olivier Lessmann},
title = {{Abstract group configuration}},
journal = {Preprint},
volume = {},
year = {},
pages = {},
},
@article{Le0y,
author = {Olivier Lessmann},
title = {{Pregeometries in finite diagrams}},
journal = {Preprint},
volume = {},
year = {},
pages = {},
},
@phdthesis{Li,
author = {Ami Litman},
title = {{Combinatorial generalization of definable properties in the
constructible world}},
school = {The Hebrew University, Jerusalem},
year = {1981},
usedin = {cardarith},
},
@phdthesis{Li81,
author = {Ami Litman},
title = {{Combinatorial generalization of definable properties in the
constructible world}},
school = {The Hebrew University, Jerusalem},
year = {1981},
},
@article{Liu,
author={Kecheng Liu},
title = {Stationary Subsets of $[\aleph_\omega]^{<\aleph_{n+1}}$},
journal = {Journal of Symbolic Logic},
volume = {58},
year = {1993},
pages = {1201--1218},
},
@article{Liu93,
author={Kecheng Liu},
title = {Stationary Subsets of $[\aleph_\omega]^{<\aleph_{n+1}}$},
journal = {Journal of Symbolic Logic},
volume = {58},
year = {1993},
pages = {1201--1218},
},
@article{Ly85,
author = {James F. Lynch},
title = {{Probabilities of first-order sentences about unary functions}},
journal = {Transactions of the American Mathematical Society},
volume = {287},
year = {1985},
pages = {543--568},
},
@inproceedings{Ly90,
title = {{Probabilities of sentences about very sparse random graphs}},
author = {James F. Lynch},
booktitle = {31st Annual Symposium on Foundations of Computer Science},
series = {IEEE Comput. Soc. Press},
address = {Los Alamitos, California},
year = {1990},
pages = {689--696},
review = {MR 93f:05091},
ams-subject = {05C80},
ams-subject-secondary = {03B10, 03C13},
},
@incollection{Lyn93,
author = {J.F. Lynch},
title = {{Infinitary logics and very sparse random graphs}},
booktitle = {Eighth Annual {IEEE} Symposium on Logic in Computer Science, Montreal, PQ},
publisher = {IEEE Comput. Soc. Press},
year = {1993},
pages = {191--198},
},
@article{Lyn97,
author = {Lynch, J.F.},
title = {{Infinitary logics and very sparse random graphs}},
journal = {J. Symbolic Logic},
volume = {62},
year = {1997},
pages = {609--623},
},
@book{LySc77,
author = {Lyndon, Roger C. and Schupp, Paul E.},
title = {{Combinatorial group theory}},
series = {Ergebnisse der Mathematik und ihrer Grenzgebiete},
volume = {89},
year = {1977},
publisher = {Springer-Verlag},
address = {Berlin--Heidelberg--New York},
},
@article{McSp61,
author = {Macdowell, R. and Specker, E.},
title = {Modelle der Arithmetik},
journal = {Infinitistic Methods; Proc. Symposium Foundations of
Mathematics, Warsaw, 1959},
note = {(German), 1961},
pages = {257--263},
year = {1959},
publisher = {Pergamon Press, Oxford; Panstwowe Wydawnictwo Naukowe, Warsaw},
},
@article{Mac76,
AUTHOR = {Macintyre, Angus},
TITLE = {Existentially closed structures and {J}ensen's principle
{$\diamondsuit $}},
JOURNAL = {Israel J. Math.},
FJOURNAL = {Israel Journal of Mathematics},
VOLUME = {25},
YEAR = {1976},
NUMBER = {3-4},
PAGES = {202--210},
},
@article{Ma03,
author = {Macintyre, Angus},
title = {{Model theory: geometrical and set-theoretic aspects and
prospects. New programs and open problems in the
foundation of mathematics (Paris, 2000)}},
journal = {The Bulletin of Symbolic Logic},
volume = {9},
year = {2003},
pages = {197--212},
},
@article{Ma71,
author = {Macintyre, Angus},
title = {{On $\omega_1$--categorical theories of fields}},
journal ={Fundamenta Mathematicae},
volume = {71},
year = {1971},
pages = {1--25},
},
@article{Mc58,
author = {S. Mac Lane},
title = {{A proof of the subgcoup theorem for free products}},
journal = {Mathematika},
volume = {5},
year = {1958},
pages = {13--19},
},
@article{Mac58,
author = {S. Mac Lane},
title = {{A proof of the subgcoup theorem for free products}},
journal = {Mathematika},
volume = {5},
year = {1958},
pages = {13--19},
},
@incollection{MAc95,
author = {McArthur, M.},
title = {{The asymptotic behavior of {$L^k_{\infty, \omega}$} on sparse random graphs}},
booktitle = {Logic and random structures ({N}ew {B}runswick, {NJ}, 1995)},
series = {DIMACS Ser. Discrete Math. Theoret. Comput. Sci.},
volume = {33},
pages = {53--63},
publisher = {Amer. Math. Soc., Providence, RI},
year = {1997},
},
@incollection{McArthur,
author = {McArthur, M.},
title = {{The asymptotic behavior of {$L^k_{\infty, \omega}$} on sparse random graphs}},
booktitle = {Logic and random structures ({N}ew {B}runswick, {NJ}, 1995)},
series = {DIMACS Ser. Discrete Math. Theoret. Comput. Sci.},
volume = {33},
pages = {53--63},
publisher = {Amer. Math. Soc., Providence, RI},
year = {1997},
},
@article{McG53,
author = {McGarvey, David C.},
title = {{A theorem on the construction of voting paradoxes}},
journal = {Econometrica},
volume = {21},
year = {1953},
pages = {608--610},
},
@article{Mag71,
author = {Magidor, M.},
title = {On the role of supercompact and extendible cardinals in logic},
journal = {Israel J. Math.},
volume = {10},
year = {1971},
pages = {147--157},
},
@article{Mag76,
AUTHOR = {Magidor, Menachem},
TITLE = {How large is the first strongly compact cardinal? or {A} study
on identity crises},
JOURNAL = {Ann. Math. Logic},
FJOURNAL = {Annals of Pure and Applied Logic},
VOLUME = {10},
YEAR = {1976},
NUMBER = {1},
PAGES = {33--57},
},
@article{Mg80,
author = {Menachem Magidor},
title = {{Precipitous ideals and $ \Sigma^1_4$ sets}},
journal = {Israel J. of Math. },
volume = 35,
year = 1980,
pages = {109-134},
},
@article{Mg,
author = {Menachem Magidor},
title = {{On the singular cardinals problem I}},
journal = {Israel J. Math.},
volume = {28},
year = {1977},
pages = {1-31},
usedin = {cardarith},
},
@article{Mg77,
author = {Menachem Magidor},
title = {{On the singular cardinals problem I}},
journal = {Israel J. Math.},
volume = {28},
year = {1977},
pages = {1-31},
},
@article{Mg1,
author = {Menachem Magidor},
title = {{On the singular cardinals problem II}},
journal = {Annals Math.},
volume = {106},
year = {1977},
pages = {517-547},
usedin = {cardarith},
},
@article{Mg77a,
author = {Menachem Magidor},
title = {{On the singular cardinals problem II}},
journal = {Annals Math.},
volume = {106},
year = {1977},
pages = {517-547},
},
@article{Mg2,
author = {Menachem Magidor},
title = {{Chang's conjecture and powers of singular cardinals}},
journal = {J. Symbolic Logic},
volume = {42},
year = {1977},
pages = {272-276},
usedin = {cardarith},
},
@article{Mg77b,
author = {Menachem Magidor},
title = {{Chang's conjecture and powers of singular cardinals}},
journal = {J. Symbolic Logic},
volume = {42},
year = {1977},
pages = {272-276},
},
@article{Mg3,
author = {Menachem Magidor},
title = {{Representing sets of ordinals as countable union of sets in
the core model}},
journal = {Transactions of the AMS},
volume = {317},
year = {1990},
pages = {91--126},
usedin = {cardarith},
},
@article{Mg90,
author = {Menachem Magidor},
title = {{Representing sets of ordinals as countable union of sets in
the core model}},
journal = {Transactions of the AMS},
volume = {317},
year = {1990},
pages = {91--126},
},
@article{Mg4,
author = {Menachem Magidor},
title = {{Changing cofinality of cardinals}},
journal = {Fund. Math.},
volume = {XCIX},
year = {1978},
pages = {61--71},
usedin = {cardarith},
},
@article{Mg78,
author = {Menachem Magidor},
title = {{Changing cofinality of cardinals}},
journal = {Fund. Math.},
volume = {XCIX},
year = {1978},
pages = {61--71},
},
@book{MKS66,
author = {Wilhelm Magnus and Abraham Karrass and Donald Solitar},
title = {{Combinatorial group theory: Presentations of groups in terms of
generators and Relations}},
publisher = {Interscience Publishers [John Wiley \& Sons, Inc.]},
year = {1966},
address = {New York - London - Sydney},
},
@incollection{Mak85,
author = {Makowsky, Johann A.},
booktitle = {Model-Theoretic Logics},
publisher = {Springer-Verlag},
year = {1985},
pages = {645--716},
editor = {Barwise, J. and Feferman, S.},
title = {Compactnes, embeddings and definability},
},
@incollection{Mw85,
author = {Makowsky, Johann A.},
booktitle = {Model-Theoretic Logics},
publisher = {Springer-Verlag},
year = {1985},
pages = {645--716},
editor = {Barwise, J. and Feferman, S.},
title = {Compactnes, embeddings and definability},
}
@incollection{Mak85a,
author = {Makowsky, Johann A.},
booktitle = {Model-Theoretic Logics},
publisher = {Springer-Verlag},
year = {1985},
pages = {747--791},
editor = {Barwise, J. and Feferman, S.},
title = {{Abstract embedding relations}},
},
@incollection{Mw85a,
author = {Makowsky, Johann A.},
booktitle = {Model-Theoretic Logics},
publisher = {Springer-Verlag},
year = {1985},
pages = {747--791},
editor = {Barwise, J. and Feferman, S.},
title = {{Abstract embedding relations}},
},
@article{Mar,
author = {Leo Marcus},
title = {{A minimal prime model with an infinite set of indiscernibles}},
journal = {Israel Journal of Mathematics},
volume = {11},
year = {1972},
pages = {180--183},
},
@article{Mar72,
author = {Leo Marcus},
title = {{A minimal prime model with an infinite set of indiscernibles}},
journal = {Israel Journal of Mathematics},
volume = {11},
year = {1972},
pages = {180--183},
},
@article{Ma,
author = {Edward Marczewski},
title = {{S\'eparabilit\'e et multiplication cart\'esienne des espaces topologiques}},
journal = {Fundamenta Math.},
volume = {34},
year = {1947},
pages = {127-143},
usedin = {cardarith},
},
@article{Ma47,
author = {Edward Marczewski},
title = {{S\'eparabilit\'e et multiplication cart\'esienne des espaces topologiques}},
journal = {Fundamenta Math.},
volume = {34},
year = {1947},
pages = {127-143},
},
@book{MMP96,
author = {David Marker, Margit Messmer and Anand Pillay},
title = {{Model theory of fields. Second edition}},
series = {{Lecture Notes in Logic, Association of Symbolic Logic,
La Jolla, Ca.}},
volume = {5},
publisher = {A K Peters, Ltd.},
address = {Wellesley, MA},
pages = {xii+155},
year = {2006},
},
@article{Mr75,
author = {Donald A. Martin},
title = {{Borel Determinacy}},
journal = {Annals of Mathematics},
volume = 102,
year = 1975,
pages = {363-371},
},
@article{Mr,
author = {Donald A. Martin},
title = {{Measurable cardinals and analytic games}},
journal = {Fundamenta Math.},
volume = {66},
year = {1970},
pages = {287-291},
usedin = {cardarith},
},
@article{MS,
author = {Donald Martin and Robert M. Solovay},
title = {{Internal Cohen extensions}},
journal = {Annals of Math Logic},
volume = {2},
year = {1970},
pages = {143-178},
usedin = {cardarith},
},
@article{Ma92,
author = {Juan C. Martinez},
title = {{A consistency result on thin--tall superatomic Boolean algebras}},
journal = {Proceedings of the American Mathematical Society},
volume = {115},
year = {1992},
pages = {473--477},
},
@InProceedings{Mt,
author = "A.~R.~D. Mathias",
title = "{The real line and the universe}",
editor = "R. Gandy and J. Hyland",
booktitle = "Proceedings of the Oxford Conference of the ASL",
pages = "531--546",
year = 1976,
publisher = "North--Holland",
month = "July"
},
@InProceedings{Mt76,
author = "A.~R.~D. Mathias",
title = "{The real line and the universe}",
editor = "R. Gandy and J. Hyland",
booktitle = "Proceedings of the Oxford Conference of the ASL",
pages = "531--546",
year = 1976,
publisher = "North--Holland",
month = "July"
},
@article{Mt1,
author = {A.~R.~D. Mathias},
title = {{Surrealistic landscape with figures}},
journal = {Periodica Math Hungarica},
volume = 10,
year = 1979,
pages = {109-175},
},
@article{Mt79,
author = {A.~R.~D. Mathias},
title = {{Surrealistic landscape with figures}},
journal = {Periodica Math Hungarica},
volume = 10,
year = 1979,
pages = {109-175},
},
@article{Mt3,
author = {A.~R.~D. Mathias},
title = {{Happy families}},
journal = {Annals of Mathematical Logic},
volume = 12,
pages = {59--111},
year = 1977,
},
@article{Mt77,
author = {A.~R.~D. Mathias},
title = {{Happy families}},
journal = {Annals of Mathematical Logic},
volume = 12,
pages = {59--111},
year = 1977,
},
@incollection{Mt78,
author = {A.R.D. Mathias},
title = {{$0^\#$ and the p-point problem}},
booktitle = {{Higher Set Theory (Proc. Conf., Math. Forschungsinst.,
Oberwolfach, 1977)}},
series = {Lecture Notes in Math.},
volume = {669},
pages = {375--383},
year = {1978},
publisher = {Springer},
address = {Berlin},
},
@article{McMo82,
author = {Ralph McKenzie and J. Donald Monk},
title = {Chains in Boolean algebras},
journal = {Annals of Mathematical Logic},
volume = {22},
year = {1982},
pages = {137--175},
},
@article{Mej13,
author = {Mej{'{\i}}a, Diego Alejandor},
title = {Matrix iterations and {C}ichon's diagram},
journal = {Arch. Math. Logic},
volume = {52},
year = {2013},
pages = {261--278},
},
@article{Mk84,
author = {Alan H. Mekler},
title = {{Finitely additive measures on {\bf N} and the additive property}},
journal = {Proceedings of the American Mathematical Society},
volume = {92},
pages = {439--444},
year = {1984},
},
@article {Mk90,
AUTHOR = {Mekler, Alan H.},
TITLE = {Universal structures in power {$\aleph_1$}},
JOURNAL = {J. Symbolic Logic},
FJOURNAL = {The Journal of Symbolic Logic},
VOLUME = {55},
YEAR = {1990},
NUMBER = {2},
PAGES = {466--477},
},
@article {Mil11,
AUTHOR = {Mildenberger, Heike},
TITLE = {The club principle and the distributivity number},
JOURNAL = {J. Symbolic Logic},
FJOURNAL = {The Journal of Symbolic Logic},
VOLUME = {76},
YEAR = {2011},
NUMBER = {1},
PAGES = {34--46},
},
@article {MRT13,
AUTHOR = {Mildenberger, Heike and Raghavan, Dilip and Steprans, Juris},
TITLE = {Splitting families and complete separability},
JOURNAL = {Canad. Math. Bull.},
FJOURNAL = {Canadian Mathematical Bulletin. Bulletin Canadien de
Math\'ematiques},
VOLUME = {57},
YEAR = {2014},
NUMBER = {1},
PAGES = {119--124},
},
@article {MdRaSr:13,
AUTHOR = {Mildenberger, Heike and Raghavan, Dilip and Steprans, Juris},
TITLE = {Splitting families and complete separability},
JOURNAL = {Canad. Math. Bull.},
FJOURNAL = {Canadian Mathematical Bulletin. Bulletin Canadien de
Math\'ematiques},
VOLUME = {57},
YEAR = {2014},
NUMBER = {1},
PAGES = {119--124},
},
@book{vMR,
author = {Jan van Mill and George M. Reed},
title = {{Open problems in topology}},
publisher = {North--Holland},
year = {1990},
},
@book{vMR90,
author = {Jan van Mill and George M. Reed},
title = {{Open problems in topology}},
publisher = {North--Holland},
year = {1990},
},
@incollection{vM84,
author = {Jan van~Mill},
booktitle = {{Handbook of Set--Theoretic Topology}},
publisher = {Elsevier Science Publishers},
address = {Amsterdam},
title = {{An Introduction to $\beta\omega$}},
year = {1984},
pages = {503--567},
editor = {K.~Kunen and J.~E.~Vaughan},
},
@article{Mi81,
author = {Arnold W.~Miller},
title = {{Some properties of measure and category}},
journal = {Transactions of the American Mathematical Society},
volume = {266},
year = {1981},
pages = {93--114},
},
@article{Mi82,
author = {Arnold W. Miller},
title = {A characterization of the least cardinal for which the Baire
category theorem fails},
journal = {Proceedings of the American Mathematical Society},
volume = {86},
year = {1982},
pages = {498--502},
},
@incollection{Mi91,
author = {Arnold W. Miller},
title = {{Arnie Miller's problem list}},
booktitle = {{Set Theory of the Reals}},
editor = {Haim Judah},
series = {Israel Mathematical Conference Proceedings},
volume = 6,
pages = {645--654},
note = {{Proceedings of the Winter Institute held at Bar--Ilan
University, Ramat Gan, January 1991}},
},
@unpublished{Mixx,
author = {Arnold W. Miller},
title = {{Some interesting problems}},
note = {{circulated notes; available at {\tt http://www.math.wisc.edu/$\sim$miller}}},
},
@article{Mi83,
author = {Arnold W.~Miller},
title = {Mapping a set of reals onto the reals},
journal = {Journal of Symbolic Logic},
volume = {48},
pages = {575--584},
year = {1983},
},
@article{Mil37,
author = {E.W.~Miller},
title = {On a property of families of sets},
journal = {Comptes Rendus Varsovie},
volume = {30},
pages = {31--38},
year = {1937},
},
@article{Co89,
author = {Paul Corazza},
title = {The generalized Borel conjecture and strongly proper orders},
journal = {Transactions of the American Mathematical Society},
volume = {316},
pages = {115--140},
year = {1989},
},
@article{Mil78,
author = {Mills, George},
title = {A model of Peano arithmetic with no elementary end extension},
journal = {Journal of Symbolic Logic},
volume = {43},
pages = {563--567},
year = {1978},
},
@article{MiRa,
author = {Eric Milner and Richard Rado},
title = {{The pigeon-hole principle for ordinal numbers}},
journal = {Proc. London Math. Soc. },
numer = 3,
volume = {15},
year = 1965,
pages = {750-768},
},
@article{MiRa65,
author = {Eric Milner and Richard Rado},
title = {{The pigeon-hole principle for ordinal numbers}},
journal = {Proc. London Math. Soc. },
numer = 3,
volume = {15},
year = 1965,
pages = {750-768},
},
@article{Mi1,
author = {William Mitchell},
title = {{Aronszajn trees and the independence of the transfer property}},
journal = {Annals of Mathematical Logic},
volume = {5},
year = {1972/73},
pages = {21--46},
usedin = {cardarith},
},
@article{Mi72,
author = {William Mitchell},
title = {{Aronszajn trees and the independence of the transfer property}},
journal = {Annals of Mathematical Logic},
volume = {5},
year = {1972/73},
pages = {21--46},
},
@article{Mi2,
author = {William Mitchell},
title = {{Applications of the covering lemma for sequences of measures}},
journal = {Transactions of the American Mathematical Society},
volume = {299},
year = {1987},
pages = {41-58},
usedin = {cardarith},
},
@article{Mi87,
author = {William Mitchell},
title = {{Applications of the covering lemma for sequences of measures}},
journal = {Transactions of the American Mathematical Society},
volume = {299},
year = {1987},
pages = {41-58},
},
@article{Mi,
author = {William Mitchell},
title = {{The core model for sequences of measures I}},
journal = {Math. Proc. Cambridge Phil. Soc},
volume = {95},
year = {1984},
pages = {229-260},
usedin = {cardarith},
},
@article{Mi84,
author = {William Mitchell},
title = {{The core model for sequences of measures I}},
journal = {Math. Proc. Cambridge Phil. Soc},
volume = {95},
year = {1984},
pages = {229-260},
},
@InProceedings{Mi79,
author = "William Mitchell",
title = "{Hypermeasurable cardinals}",
booktitle = {Logic Colloquium 1978 (Mons)},
pages = {303--316},
publisher = {North--Holland},
address = {Amsterdam, New York},
year = 1979,
},
@InProceedings{Mo,
author = {Michael Morley},
title = {{Omitting classes of elements}},
booktitle = {Theory of models},
pages = {265--273},
publisher = {North--Holland Publ. Co.},
address = {Amsterdam},
year = 1965,
},
@InProceedings{Mo65a,
author = {Michael Morley},
title = {{Omitting classes of elements}},
booktitle = {Theory of models},
pages = {265--273},
publisher = {North--Holland Publ. Co.},
address = {Amsterdam},
year = 1965,
},
@article{Mo65,
author = {Michael Morley},
title = {{Categoricity in power}},
journal = {Transaction of the American Mathematical Society},
volume = {114},
year = {1965},
pages = {514-538},
},
@InProceedings{Mo68,
author = {Michael Morley},
title = {{Partitions and models}},
booktitle = {{Proceedings of the Summer School in Logic, Leeds, 1967}},
pages = {109--158},
publisher = {Springer-Verlag},
series = {Lecture Notes in Mathematics},
volume = {70},
year = {1968},
},
@article{Mo70,
author = {Michael D. Morley},
title = {{The number of countable models}},
journal = {{Journal of Symbolic Logic}},
volume = {35},
year = {1970},
pages = {14-18},
},
@article{MV62,
author = {M. D. Morley and R. L. Vaught},
title = {{Homogeneous and universal models}},
journal = {Mathematica Scandinavica},
volume = {11},
year = {1962},
pages = {37--57},
},
@article{MoVa62,
author = {M. D. Morley and R. L. Vaught},
title = {{Homogeneous and universal models}},
journal = {Mathematica Scandinavica},
volume = {11},
year = {1962},
pages = {37--57},
},
@unpublished{M,
author = {J. Donald Monk},
title = {{Cardinal functions of Boolean algebras}},
note = {circulated notes},
usedin = {cardarith},
},
@book{M1,
author = {J. Donald Monk},
title = {{Cardinal Invariants of Boolean Algebras}},
series = {Lectures in Mathematics},
publisher = {ETH Zurich, Birkhauser Verlag, Basel Boston Berlin},
year = {1990},
},
@book{Mo90a,
author = {J. Donald Monk},
title = {{Cardinal Invariants of Boolean Algebras}},
series = {Lectures in Mathematics},
publisher = {ETH Zurich, Birkhauser Verlag, Basel Boston Berlin},
year = {1990},
},
@book{M2,
author = {J. Donald Monk},
title = {{Cardinal Invariants of Boolean Algebras}},
series = {{Progress in Mathematics}},
volume = {142},
publisher = {Birkh\"auser Verlag, Basel--Boston--Berlin},
year = {1996},
},
@book{Mo96,
author = {J. Donald Monk},
title = {{Cardinal Invariants of Boolean Algebras}},
series = {{Progress in Mathematics}},
volume = {142},
publisher = {Birkh\"auser Verlag, Basel--Boston--Berlin},
year = {1996},
},
@unpublished{M3,
author = {J. Donald Monk},
title = {{Some problems and solutions concerning cardinal functions on
Boolean algebras}},
note = {preprint; November 1993},
},
@unpublished{Mo93,
author = {J. Donald Monk},
title = {{Some problems and solutions concerning cardinal functions on
Boolean algebras}},
note = {preprint; November 1993},
},
@article{M80,
author = {J. Donald Monk},
title = {{A very rigid Boolean algebra}},
journal = {Israel Journal of Mathematics},
volume = {35},
year = {1980},
pages = {135--150},
},
@article{Mo06,
author = {Moore, Justin Tatch},
title = {{A solution to the $L$ space problem}},
journal = {Journal of the American Mathematical Society},
volume = {19},
year = {2006},
pages = {717--736},
},
@article {Moo06a,
AUTHOR = {Moore, Justin Tatch},
TITLE = {A five element basis for the uncountable linear orders},
JOURNAL = {Ann. of Math. (2)},
FJOURNAL = {Annals of Mathematics. Second Series},
VOLUME = {163},
YEAR = {2006},
NUMBER = {2},
PAGES = {669--688},
},
@article {Moo06,
AUTHOR = {Moore, Justin Tatch},
TITLE = {A five element basis for the uncountable linear orders},
JOURNAL = {Ann. of Math. (2)},
FJOURNAL = {Annals of Mathematics. Second Series},
VOLUME = {163},
YEAR = {2006},
NUMBER = {2},
PAGES = {669--688},
},
@article{Moo08,
author = {Moore, Justin Tatch},
title = {{An {L} space with a {$d$}-separable square}},
journal = {Topology and its Applications},
volume = {155},
year = {2008},
pages = {304--307},
},
@article {Moo08a,
AUTHOR = {Moore, Justin Tatch},
TITLE = {Aronszajn lines and the club filter},
JOURNAL = {J. Symbolic Logic},
FJOURNAL = {The Journal of Symbolic Logic},
VOLUME = {73},
YEAR = {2008},
NUMBER = {3},
PAGES = {1029--1035},
},
@article{Mo52,
author = {Mostowski, Andrzej},
title = {On direct products of theories},
journal = {J. Symbolic Logic},
volume = {17},
year = {1952},
pages = {1--31},
},
@article{Mo57,
author = {Andrzej Mostowski},
title = {{On a generalization of quantifiers}},
journal = {Fundamenta Mathematicae},
volume = {44},
year = {1957},
pages = {12--36},
},
@article{My69,
author = {Jan Mycielski},
title = {Some new ideals of sets on the real line},
journal = {Colloquium Mathematicum},
year = {1969},
volume = {XX},
pages = {71--76},
},
@article{Mo77,
author = {Morgan, John C. II},
title = {{Baire category from an abstract viewpoint}},
journal = {Fundamenta Mathematicae},
pages = {13--23},
volume = {94},
year = {1977},
},
@book{Mo90,
author = {Morgan, John C. II},
title = {{Point set theory}},
series = {{Monographs and Textbooks in Pure and Applied Mathematics}},
volume = {131},
year = {1990},
publisher = {Marcel Dekker, Inc, New York},
},
@book{MoHaScSi,
title = {Harvey Friedman's research on the foundations of mathematics},
author = {L. A. Harrington, M. D. Morley, A. {\v S}{\v c}edrov and S. G. Simpson},
series = {Studies in Logic and the Foundations of Mathematics},
volume = {117},
publisher = {North--Holland Publishing Co.},
year = {1985},
},
@article{HaKe77,
author = {Harrington, Leo and Kechris, Alexander S.},
title = {{$\Pi^1_2$ singletons and $0^{\#}$}},
journal = {Fundamenta Mathematicae},
volume = {95},
year = {1977},
pages = {167--171},
},
@incollection{Na85,
author = {Mark Nadel},
chapter = {VIII},
title = {{${\cal L}_{\omega_1\omega}$ and admissible fragments}},
booktitle = {{Model Theoretic Logics}},
editor = {J. Barwise and S. Feferman},
series = {Perspectives in Mathematical Logic},
publisher = {Springer-Verlag},
address = {New York Berlin Heidelberg Tokyo},
year = {1985},
pages = {271--316},
},
@article{NS,
author = {Mark E. Nadel and Jonathan Stavi},
title = {{$L_{\infty \lambda }$-equivalence isomorphism and potential isomorphism}},
journal = {Trans. of A.M.S.},
volume = {236},
year = {1978},
pages = {51-76},
usedin = {cardarith},
},
@article{Nad94,
author = {M.E. Nadel},
title = {Scott heights of Abelian groups},
journal = {Journal of Symbolic Logic},
volume = {59},
year = {1994},
pages = {1351--1359},
},
@article{Nm,
author = {Kanji Namba},
title = {{Independence proof of $(\omega,\omega_\alpha)$-distributive
law in complete Boolean algebras}},
journal = {Comment Math. Univ. St. Pauli},
volume = 19,
year = 1970,
pages = {1-12},
},
@article{NeRo93,
author = {Ludomir Newelski and Andrzej Ros{\l}anowski},
title = {{The ideal determined by the unsymmetric game}},
journal = {Proceedings of the American Mathematical Society},
volume = {117},
year = {1993},
pages = {823--831},
},
@article {New12,
AUTHOR = {Newelski, Ludomir},
TITLE = {Bounded orbits and strongly generic sets},
JOURNAL = {J. Lond. Math. Soc. (2)},
FJOURNAL = {Journal of the London Mathematical Society. Second Series},
VOLUME = {86},
YEAR = {2012},
NUMBER = {1},
PAGES = {63--86},
},
@incollection{Nun77,
author = {R.J. Nunke},
title = {{Whitehead's problem}},
booktitle = {{Abelian group theory (Proc. Second New Mexico State Univ.
Conf.}},
pages = {240--250},
series = {Lecture Notes in Math.},
volume = {616},
publisher = {Springer},
address = {Berlin},
year = {1977},
},
@article{On0x1,
author = {Onshuus, Alf},
title = {{th-Forking, Algebraic Independence and Examples of Rosy
Theories}},
journal = {Preprint},
volume = {},
year = {2003},
pages = {},
note = {math.LO/0306003},
},
@article{On0x2,
author = {Onshuus, Alf},
title = {{Properties and Consequences of th-Independence}},
journal = {Preprint},
volume = {},
year = {2004},
pages = {},
note = {math.LO/0205004},
},
@article {OnUs11a,
AUTHOR = {Onshuus, Alf and Usvyatsov, Alexander},
TITLE = {On dp-minimality, strong dependence and weight},
JOURNAL = {J. Symbolic Logic},
FJOURNAL = {The Journal of Symbolic Logic},
VOLUME = {76},
YEAR = {2011},
NUMBER = {3},
PAGES = {737--758},
},
@article {OnUs11,
AUTHOR = {Onshuus, Alf and Usvyatsov, Alexander},
TITLE = {Thorn orthogonality and domination in unstable theories},
JOURNAL = {Fund. Math.},
FJOURNAL = {Fundamenta Mathematicae},
VOLUME = {214},
YEAR = {2011},
NUMBER = {3},
PAGES = {241--268},
},
@book{Ox,
author = {John C. Oxtoby},
title = {Measure and Category},
series = {Graduate Texts in Mathematics},
volume ={2},
publisher = {Springer},
year = {1980},
},
@book{Oxt80,
author = {John C. Oxtoby},
title = {Measure and Category. A survey of the analogies between topological and measure spaces.},
series = {Graduate Texts in Mathematics},
volume ={2},
publisher = {Springer-Verlag},
address = {New York-Berlin},
year = {1980},
},
@book{Ox71,
author = {John C. Oxtoby},
title = {{Measure and Category. A survey of the analogies between topological
and measure spaces}},
series = {Graduate Texts in Mathematics},
volume = {2},
publisher = {Springer-Verlag},
year = 1971,
},
@incollection{Os92,
author = {Osofsky, Barbara L.},
title = {{Constructing nonstandard uniserial modules over valuation domains}},
booktitle = {Azumaya algebras, actions, and modules (Bloomington, IN, 1990)},
pages = {151--164},
series = {Contemp. Math.},
volume = {124},
publisher = {Amer. Math. Soc.},
address = {Providence, RI},
year = {1992},
},
@article{Os91,
author = {Osofsky, Barbara L.},
title = {{A construction of nonstandard uniserial modules over valuation
domains}},
journal = {Bull. Amer. Math. Soc. (N.S.)},
volume = {25},
year = {1991},
pages = {89--97},
},
@article{Os,
author = {A. Ostaszewski},
title = {{On countably compact perfectly normal spaces}},
journal = {Journal of London Mathematical Society},
volume = {14},
year = {1975},
pages = {505--516},
},
@article {Pab82,
AUTHOR = {Pabion, J.-F.},
TITLE = {Saturated models of {P}eano arithmetic},
JOURNAL = {J. Symbolic Logic},
FJOURNAL = {The Journal of Symbolic Logic},
VOLUME = {47},
YEAR = {1982},
NUMBER = {3},
PAGES = {625--637},
},
@article{PaSr98,
author = {N. Pandey and S. M. Srivastava},
title = {{A Powerless Proof of a Result of Shelah on Fundamental Groups}},
journal = {Preprint},
},
@incollection{PH77,
author= {Jeff Paris and Leo Harrington},
title = {{A mathematical incompleteness in Peano Arithmetic}},
booktitle = {{Handbook of Mathematical Logic}},
editor = {Jon Barwise},
pages = {1133--1142},
year = {1977},
publisher = {North--Holland Publishing Co.},
address = {Amsterdam-New York-Oxford},
},
@article{PWW88,
author = {J.B. Paris, A. Wilkie and A.R. Woods},
title = {Provability of the pigeonhole principle and the existence of
infinitely many primes},
journal = {J. Symbolic Logic},
volume = {53},
year = {1988},
pages = {1235--1244},
},
@article{Pa90,
author = {Pas, Johan},
title = {{Cell decomposition and local zeta functions in a tower of
unramified extensions of a $p$-adic field}},
journal = {Proc. London Math. Soc.},
volume = {60},
year = {1990},
pages = {37--67},
},
@book{Pel84,
author = {Bezalel Peleg},
title = {{Game theoretic analysis of voting in committees}},
series = {{Econometric Society Monographs in Pure Theory}},
volume = {7},
publisher = {Cambridge University Press},
address = {Cambridge},
year = {1984},
},
@article{Pes08,
author = {Pestov, V.},
title = {Hyperlinear and sofic groups: a brief guide},
journal = {Bulletin of Symbolic Logic},
volume = {14},
year = {2008},
pages = {449--480},
},
@article{Pe97,
author = {Douglas Peterson},
title = {{Cardinal functions on ultraproducts of Boolean algebras}},
journal = {{Journal of Symbolic Logic}},
volume = {62},
year = {1997},
pages = {43--59},
},
@book{Pil83,
author = {Pillay, Anand},
title = {{An introduction to stability theory}},
series = {Oxford Logic Guides},
publisher = {Oxford University Press, New York},
volume = {8},
year = {1983},
address = {New York},
},
@book{Pil96,
author = {Pillay, Anand},
title = {{Geometric stability theory}},
series = {{Oxford Logic Guides}},
publisher = {Oxford Science Publications},
volume = {32},
year = {1996},
pages = {x+361},
address = {The Clarendon Press, Oxford University Press, New York},
},
@article {PiScWa98,
AUTHOR = {Pillay, A. and Scanlon, T. and Wagner, F. O.},
TITLE = {Supersimple fields and division rings},
JOURNAL = {Math. Res. Lett.},
FJOURNAL = {Mathematical Research Letters},
VOLUME = {5},
YEAR = {1998},
NUMBER = {4},
PAGES = {473--483},
},
@incollection{Pi0x,
author = {Pillay, Anand},
title = {{Forking in the category of existentially closed structures}},
booktitle = {{Connections between model theory and algebraic and analytic
geometry}},
pages = {23--42},
series = {Quad. Mat.},
volume ={6},
publisher = {Dept. Math., Seconda Univ. Napoli},
address = {Caserta},
year = {2000},
},
@incollection{Pi00,
author = {Pillay, Anand},
title = {{Forking in the category of existentially closed structures}},
booktitle = {{Connections between model theory and algebraic and analytic
geometry}},
pages = {23--42},
series = {Quad. Mat.},
volume ={6},
publisher = {Dept. Math., Seconda Univ. Napoli},
address = {Caserta},
year = {2000},
},
@article{PiSz87,
author = {Piotrowski, Zbigniew and Szyma\'nski, Andrzej},
title = {{Some remarks on category in topological spaces}},
journal = {Proc. Amer. Math. Soc.},
volume = {101},
year = {1987},
pages = {156--160},
},
@article{PiWa19,
author = {Amador Martin Pizarro and Frank O. Wagner},
title = {Supersimplicity and quadratic extensions,
In: Proceedings of the Florida Logic Year},
journal = {Arch. Math. Logic},
volume = {to appear},
},
@article{PL1,
author = {Grzegorz Plebanek},
title = {{Non-separable Radon measures on small compact spaces}},
journal = {preprint},
year = {1996},
},
@article{PL2,
author = {Grzegorz Plebanek},
title = {{Radon measures and mappings onto Tychonoff cubes}},
journal = {preprint},
year = {1996},
},
@article{Po81,
author = {Poizat, Bruno},
title = {{Th\'eories instables}},
journal = {Journal of Symbolic Logic},
volume = {46},
year = {1981},
pages = {513--522},
},
@book{Poi01,
AUTHOR = {Poizat, Bruno},
TITLE = {Stable groups},
SERIES = {Mathematical Surveys and Monographs},
VOLUME = {87},
NOTE = {Translated from the 1987 French original by Moses Gabriel
Klein},
PUBLISHER = {American Mathematical Society},
ADDRESS = {Providence, RI},
YEAR = {2001},
PAGES = {xiv+129},
},
@book{Poz00,
author = {Poizat, Bruno},
title = {A course in model theory. An introduction to contemporary mathematical
logic},
note = {Translated from the French by Moses Klein and revised by the author},
series = {Universitext},
publisher = {Springer-Verlag},
year = {2000},
pages = {xxxii_443},
address = {New York},
ISBN = {0-387-98655-3},
},
@article{P,
author = {E.S. Pondiczery},
title = {{Power problems in abstract spaces}},
journal = {Duke Math. J},
volume = {11},
year = {1944},
pages = {835-837},
usedin = {cardarith},
},
@book{PK,
AUTHOR = {P{\"o}schel, R. and Kalu{\v{z}}nin, L. A.},
TITLE = {Funktionen- und {R}elationenalgebren},
NOTE = {Ein Kapitel der diskreten Mathematik. [A chapter in discrete
mathematics]},
PUBLISHER = {VEB Deutscher Verlag der Wissenschaften},
ADDRESS = {Berlin},
YEAR = {1979},
PAGES = {259},
MRCLASS = {03G20 (94C10)},
MRNUMBER = {81f:03075},
MRREVIEWER = {V. V. Gorlov},
},
@article{Pr,
author = {Karel Prikry},
title = {{Changing measurable to accessible cardinals}},
journal = {Rozprawy Matema\-tyczne},
volume = {LXVIII},
year = {1970},
pages = {5-52},
usedin = {cardarith},
},
@article{Ra69,
author = {M.O.Rabin},
title = {{Decidability of second order theories and automata on infinite
trees}},
journal = {Trans. A.M.S.},
volume = {141},
year = {1969},
pages = {1--35},
},
@article{Ra86,
author = {Richard Rado},
title = {{Note on canonical partitions}},
journal = {Bulletin London Mathematical Society},
volume = {18},
year = {1986},
pages = {123--126},
},
@article{RaSt83,
author = {Raisonnier, Jean and Stern, Jacques},
title = {{Mesurabilit\'e et propri\'et\'e de Baire. [Measurability and the
Baire property]}},
journal = {C. R. Acad. Sci. Paris S\'er. I Math.},
volume = {296},
year = {1983},
pages = {323--326},
},
@article{Rin13,
AUTHOR = {Rinot, Assaf},
TITLE = {Transforming rectangles into squares, with applications to
strong colorings},
JOURNAL = {Adv. Math.},
FJOURNAL = {Advances in Mathematics},
VOLUME = {231},
YEAR = {2012},
NUMBER = {2},
PAGES = {1085--1099},
},
@unpublished{VR,
author = {Vojtech Rodl},
title = {{Private communication}},
},
@article{Rt79,
author = {Judy Roitman},
title = {{Adding a random or Cohen real: topological consequences and the
effect on Martin's axiom}},
journal = {Fundamenta Mathematicae},
pages = {47--60},
volume = {103},
year = {1979},
},
@incollection{Rt89,
author = {Judy Roitman},
title = {{Superatomic Boolean algebras}},
booktitle = {{Handbook of Boolean Algebras}},
volume = {3},
note = {Monk, D. and Bonnet, R. eds},
publisher = {North--Holland},
year = {1989},
pages = {719--740},
},
@article {DR85,
author = {Davies, Roy O. and Rosenberg, Ivo G.},
title = {Precomplete classes of operations on an uncountable set},
journal = {Colloquium Mathematicum},
volume = {50},
year = {1985},
number = {1},
pages = {1--12},
issn = {0010-1354},
coden = {CQMAAQ},
mrclass = {08A40 (03B50)},
mrnumber = {87g:08006},
},
@book{Ro84,
author = {H.E. Rose},
title = {Subrecursion: functions and hierarchies},
series = {Oxford Logic Guides},
volume = {9},
publisher = {Oxford University Press},
year = {1984},
},
@article {Ro76,
author = {Rosenberg, I. G.},
title = {The set of maximal closed classes of operations on an infinite
set ${A}$ has cardinality $2^{2^{|\kern-0.1ex A|}}$},
journal = {Arch. Math. (Basel)},
volume = {27},
year = {1976},
number = {6},
pages = {561--568},
mrclass = {08A25},
mrnumber = {55 #2711},
},
@article {Ro74,
author = {Rosenberg, I. G.},
title = {Some maximal closed classes of operations on infinite sets},
journal = {Math. Ann.},
volume = {212},
year = {1974/75},
pages = {157--164},
mrclass = {08A25},
mrnumber = {50 #4452},
},
@article{Ro90,
author = {Andrzej Ros{\l}anowski},
title = {On game ideals},
journal = {Colloquium Mathematicum},
year = {1990},
volume = {LIX},
pages = {159--168},
},
@article{Ro94,
author = {Andrzej Ros{\l}anowski},
title = {Mycielski ideals generated by uncountable systems},
journal = {Colloquium Mathematicum},
year = {1994},
volume = {LXVI},
pages = {187--200},
},
@article{Ro39,
author = {Fritz Rothberger},
title = {{Sur un ensemble toujours de premiere categorie qui est depourvu de
la propri\' et\' e $\lambda$}},
journal = {Fundamenta Mathematicae},
volume = {32},
year = {1939},
pages = {294--300},
},
@article{Ro48,
author = {Fritz Rothberger},
title = {{On some problems of Hausdorff and Sierpi\' nski}},
journal = {Fundamenta Mathematicae},
volume = {35},
year = {1948},
pages = {29--46},
},
@article{Ru98,
author = {Matti Rubin},
},
@article{Ru83,
author = {Rubin, Matatyahu},
title = {{A Boolean algebra with few subalgebras, interval Boolean algebras
and retractiveness}},
journal = {Trans. Amer. Math. Soc.},
volume = {278},
year = {1983},
pages = {65--89},
},
@incollection{Ru89,
author = {Rubin, Matatyahu},
title = {{On the reconstruction of Boolean algebras from their automorphism
groups}},
booktitle = {Handbook of Boolean algebras},
volume = {2},
pages = {547--606},
publisher = {North--Holland},
address = {Amsterdam},
year = {1989},
},
@incollection{RS89,
author = {Rubin, Matatyahu and \v{S}t\v{e}panek, Petr},
title = {{Homogeneous Boolean algebras}},
booktitle = {Handbook of Boolean algebras},
volume = {2},
pages = {679--715},
publisher = {North--Holland},
address = {Amsterdam},
year = {1989},
},
@article{RuKo01,
author = {Rubin, Matatyahu and Koppelberg, Sabine},
title = {{A superatomic Boolean algebra with few automorphisms}},
journal = {{Archive for Mathematical Logic}},
volume = {40},
year = {2001},
pages = {125--129},
},
@article{RF86,
author = {Ariel Rubinstein and Peter Fishburn},
title = {Algebraic aggregation theory},
journal = {J. Econom. Theory},
volume = {38},
year = {1986},
pages = {63--77},
},
@inproceedings{Sar1x,
author = {Peter Sarnak},
title = {{Equidistribution and Primes}},
booktitle = {{Volume in Honor of J.P. Bourguignon}},
volume = {to appear in Societe de Mathematiques de France,
Volume in Honor of J.P. Bourguignon; first version:
Lecture in the 10th anniversary of the Pacific
Institute for Mathemamtical Sciences, Sept 2007},
},
@article {Sau72,
AUTHOR = {Sauer, N.},
TITLE = {On the density of families of sets},
JOURNAL = {J. Combinatorial Theory Ser. A},
FJOURNAL = {Journal of Combinatorial Theory. Series A},
VOLUME = {13},
YEAR = {1972},
PAGES = {145--147},
},
@incollection{Sc1,
author = {Dana Scott},
title = {{Logic with denumerably long formulas and finite strings of
quantifiers}},
booktitle = {{The Theory of Models}},
editor = {J. W. Addison and L.A. Henkin and A. Tarski},
publisher = {North--Holland Publ. Co},
year = {1965},
pages = {329--341},
usedin = {cardarith},
},
@incollection {Sco69,
AUTHOR = {Scott, Dana},
TITLE = {On completing ordered fields},
BOOKTITLE = {Applications of {M}odel {T}heory to {A}lgebra, {A}nalysis, and
{P}robability ({I}nternat. {S}ympos., {P}asadena, {C}alif.,
1967)},
PAGES = {274--278},
PUBLISHER = {Holt},
ADDRESS = {Rinehart and Winston, New York},
YEAR = {1969},
},
@article{Sc,
author = {Dana Scott},
title = {{Measurable cardinals and constructible sets}},
journal = {Bull Pol. Sci. Ser. Math. Aslron. Pys},
volume = {9},
year = {1961},
pages = {521--524},
usedin = {cardarith},
},
@incollection{Sch85,
author={J. Schmerl},
title={{Transfer theorems and their application to logics}},
booktitle={{Model Theoretic Logics}},
publisher={Springer-Verlag},
year=1985,
pages={177--209},
editor={J.Barwise and S.Feferman},
},
@article{Sc74,
author = {J. H. Schmerl},
title = {{Generalizing special Aronszajn trees}},
journal = {Journal of Symbolic Logic},
volume = {39},
year = {1974},
pages = {732--740},
},
@article{Sc76,
author = {Schmerl, James H.},
title = {{On $\kappa $-like structures which embed stationary and closed
unbounded subsets}},
journal = {Annals of Mathematical Logic},
volume = {10},
year = {1976},
pages = {289--314},
},
@phdthesis{Schw72,
author = {Dietmar Schweigert},
title= {Zur Theorie der Verbandspolynome},
school = {Technische Universit{\"a}t Wien},
year = {1972},
},
@article{Sha01,
author = {Shafir, Ofer},
title = {{Two cases when $d_\kappa$ and $d^*_\kappa$ are equal}},
journal = {Fundamenta Mathematicae},
volume = {167},
year = {2001},
pages = {17--21},
},
@article {Sha11,
AUTHOR = {Shami, Ziv},
TITLE = {Countable hypersimple unidimensional theories},
JOURNAL = {J. Lond. Math. Soc. (2)},
FJOURNAL = {Journal of the London Mathematical Society. Second Series},
VOLUME = {83},
YEAR = {2011},
NUMBER = {2},
PAGES = {309--332},
},
@article {Sha15,
AUTHOR = {Shami, Ziv},
TITLE = {A dichotomy for {$D$}-rank 1 types in simple theories},
JOURNAL = {Israel J. Math.},
FJOURNAL = {Israel Journal of Mathematics},
VOLUME = {209},
YEAR = {2015},
NUMBER = {2},
PAGES = {993--1012},
},
@article{ShVi10,
author = {Sharon, Assaf and Viale, Matteo},
title = {{Some consequences of reflection on the approachability ideal}},
journal = {Trans. Amer. Math. Soc.},
volume = {362},
year = {2010},
pages = {4201--4212},
},
@incollection{Sen86,
author = {Amartya Sen},
title = {{Social choice theory}},
chapter = {22},
booktitle = {{Handbook of Mathematical Economics, Vol III}},
publisher = {North--Holland},
address = {Amsterdam},
pages = {1073-1182},
year = {1986},
editor = {Arrow and Intriligator},
},
@article{ShVi10,
author = {Sharon, Assaf and Viale, Matteo},
title = {{Some consequences of reflection on the approachability ideal}},
journal = {Trans. Amer. Math. Soc.},
volume = {362},
year = {2010},
pages = {4201--4212},
},
@article{Sr1,
author = {Wac{\l}aw Sierpi\'nski},
title = {{Sur une decomposition of $d'$ensembles}},
journal = {Monatsh. Math. Physik},
volume = {35},
year = {1928},
pages = {239-242},
usedin = {cardarith},
},
@article{Sr2,
author = {Wac{\l}aw Sierpi\'nski},
title = {{Sur un problem de la theory des relations}},
journal = {Ann. Scuola Norm. Sup. Pisa (2)},
volume = {2},
year = {1953},
pages = {285-287},
usedin = {cardarith},
},
@book{Sr,
author = {Wac{\l}aw Sierpi\'nski},
title = {{Hypothesis du continu}},
publisher = {Monografie Mathematyczne, Warszawa-Lwow},
year = {1934},
usedin = {cardarith},
},
@inproceedings{Si,
author = {Jack Silver},
title = {{On the singular cardinal problem}},
booktitle = {{Proceedings of the International congress of
Mathematicians}},
address = {Vancouver},
year = {1974},
volume = {I},
pages = {265--268},
usedin = {cardarith},
},
@unpublished{Si1,
author = {Jack Silver},
title = {{Reversed Easton iteration and failure of GCH at
supercompacts}},
note = {unpublished notes},
usedin = {cardarith},
},
@article{Si2,
author = {Jack Silver},
title = {{Counting the Number of Equivalence Classes of Borel and
Coanalytic Equivalence Relations}},
journal = {Annals of Mathematical Logic},
volume = {18},
pages = {1--28},
year = {1980},
usedin = {532},
},
@article{Si70,
author = {Jack Silver},
title = {{A large cardinal in the constructible universe}},
journal = {Fundamenta Mathematicae},
volume = {69},
year = {1970},
pages = {93--100},
},
@inproceedings{Si67,
author = {Jack Silver},
title = {{The independence of Kurepa's conjecture and two--cardinal
conjectures in model theory}},
booktitle = {{Axiomatic Set Theory}},
series = {Proc. Symp in Pure Math.},
volume = {XIII},
year = {1967},
pages = {383--390},
usedin = {pif},
},
@article{Si71,
author = {Jack Silver},
title = {{Some applications of model theory in set theory}},
journal = {Annals of Mathematical Logic},
volume = {3},
year = {1971},
pages = {45--110},
},
@article{Si96,
author = {Petr Simon (CZ-KARL)},
title = {A note on almost disjoint refinement. (English summary)},
journal = {Acta. Univ. Carolin. Math. Phys.},
note = {24th Winter School on Abstract Analysis (Bene\v sova Hora, 1996)},
volume = {37},
year = {1996},
pages = {88--99},
},
@article{So96,
author = {S{\l}awomir Solecki},
title = {{Analytic ideals}},
journal = {Bulletin of Symbolic Logic},
volume = {2},
year = {1996},
pages = {339--348},
},
@article{So98,
author = {S{\l}awomir Solecki},
title = {{Analytic ideals and their applications}},
journal = {Annals of Pure and Applied Logic},
volume = {99},
year = {1999},
pages = {51--72},
},
@inproceedings{So99,
author = {Solecki, S{\l}awomir},
title = {{Polish group topologies}},
booktitle = {{Sets and proofs (Leeds, 1997)}},
pages = {339--364},
series = {London Math. Soc. Lecture Note Ser.},
volume = {258},
publisher = {Cambridge Univ. Press},
address = {Cambridge},
year = {1999},
}
@inproceedings{So1,
author = {Robert M. Solovay},
title = {{Strongly compact cardinals and the GCH}},
booktitle = {{Proc. of the Symp. in honor of Tarksi's seventieth birthday in Berkeley 1971}},
editor = {Leon Henkin},
series = {Proc. Symp in Pure Math.},
volume = {XXV},
year = {1974},
pages = {365--372},
usedin = {cardarith},
},
@inproceedings{So2,
author = {Robert M. Solovay},
title = {{Real valued measurable cardinals}},
booktitle = {{Axiomatic set theory}},
series = {Proc. of Symposia in Pure Math.},
volume = {XIII, Part 1},
publisher = {A.M.S.},
address = {Providence R.I},
year = {1971},
pages = {397-428},
usedin = {cardarith},
},
@incollection{So,
author = {Robert M. Solovay},
title = {{$2^{\aleph_0}$ can be anything it ought to be}},
booktitle = {{The Theory of Models}},
editor = {J. W. Addison and L.A. Henkin and A. Tarski},
publisher = {North--Holland Publ. Co},
year = {1965},
pages = {435},
usedin = {cardarith},
},
@article{So70,
author = {Robert M. Solovay},
title = {{A model of set theory in which every set of reals is
Lebesgue measurable}},
journal = {Annals of Math.},
volume = 92,
year = 1970,
pages = {1-56},
},
@incollection{So74,
author = {Robert M. Solovay},
title = {{Strongly compact cardinals and the GCH}},
booktitle = {{Proceedings of the Tarski Symposium, Berkeley 1971}},
series = {{Proceedings of Symposia in Pure Mathematics}},
publisher = {A.M.S.},
volume = {25},
year = {1974},
pages = {365--372},
},
@article{ST,
author = {Robert M. Solovay and S. Tennenbaum},
title = {{Iterated Cohen extensions and Souslin's problem}},
journal = {Annals of Math. },
volume = 94,
year = 1971,
pages = {201-245},
},
@article{Sp,
author = {Joel Spencer},
title = {Survey/expository paper: zero one laws with variable probabilities},
journal = {{Journal of Symbolic Logic}},
volume = {58},
year = {1993},
pages = {1--14},
},
@article{Sou13,
author = {L. Soukup},
title = {Essentially disjoint families, conflict free colorings and
Shelah's Revised GCH},
journal = {Acta Mathematica Hungarica},
year = {2013},
arXiv = {1207.1971},
},
@book {Spe01,
AUTHOR = {Spencer, Joel},
TITLE = {The strange logic of random graphs},
SERIES = {Algorithms and Combinatorics},
VOLUME = {22},
PUBLISHER = {Springer-Verlag, Berlin},
YEAR = {2001},
PAGES = {x+168},
},
@book{Sp87,
author = {Spencer, Joel},
title = {{Ten lectures on the probabilistic method}},
series = {CBMS-NSF Regional Conference Series in Applied Mathematics},
volume = {52},
publisher = {Society for Industrial and Applied Mathematics (SIAM)},
address = {Philadelphia, PA},
year = {1987}
},
@article{Sp95,
author = {Spinas, Otmar},
title = {Generic trees},
journal ={Journal of Symbolic Logic},
volume ={60},
year = {1995},
pages = {705--726},
},
@article{BHS95,
author = {Brendle, J\"org and Hjorth, Greg and Spinas, Otmar},
title = {Regularity properties for dominating projective sets},
journal = {Annals of Pure and Applied Logic},
volume ={72},
year = {1995},
pages = {291--307},
},
@article{Sp94,
author = {Spinas, Otmar},
title = {Dominating projective sets in the Baire space},
journal ={Annals of Pure and Applied Logic},
volume = {68},
year = {1994},
pages = {327--342},
},
@article{StVW,
author = {Steel, John and van Wesep, Robert},
title = {{Two consequences of determinacy consistent with choice}},
journal = tams,
volume = 272,
year = 1982,
pages = {67--85},
},
@incollection{Ste85,
AUTHOR = {Steinhorn, Charles},
TITLE = {Borel structures for first-order and extended logics},
BOOKTITLE = {Harvey {F}riedman's research on the foundations of
mathematics},
SERIES = {Stud. Logic Found. Math.},
VOLUME = {117},
PAGES = {161--178},
PUBLISHER = {North-Holland},
ADDRESS = {Amsterdam},
YEAR = {1985},
},
@article{SK,
author = {Charles L. Steinhorn and James H. King},
title = {{The uniformization property for $ \aleph_2 $}},
journal = {Israel J. Math.},
volume = 36,
year = 1980,
pages = {248-256},
},
@article{SW87,
author = {Juris Stepr\=ans and Stephen W. Watson},
title = {{Homeomorphisms of manifolds with prescribed behaviour on large
dense sets}},
journal = {Bull. London Math. Soc.},
volume = {19},
year = {1987},
pages = {305--310},
},
@article{Ste59,
author = {Stearns, Richard},
title = {{The voting problem}},
journal = {American Mathematical Monthly},
volume = {66},
year = {1959},
pages = {761--763},
},
@article{St85,
author = {Jacques Stern},
title = {Regularity properties of definable sets of reals},
journal = {Annals of Pure and Applied Logic},
volume = {29},
year = {1985},
pages = {289--324},
},
@article{Str76,
author = {Jacques Stern},
title = {{Some applications of model theory in Banach space theory}},
journal ={Annals of Mathematical Logic},
volume = {9},
year = {1976},
pages = {49--121},
},
@article{Str02,
author = {Lutz Str\"ungmann},
title = {{On problems by Baer and Kulikov using $V=L$}},
journal = {Illinois Journal of Mathematics},
volume = {46},
year = {2002},
pages = {1--14},
},
@article{Szb99,
author = {Szab\'o, L\'aszl\'o},
title = {Algebras that are simple with weak automorphisms},
journal = {Algebra Universalis},
volume = {42},
year = {1999},
pages = {205--233},
},
@incollection{Szn96,
author = {Szendrei, \'Agnes},
title = {Clones in universal algebra},
series = {S\'eminaire de Math\'ematiques Sup\'erieures [Seminar on
Higher Mathematics]},
volume = {99},
publisher = {Presses de l'Universiti de Montrial},
address = {Montreal, QC},
year = {1986},
},
@inproceedings{Szm48,
author = {Szmielew, W.},
title = {Decision problem in group theory},
booktitle = {Proceedings of the tenth international Congress of Philosophy},
series = {Library of the Tenth International Congress of Philosophy},
publisher = {North-Holland},
address = {Amsterdam},
volume = {1},
year = {1949},
pages = {763--766},
},
@article{Szm55,
author = {Szmielew, W.},
title = {Elementary properties of Abelian groups},
journal = {Fund. Math.},
volume = {41},
pages = {203--271},
year = {1955}
},
@article{Sz,
author = {Andrzej Szyma\'nski},
title = {On the measurability problem for category bases},
journal = {Real Analysis Exchange},
volume = {17},
year = {1991/92},
pages = {85--92},
},
@article{DS,
author = {Detlefsen, M. E. and Szyma\'nski, A.},
title = {Category bases},
journal = {International Journal of Mathematics and Mathematical
Sciences},
volume = {16},
year = {1993},
pages = {531--538},
},
@book {Sz86,
author = {Szendrei, {\'A}gnes},
title = {Clones in universal algebra},
publisher = {Presses de l'Universit\'e de Montr\'eal},
address = {Montreal, Que.},
year = {1986},
pages = {166},
isbn = {2-7606-0770-4},
mrclass = {08A40 (03B50 03C05 08A30 94C10)},
mrnumber = {87m:08005},
},
@unpublished{T,
author = {F. Tall},
title = {{On Martin Axiom for $\aleph_1$-complete forcing}},
journal = {where??},
note = {{ch 8}},
},
@article{Ta,
author = {Alfred Tarski},
title = {{Sur la decomposition des ensembles en sous-ensembles presque disjoint}},
journal = {Fund. Math.},
volume = {12},
year = {1928},
pages = {188-205},
usedin = {cardarith},
},
@article{Ta1,
author = {Alfred Tarski},
title = {{Quelques th\'eor\`emes sur les alephs}},
journal = {Fund. Math.},
volume = {7},
year = {1925},
pages = {1--14},
usedin = {cardarith},
},
@article{Th96,
author = {Thomas, Simon},
title = {{The cofinalities of the infinite-dimensional classical groups}},
journal = {J. Algebra},
volume ={179},
year = {1996},
pages = {704--719},
},
@article{Th85,
author = {Thomas, Simon},
title = {{The automorphism tower problem}},
journal = {Proceedings of the American Mathematical Society},
volume ={95},
year = {1985},
pages = {166--168},
},
@article{Th98,
author = {Thomas, Simon},
title = {{The automorphism tower problem II}},
journal = {Israel Journal of Mathematics},
volume ={103},
year = {1998},
pages = {93--109},
},
@article{Th98a,
author = {Thomas, Simon},
title = {{Groupwise density and the confinality of the infinite symmetric
group}},
journal = {Arch. Math. Logic},
volume = {37},
year = {1998},
pages = {483--493},
},
@article{Tho1x,
author = {Thomas, Simon},
title = {{On the Number of Universal Sofic Groups}},
journal = {Proceedings of the American Mathematical Society},
volume = {accepted},
},
@article{ST94,
author = {James D. Sharp and Simon Thomas},
title = {{Uniformization problems and the cofinality of the infinite
symmetric group}},
journal ={Notre Dame J. Formal Logic},
volume ={35},
year = {1994},
pages = {328--345},
},
@article{ST95,
author = {James D. Sharp and Simon Thomas},
title = {{Unbounded families and the cofinality of the infinite symmetric
group}},
journal = {Arch. Math. Logic},
volume = {34},
year = {1995},
pages = {33--45},
},
@article{Th85a,
author = {Simon Thomas},
title = {Complete existentially closed locally finite groups},
journal = {Arch. Math.},
volume = {44},
year = {1985},
pages = {97--109},
},
@article{Th86,
author = {Simon Thomas},
title = {Complete universal loclly finite groups of large cardinality},
booktitle = {Logic Colloquium '84 (Manchester, 1984)},
editor = {},
series = {Stud. Logic Foundations Math},
volume = {},
publisher = {North-Holland},
address = {Amsterdam},
year = {1986},
pages = {277--301},
},
@article{To1,
author = {Stevo Todor\v{c}evi\'{c}},
title = {{Remarks on Cellularity in Products}},
journal = {Compositio Math.},
volume = {57},
year = {1986},
pages = {357-372},
usedin = {cardarith},
},
@article{To2,
author = {Stevo Todor\v{c}evi\'{c}},
title = {{Partitioning Pairs of Countable Ordinals}},
journal = {Acta Math.},
volume = {159},
year = {1987},
pages = {261-294},
usedin = {cardarith},
},
@article{To,
author = {Stevo Todor\v{c}evi\'{c}},
title = {{Remarks on Chain Conditions in Products}},
journal = {Compositio Math.},
volume = {5},
year = {1985},
pages = {295-302},
usedin = {cardarith},
},
@book{To93,
author = {Stevo Todor\v{c}evi\'{c}},
title = {{Partition problems in Topology}},
series = {Contemporary Mathematics},
volume = {84},
publisher = {American Mathematical Society, Providence, RI},
year = {1989},
},
@book{To89,
author = {Stevo Todor\v{c}evi\'{c}},
title = {{Partition problems in Topology}},
series = {Contemporary Mathematics},
volume = {84},
publisher = {American Mathematical Society, Providence, RI},
year = {1989},
},
@article{ToVe87,
author = {Todor\v{c}evi\'{c}, Stevo and Veli\v{c}kovi\'{c}, Boban},
title = {{Martin's axiom and partitions}},
journal = {Compositio Mathematica},
volume = {63},
year = {1987},
pages = {391--408},
},
@article{Tr,
author = {Jan Tryba},
title = {{On Jonsson Cardinals with uncountable cofinality}},
journal = {Israel J. Math.},
volume = {49},
year = {1984},
pages = {315-324},
usedin = {cardarith},
},
@phdthesis{Tur90,
author = {Heikki Tuuri},
title = {{Infinitary languages and Ehrenfeuch-Fraisse-games}},
school = {University of Helsinki},
note = {Advisor: Jouko Vaananen},
year = {1990},
},
@article{Ury27,
author = {Pavel S. Urysohn},
title = {Sur un espace m\'etrique universel},
journal = {Bull. Sci. Math},
volume = {51},
year = {1927},
pages = {43--64 and 74--49},
},
@article{Us0x,
author = {Usvyatsov, Alex},
title = {{Logic of metric spaces and Hausdorff CATs}},
journal = {In preparation},
},
@book{Va9x,
author = {Jouko Vaananen},
title = {Games and Models},
publisher = {In preparation},
},
@incollection{Va95,
author = {Jouko Vaananen},
title = {{Games and trees in infinitary logic: A survey}},
editor = {M. Krynicki, M. Mostowski and L. Szczerba},
booktitle = {{Quantifiers}},
publisher = {Kluwer},
pages = {105-138},
year = {1995},
},
@phdthesis{Va02,
author = {Monica M. VanDieren},
title = {{Categoricity and Stability in Abstract Elementary Classes}},
school = {Carnegie Melon University},
address = {Pittsburgh, PA},
year = {2002},
},
@article{Va03y,
author = {Monica VanDieren},
title = {{Categoricity in Abstract Elementary Classes with No Maximal
Models}},
journal = {submitted},
year = {},
volume = {},
pages = {},
},
@article {VC71,
AUTHOR = {Vapnik, V. N. and \v Cervonenkis, A. Ja.},
TITLE = {The uniform convergence of frequencies of the appearance of
events to their probabilities},
JOURNAL = {Teor. Verojatnost. i Primenen.},
FJOURNAL = {Akademija Nauk SSSR. Teorija Verojatnoste\u\i i ee Primenenija},
VOLUME = {16},
YEAR = {1971},
PAGES = {264--279},
},
@incollection{Vag90,
author = {J. Vaughan},
title = {{Small uncountable cardinals and topology}},
editor = {J. van Mill and G. Reed},
booktitle = {{Open problems in topology}},
publisher = {North-Holland},
pages = {195--218},
year = {1990},
},
@article{Var,
author = {Vardi, Moshe},
title = {{Complexity of relational query languages}},
journal = {14th. Symp. on Theory of Comp, ACM},
year = {1982},
pages = {137--146},
},
@article{Ve86,
author = {Boban Veli{\v c}kovi\'c},
title = {{Definable automorphisms of $P(\omega)/{\it fin}$}},
journal = PAMS,
volume = 96,
year = 1986,
pages = {130--135},
},
@inproceedings{Ve92,
author = {Boban Veli{\v c}kovi\'c},
title = {{Applications of the open coloring axiom}},
booktitle = {{Set Theory of the Continuum (Berkeley, CA, 1989)}},
editor = {H. Judah and W. Just and H. Woodin},
pages = {137--154},
series = {Mathematical Sciences Research Institute Publications},
volume = {26},
publisher = {Springer Verlag},
year = {1992},
},
@article{Ve92a,
author = {Boban Veli{\v c}kovi\'c},
title = {{Forcing axioms and stationary sets}},
journal = {Advances in Mathematics},
volume = {94},
year = {1992},
pages = {256--284},
},
@article{Ve93,
author = {Boban Veli{\v c}kovi\'c},
title = {{OCA and automorphisms of $P(\omega/{\it fin})$}},
journal = {Topology and Applications},
volume = 49,
year = 1993,
pages = {1--13},
},
@article {Ve09,
AUTHOR = {Veli{\v{c}}kovi{\'c}, Boban},
TITLE = {Maharam algebras},
JOURNAL = {Ann. Pure Appl. Logic},
FJOURNAL = {Annals of Pure and Applied Logic},
VOLUME = {158},
YEAR = {2009},
NUMBER = {3},
PAGES = {190--202},
},
@incollection{Va65,
author = {R. L. Vaught},
title = {{A L\"owenheim-Skolem theorem for cardinals far apart}},
booktitle = {{The Theory of Models}},
editor = {J.~V. Addison and L.~A. Henkin and A. Tarski},
publisher = {North--Holland Publishing Company},
year = {1965},
pages = {81--89},
},
@incollection{WT07,
author = {Agatha Walczak--Typke},
title = {A Model-theoretic Approach to Structures in Set Theory without the
Axiom of Choice},
booktitle = {Algebra, Logic, Set Theory: Festschrift fur Ulrich Felgner zum
65 Geburtstag},
series = {Studies in Logic. College Publications at Kings College London.},
volume = {},
publisher = {},
address = {},
year = {to appear},
pages = {},
editor = {B. Loewe},
},
@article{WT05,
author = {Agatha Walczak--Typke},
title = {{The first-order structure of weakly Dedekind-finite sets}},
journal ={Journal of Symbolic Logic},
volume = {70},
year = {2005},
pages = {1161--1170},
},
@incollection{Wa90,
author = {Stephen W. Watson},
title = {{Problems I wish I could solve}},
booktitle = {{Open problems in topology}},
editor = {J.~van Mill and G.~M.~Reed},
publisher = {North--Holland},
year = {1990},
pages = {37--76},
},
@article{Wel39,
author = {H. Wielandt},
title = {{Eine Verallgemeinerung der invarianten Untergruppen}},
journal = {Math. Z.},
volume = {45},
year = {1939},
pages = {209--244},
},
@article{Wi,
author = {Edward L. Wimmers},
journal = {Israel Journal of Mathematics},
year = {1982},
volume = {43},
title = {{The Shelah $P$-point independence theorem}},
pages = {28--48},
pif = {Wimmer or wimmers? See C-list},
},
@incollection{Wl84,
author = {Scott W. Williams},
booktitle = {{Handbook of Set--Theoretic Topology}},
publisher = {Elsevier Science Publishers},
address = {Amsterdam},
title = {{Box Products}},
year = {1984},
pages = {169--200},
editor = {K.~Kunen and J.~E.~Vaughan},
},
@article{Wd72,
author = {Wood, Carol},
title = {Forcing for infinitary languages},
journal = {Z. Math. Logik Grundlagen Math.},
volume = {18},
year = {1972},
pages = {385--402},
},
@Unpublished{Wo,
author = "Hugh Woodin",
title = "{It is consistent that $ 2^{\aleph_\alpha } =
\aleph_ { \alpha +2 }$ for every $\alpha $}",
note = "in preparation"
},
@book{Woxx,
author = {Hugh Woodin},
title = {{The Axiom of Determinacy, Forcing Axioms and the Nonstationary Ideal}},
publisher = {De Gruyter},
series = {de Gruyter Series in Logic and its Applications},
volume = {1},
year = {in press},
},
@InCollection{W83,
author = "Hugh Woodin",
title = "{Some consistency results in ZF using AD}",
booktitle = "Cabal Seminar",
year = 1983,
volume = 1019,
series = "Lecture Notes in Mathematics",
pages = "172--199"
},
@unpublished{Wo99,
author = "Hugh Woodin",
title = "{Lecture at the Hajnal Conference, Budapest}",
year = "1999",
},
@article{Wd00,
author = {Hugh Woodin},
title = {{The Continuum Hypothesis, Part I}},
journal = {Notices of the American Mathematical Society},
volume = {48},
pages = {567--576},
year = {2001},
},
@phdthesis{Za,
author = {Jindrich Zapletal},
title = {Some Results in Set Theory and Boolean Algebras},
school = {Penn State University},
year = {1995},
},
@article{Za0x,
author = {Jindrich Zapletal},
title = {Determinacy and cardinal invariants},
journal = {Preprint},
year = {2001},
},
@article{Za04,
author = {Zapletal, Jind{\v r}ich},
title = {{Descriptive set theory and definable forcing}},
journal = {Memoirs of the American Mathematical Society},
year = {2004},
volume = {167},
number = {793},
pages = {viii+141},
},
@article{FaZa04x,
author = {Farah, Ilijas and Zapletal, Jind{\v r}ich},
title = {{Between Maharam's and von Neumann's problems}},
journal = {preprint},
note = {math.LO/0401134},
},
@book {Zil93,
AUTHOR = {Zilber, Boris},
TITLE = {Uncountably categorical theories},
SERIES = {Translations of Mathematical Monographs},
VOLUME = {117},
NOTE = {Translated from the Russian by D. Louvish},
PUBLISHER = {American Mathematical Society},
ADDRESS = {Providence, RI},
YEAR = {1993},
PAGES = {vi+122},
},
@unpublished{Zi0xa,
author = " Zilber, B.I." ,
year = " 2000" ,
title = " Dimensions and homogeneity in mathematical structures",
note= {preprint}
},
@unpublished{Zi0xb,
author = " Zilber, B.I." ,
year = " 2002" ,
title = " A categoricity theorem for quasiminimal excellent classes",
note= {preprint}
},
@unpublished{Zilber,
author = " Zilber, B.I." ,
year = " 2001" ,
title = " Analytic and pseudo-analytic structures",
note= {preprint}
},
@incollection {Zi,
AUTHOR = {{\v{Z}}itomirski{\u\i}, G. I.},
TITLE = {The lattice of all congruence relations on a semilattice},
BOOKTITLE = {Ordered sets and lattices, No. 1 (Russian)},
PAGES = {11--21},
PUBLISHER = {Izdat. Saratov. Univ.},
ADDRESS = {Saratov},
YEAR = {1971},
MRCLASS = {06A20},
MRNUMBER = {51 #12642},
MRREVR = {S. P. Bandyopadhyay},
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@incollection{AP,
author = {Shelah, Saharon},
title = {{Appendix}},
publisher = {{Oxford University Press}},
booktitle = {{Cardinal Arithmetic}},
year = {1994},
usedin = {cardarith},
},
@incollection{AG,
author = {Shelah, Saharon},
title = {{Analytical Guide}},
booktitle = {{Cardinal Arithmetic}},
publisher = {{Oxford University Press}},
year = {1994},
usedin = {cardarith},
},
@unpublished{Sh:-E9,
author = {Shelah, S.},
title = {{Remarks on $\aleph_1$-metrizable not metrizable first countable spaces and CWH}},
usedin = {cardarith},
},
@unpublished{Sh:-F50,
author = {Shelah, S.},
title = {{Negative partition relations and pcf}},
usedin = {cardarith},
},
@incollection{Sh:-g7,
author = {Shelah, Saharon },
fromwhere = {IL},
publisher = {{Oxford University Press}},
title = {{Strong Covering Lemma and CH in $V[r]$}},
booktitle = {{Cardinal Arithmetic}},
chapter = {VII},
year = {1994},
done = {7.1986},
usedin = {cardarith},
},
@book{Sh:-b,
review = {MR 84h:03002},
author = {Shelah, Saharon },
fromwhere = {IL},
year = {1982},
volume = {940},
classif = {03-02, 03-, 03},
publisher = {{Springer-Verlag, Berlin-New York, xxix+496 pp}},
series = {{Lecture Notes in Mathematics}},
title = {{Proper Forcing}},
},
@unpublished{FOM,
author = {Stephen G. Simpson (moderator)},
title = {{E-mail list for discussing Foundations of Mathematics}},
note = {{\tt http://www.math.psu.edu/simpson/fom/}},
},
@article{RoSz,
author = {Ivo Rosenberg and I. Szabo},
title = {Local completeness {I}},
journal = {Algebra Universalis},
volume = 18,
year = 1984,
pages = {308--326},
},
@article{Va90,
AUTHOR = {Vaughan, Jerry E.},
TITLE = {Small uncountable cardinals and topology},
BOOKTITLE = {Open problems in topology},
PAGES = {195--218},
NOTE = {With an appendix by S. Shelah},
PUBLISHER = {North--Holland},
ADDRESS = {Amsterdam},
YEAR = {1990},
MRCLASS = {54-02},
MRNUMBER = {1 078 647},
},
@book {Van11,
AUTHOR = {V{\"a}{\"a}n{\"a}nen, Jouko},
TITLE = {Models and games},
SERIES = {Cambridge Studies in Advanced Mathematics},
VOLUME = {132},
PUBLISHER = {Cambridge University Press},
ADDRESS = {Cambridge},
YEAR = {2011},
PAGES = {xii+367},
},
@article {Wil96,
AUTHOR = {Wilkie, A. J.},
TITLE = {Model completeness results for expansions of the ordered field
of real numbers by restricted {P}faffian functions and the
exponential function},
JOURNAL = {J. Amer. Math. Soc.},
FJOURNAL = {Journal of the American Mathematical Society},
VOLUME = {9},
YEAR = {1996},
NUMBER = {4},
PAGES = {1051--1094},
},
@incollection{Zitomirski-1971,
AUTHOR = {{\v{Z}}itomirski{\u\i}, G. I.}},
TITLE = {The lattice of all congruence relations on a semilattice},
BOOKTITLE = {Ordered sets and lattices, {N}o. 1 ({R}ussian)},
PAGES = {11--21},
PUBLISHER = {Izdat. Saratov. Univ.},
ADDRESS = {Saratov},
YEAR = {1971},
MRCLASS = {06A20},
MRNUMBER = {MR0376467 (51 \#12642)},
MRREVIEWER = {S. P. Bandyopadhyay},
},
@book {Szendrei-1986,
AUTHOR = {Szendrei, {\'A}gnes},
TITLE = {Clones in universal algebra},
SERIES = {S\'eminaire de Math\'ematiques Sup\'erieures [Seminar on
Higher Mathematics]},
VOLUME = {99},
PUBLISHER = {Presses de l'Universit\'e de Montr\'eal},
ADDRESS = {Montreal, QC},
YEAR = {1986},
PAGES = {166},
ISBN = {2-7606-0770-4},
MRCLASS = {08A40 (03B50 03C05 08A30 94C10)},
MRNUMBER = {MR859550 (87m:08005)},
MRREVIEWER = {Joel Berman},
},
@book {PK-1979,
AUTHOR = {P{\"o}schel, R. and Kalu{\v{z}}nin, L. A.},
TITLE = {Funktionen- und {R}elationenalgebren},
SERIES = {Mathematische Monographien [Mathematical Monographs]},
VOLUME = {15},
NOTE = {Ein Kapitel der diskreten Mathematik. [A chapter in discrete
mathematics]},
PUBLISHER = {VEB Deutscher Verlag der Wissenschaften},
ADDRESS = {Berlin},
YEAR = {1979},
PAGES = {259},
MRCLASS = {03G20 (94C10)},
MRNUMBER = {MR543839 (81f:03075)},
MRREVIEWER = {V. V. Gorlov},
},
@article {Pixley-1971,
AUTHOR = {Pixley, Alden F.},
TITLE = {The ternary discriminator function in universal algebra},
JOURNAL = {Math. Ann.},
FJOURNAL = {Mathematische Annalen},
VOLUME = {191},
YEAR = {1971},
PAGES = {167--180},
ISSN = {0025-5831},
MRCLASS = {08A25},
MRNUMBER = {MR0292738 (45 \#1820)},
MRREVIEWER = {A. Yaqub},
},
@incollection {Pixley-1982,
AUTHOR = {Pixley, A. F.},
TITLE = {A survey of interpolation in universal algebra},
BOOKTITLE = {Universal algebra ({E}sztergom, 1977)},
SERIES = {Colloq. Math. Soc. J\'anos Bolyai},
VOLUME = {29},
PAGES = {583--607},
PUBLISHER = {North-Holland},
ADDRESS = {Amsterdam},
YEAR = {1982},
MRCLASS = {08A40},
MRNUMBER = {MR660895 (83j:08006)},
MRREVIEWER = {W. Taylor},
},
@article {RS-1984,
AUTHOR = {Rosenberg, I. G. and Szab{\'o}, L.},
TITLE = {Local completeness. {I}},
JOURNAL = {Algebra Universalis},
FJOURNAL = {Algebra Universalis},
VOLUME = {18},
YEAR = {1984},
NUMBER = {3},
PAGES = {308--326},
ISSN = {0002-5240},
CODEN = {AGUVA3},
MRCLASS = {08A40},
MRNUMBER = {MR745495 (85j:08011)},
MRREVIEWER = {E. W. Kiss},
},
@article {Marchenkov-1981,
AUTHOR = {Marchenkov, S. S.},
TITLE = {Cardinality of the set of precomplete classes in certain
classes of functions of countably valued logic},
JOURNAL = {Problemy Kibernet.},
FJOURNAL = {Problemy Kibernetiki},
NUMBER = {38},
YEAR = {1981},
PAGES = {109--116, 272},
MRCLASS = {03B50},
MRNUMBER = {MR640856 (83m:03032)},
MRREVIEWER = {V. B. Alekseev},
},
@article {FN-1973,
AUTHOR = {Freese, Ralph and Nation, J. B.},
TITLE = {Congruence lattices of semilattices},
JOURNAL = {Pacific J. Math.},
FJOURNAL = {Pacific Journal of Mathematics},
VOLUME = {49},
YEAR = {1973},
PAGES = {51--58},
ISSN = {0030-8730},
MRCLASS = {06A20},
MRNUMBER = {MR0332590 (48 \#10916)},
MRREVIEWER = {E. T. Schmidt},
},
@article {Hr96,
AUTHOR = {Hrushovski, Ehud},
TITLE = {The {M}ordell-{L}ang conjecture for function fields},
JOURNAL = {J. Amer. Math. Soc.},
FJOURNAL = {Journal of the American Mathematical Society},
VOLUME = {9},
YEAR = {1996},
NUMBER = {3},
PAGES = {667--690},
ISSN = {0894-0347},
MRCLASS = {11U09 (03C60 11G10 14G99)},
MRNUMBER = {MR1333294 (97h:11154)},
MRREVIEWER = {Anand Pillay},
DOI = {10.1090/S0894-0347-96-00202-0},
URL = {http://dx.doi.org/10.1090/S0894-0347-96-00202-0},
}
@article{BBFM-17,
AUTHOR = {J\"org Brendle and Andrew Brooke-Taylor and Sy-David Friedman and Diana Montoya},
TITLE = {{C}icho\'n’s {D}iagram for uncountable cardinals},
JOURNAL = {in preparation},
}