%%% 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








@string{fm = "Fundamenta Mathematicae"}
@string{bams = "Bulletin of the AMS"}
@string{tams = "Transactions of the AMS"}
@string{pams = "Proceedings of the AMS"}

@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{Ab,
author = {Uri Abraham},
title = {{Lectures on proper forcing}},
booktitle = {Handbook of Set Theory},
editor = {A. Kanamori, M. Foreman and M. Magidor},
publisher = {},
year = {},
pages = {},
},

@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 = {in press},
},

@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},
},		  
	  
@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{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 = {to appear},
series = {},
year = {200x},
},

@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{BlShi,
author = {Baldwin, John T. and Shi, Niandong},
title = {{Stable Generic Structures}},
year = {1993},
note = {submitted},
},

@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{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{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},
},

@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 Bartoszynski}, 
title  = {A note on duality between measure and category}, 
journal = {Proceedings of the American Mathematical \item The numbers of Normal Measures, (with S. Friedman) to appear
in the Journal of Symbolic Logic. (18 pps).Society},
volume = {128},
year = {2000},
pages = {2745--2748},
eprint = {math.LO/9904067},
},

@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}},
volume = {1},
pages = {491--556},
booktitle = {{Handbook of Set Theory}},
publisher = {Springer},
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},
},

@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{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,
},

@article{Br96,
author =  {J\"org 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},
},

@incollection {Br02,
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.},
adress = {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},
},

@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{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{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{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{ChaHar,
author = {Chandra, Ashok and Harel, David},
title= {{Structure and Complexity of Rational 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{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},
},

@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},
},

@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{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},
},


@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},
},

@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{Ek1,
author = {Paul C. Eklof},
title = {{On singular compactness}},
journal = {preprint},
volume = {},
year = {},
pages =  {},
},

@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,
  se = {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 = {},
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 = {preprint},
year = {2006},
},

@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{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},
},

@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},
},		  

@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 = {Ronald Fagin},
title = {{Probabilities in finite models}}, 
journal = {Journal of Symbolic Logic},
volume = {45},
year = {1976},
pages = {129--141},
},

@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{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},
},
  
@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{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"
},

@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},
},

@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{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{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{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}, 
serioes = {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{GoMa90,
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 = {{Willey -- Interscience Series in Discrete Mathematics}},
year = {1990},
publisher = {Willey, New York},
note = {2nd edition},
usedin = {},
},

@book{GRS80,
author = {Ronald Graham and Bruce L. Rothschild and Joel Spencer},
title = {{Ramsey Theory}},
series = {{Willey -- Interscience Series in Discrete Mathematics}},
year = {1980},
publisher = {Willey, 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}}, 
editors = {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{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{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{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},
},

@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{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},
},

@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{Ho81,
author = {Wilfrid Hodges},
title = {{For singular $\lambda$, $\lambda$-free, implies free.}},
journal = {Algebra Universalis},
volume = {12},
year = {1981},
pages = {205--220},
},

@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},
},

@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{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},
itle = {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 = {in press},
},

@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},
},

@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{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},
},

@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}}, 
journa = {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},
},

@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},
},

@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 = {Annals of Mathematical 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{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{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{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 = {in preparation},
volume = {},
year = {},
pages = {},
}, 

@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{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{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{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{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},
},

@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},
review = {MR 93f:05091},
ams-subject = {05C80},
ams-subject-secondary = {03B10, 03C13},
},

@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{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. Maclain},
title = {{A proof of the subgcoup theorem for the products}},
journal = {Mathematika},
volume = {5},
year = {1958},
pages = {13--19},
},

@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{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}},
},

@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},
},

@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{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},
},

@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{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},
},

@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}, 
},

@book{Ox,
author = {John C. Oxtoby},
title = {Measure and Category},
series = {Graduate Texts in Mathematics},
volume ={2},
publisher = {Springer},
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{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},
address = {The Clarendon Press, Oxford University Press, New York},
},


@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{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{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 = {149},
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},
},

@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}, 
paghes = {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},
},

@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},
},

@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},
}, 

@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{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},
},

@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},
},

@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},
}

@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{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 = {},
},

@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},
},

@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},
},

@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},
},

@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},
},
@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},
}