Proper and Improper Forcing

[1]  S. Shelah.  Further cardinal arithmetic , 1996, math/9610226.

[2]  James E. Baumgartner,et al.  Ultrafilters on ω , 1995, Journal of Symbolic Logic.

[3]  Haim Judah,et al.  No random reals in countable support iterations , 1995 .

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

[5]  S. Shelah,et al.  Hereditarily separable groups and monochromatic uniformization , 1994, math/0406552.

[6]  S. Shelah,et al.  Somewhere trivial automorphisms , 1993, math/9308214.

[7]  B. Velickovic.  OCA and automorphisms of P(ω) ⧸ fin , 1993 .

[8]  Saharon Shelah,et al.  Pointwise compact and stable sets of measurable functions , 1992, Journal of Symbolic Logic.

[9]  Robert E. Woodrow,et al.  Finite and Infinite Combinatorics in Sets and Logic , 1993 .

[10]  Saharon Shelah,et al.  A Delta22 Well-Order of the Reals and Incompactness of L(QMM) , 1993, Ann. Pure Appl. Log..

[11]  S. Shelah,et al.  Uniformization and the diversity of Whitehead groups , 1992, math/9204219.

[12]  S. Shelah.  Cardinal arithmetic for skeptics , 1992, math/9201251.

[13]  S. Shelah,et al.  Linear liftings for non-complete probability spaces , 1992 .

[14]  Saharon Shelah,et al.  Reflecting stationary sets and successors of singular cardinals , 1991, Arch. Math. Log..

[15]  Saharon Shelah,et al.  The Borel Conjecture , 1990, Ann. Pure Appl. Log..

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

[17]  Saharon Shelah,et al.  The Kunen-Miller chart (Lebesgue measure, the Baire property, Laver reals and preservation theorems for forcing) , 1990, Journal of Symbolic Logic.

[18]  Paul C. Eklof.  Almost free modules , 1990 .

[19]  Baire irresolvable spaces and lifting for a layered ideal , 1989 .

[20]  Péter Komjáth.  Set Systems with Finite Chromatic Number , 1989, Eur. J. Comb..

[21]  S. Shelah,et al.  A note on canonical functions , 1989, math/9201239.

[22]  Saharon Shelah,et al.  Was sierpinski right? I , 1988 .

[23]  S. Shelah,et al.  PFA implies all automorphisms are trivial , 1988 .

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

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

[26]  Diamond and λ-systems , 1988 .

[27]  S. Shelah.  Iterated forcing and normal ideals onω1 , 1987 .

[28]  Saharon Shelah.  Semiproper Forcing Axiom Implies Martin Maximum but Not PFA+ , 1987, J. Symb. Log..

[29]  R. Göbel,et al.  Abelian Group Theory , 1987 .

[30]  Saharon Shelah,et al.  Combinatorial problems on trees: Partitions, δ-systems and large free subtrees , 1987, Ann. Pure Appl. Log..

[31]  Saharon Shelah.  Uncountable groups have many nonconjugate subgroups , 1987, Ann. Pure Appl. Log..

[32]  Boban Velickovic,et al.  Definable Automorphisms of P(ω)/fin , 1986 .

[33]  Saharon Shelah,et al.  Around classification theory of models , 1986 .

[34]  S. Shelah,et al.  On the Structure of $\operatorname{Ext}(A, \mathbf{Z})$ in ZFC$^+$ , 1985 .

[35]  Saharon Shelah,et al.  Some exact equiconsistency results in set theory , 1985, Notre Dame J. Formal Log..

[36]  Saharon Shelah,et al.  Isomorphism types of Aronszajn trees , 1985 .

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

[38]  S. Shelah.  More on proper forcing , 1984, Journal of Symbolic Logic.

[39]  A. Mekler.  Finitely additive measures on and the additive property , 1984 .

[40]  Saharon Shelah,et al.  Forcing closed unbounded sets , 1983, Journal of Symbolic Logic.

[41]  Saharon Shelah.  Constructions of many complicated uncountable structures and Boolean algebras , 1983 .

[42]  Lifting problem of the measure algebra , 1983 .

[43]  Saharon Shelah,et al.  Generalized Martin’s Axiom and Souslin’s hypothesis for higher cardinals , 1982 .

[44]  Edward L. Wimmers,et al.  The shelahP-point independence theorem , 1982 .

[45]  Saharon Shelah,et al.  Forcing with stable posets , 1982, Journal of Symbolic Logic.

[46]  John R. Steel,et al.  Two consequences of determinacy consistent with choice , 1982 .

[47]  S. Shelah.  Free limits of forcing and more on Aronszajn trees , 1981 .

[48]  Saharon Shelah.  Models with second order properties. III. Omitting types forL(Q) , 1981, Arch. Math. Log..

[49]  S. Shelah.  The consistency of Ext(G, Z)=Q , 1981 .

[50]  Saharon Shelah,et al.  Iterated forcing and changing cofinalities , 1981 .

[51]  Saharon Shelah,et al.  Martin’s axiom does not imply that every two ℕ1-dense sets of reals are isomorphic , 1981 .

[52]  Saharon Shelah.  On Fleissner's diamond , 1981, Notre Dame J. Formal Log..

[53]  Saharon Shelah,et al.  Whitehead groups may not be free even assuming ch, II , 1980 .

[54]  K. Devlin.  Concerning the consistency of the Souslin hypothesis with the continuum hypothesis , 1980 .

[55]  James H. King,et al.  The uniformization property for ℵ2 , 1980 .

[56]  P. Eklof,et al.  On the rank of Ext , 1980 .

[57]  James E. Baumgartner,et al.  Iterated perfect-set forcing , 1979 .

[58]  S. Shelah,et al.  A Note on the Normal Moore Space Conjecture , 1979, Canadian Journal of Mathematics.

[59]  T. Jech,et al.  Ideals over uncountable sets: application of almost disjoint functions and generic ultrapowers , 1979 .

[60]  Saharon Shelah,et al.  A weak generalization of MA to higher cardinals , 1978 .

[61]  Saharon Shelah,et al.  Models with second order properties II. Trees with no undefined branches , 1978 .

[62]  Fred Galvin,et al.  An ideal game , 1978, Journal of Symbolic Logic.

[63]  S. Ben-David.  On Shelah’s compactness of cardinals , 1978 .

[64]  Menachem Magidor,et al.  Changing cofinality of cardinals , 1978 .

[65]  Saharon Shelah,et al.  Whitehead groups may be not free, even assuming CH, I , 1977 .

[66]  Menachem Magidor,et al.  On the singular cardinals problem I , 1977 .

[67]  Richard Laver,et al.  On the consistency of Borel's conjecture , 1976 .

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

[69]  E. Kleinberg,et al.  Adding a closed unbounded set , 1976, Journal of Symbolic Logic.

[70]  James E. Baumgartner,et al.  A new class of order types , 1976 .

[71]  Saharon Shelah,et al.  A compactness theorem for singular cardinals, free algebras, Whitehead problem and tranversals , 1975 .

[72]  Harvey M. Friedman,et al.  One hundred and two problems in mathematical logic , 1975, Journal of Symbolic Logic.

[73]  Saharon Shelah,et al.  Infinite abelian groups, whitehead problem and some constructions , 1974 .

[74]  Keith Devlin,et al.  The Souslin problem , 1974 .

[75]  William Mitchell,et al.  Aronszajn trees and the independence of the transfer property , 1972 .

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

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

[78]  T. Jech,et al.  Standard models of set theory with predication , 1971 .

[79]  Kanji Namba,et al.  Independence proof of (ω,ω_α)-distributive law in complete Boolean algebras , 1971 .

[80]  J. C. Oxtoby.  Measure and Category , 1971 .

[81]  J. Malitz,et al.  Embedding trees in the rationals. , 1970, Proceedings of the National Academy of Sciences of the United States of America.

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

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

[84]  J. Baumgartner.  Results and independence proofs in combinatorial set theory , 1970 .

[85]  László Fuchs,et al.  Infinite Abelian groups , 1970 .

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

[87]  E. C. Milner,et al.  The Pigeon‐Hole Principle for Ordinal Numbers , 1965 .

[88]  R. Engelking,et al.  Some theorems of set theory and their topological consequences , 1965 .

[89]  Ben Dushnik,et al.  Partially Ordered Sets , 1941 .