Saharon Shelah

455 papers A* 7B 2Journal 436Unranked 6

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A unique Q-point and infinitely many near-coherence classes of ultrafilters. Ann. Pure Appl. Log. Lorenz Halbeisen, Silvan Horvath, Saharon Shelah
2025	J	`jnl`	A Borel Maximal cofinitary Group. J. Symb. Log. Haim Horowitz, Saharon Shelah
2025	J	`jnl`	Borel sets without perfectly many overlapping translations, III. Ann. Pure Appl. Log. Andrzej Roslanowski, Saharon Shelah
2025	B	`conf`	First-Order Logic with Equicardinality in Random Graphs. CSL Simi Haber, Tal Hershko, Mostafa Mirabi, Saharon Shelah
2025	J	`jnl`	Superclub, splitting, separating statements. Period. Math. Hung. Shimon Garti, Saharon Shelah
2025	J	`jnl`	Turing independence and Baire category. J. Math. Log. Ashutosh Kumar, Saharon Shelah
2024	J	`jnl`	A Borel maximal eventually different family. Ann. Pure Appl. Log. Haim Horowitz, Saharon Shelah
2024	J	`jnl`	Implications of Ramsey Choice principles in ZF $\mathsf {ZF}$. Math. Log. Q. Lorenz Halbeisen, Riccardo Plati, Saharon Shelah
2024	J	`jnl`	Maximal models up to the first measurable in ZFC. J. Math. Log. John T. Baldwin, Saharon Shelah
2024	J	`jnl`	Pcf without choice Sh835. Arch. Math. Log. Saharon Shelah
2024	J	`jnl`	Some simple theories from a Boolean algebra point of view. Ann. Pure Appl. Log. M. Malliaris, Saharon Shelah
2024	J	`jnl`	Some variations on the splitting number. Ann. Pure Appl. Log. Saharon Shelah, Juris Steprans
2024	J	`jnl`	The Turing Degrees and Keisler's order. J. Symb. Log. Maryanthe Malliaris, Saharon Shelah
2024	J	`jnl`	Usuba's Principle can Fail at singular Cardinals. J. Symb. Log. Mohammad Golshani, Saharon Shelah
2023	J	`jnl`	Different cofinalities of tree ideals. Ann. Pure Appl. Log. Saharon Shelah, Otmar Spinas
2023	J	`jnl`	Exact saturation in pseudo-elementary classes for simple and stable theories. J. Math. Log. Itay Kaplan, Nicholas Ramsey, Saharon Shelah
2023	J	`jnl`	Four cardinals and their relations in ZF. Ann. Pure Appl. Log. Lorenz Halbeisen, Riccardo Plati, Salome Schumacher, Saharon Shelah
2023	J	`jnl`	Halfway new cardinal characteristics. Ann. Pure Appl. Log. Jörg Brendle, Lorenz Halbeisen, Lukas Daniel Klausner, Marc Lischka, Saharon Shelah
2023	J	`jnl`	Nice ℵ Math. Log. Q. Saharon Shelah
2023	J	`jnl`	On the non-existence of κ-mad families. Arch. Math. Log. Haim Horowitz, Saharon Shelah
2023	J	`jnl`	On κ-Homogeneous, but Not κ-Transitive Permutation Groups. J. Symb. Log. Saharon Shelah, Lajos Soukup
2023	J	`jnl`	Positive logics. Arch. Math. Log. Saharon Shelah, Jouko Väänänen
2022	J	`jnl`	Boolean Types in Dependent Theories. J. Symb. Log. Itay Kaplan, Ori Segel, Saharon Shelah
2022	J	`jnl`	Forcing axioms for λ-complete μ + $\mu ^+$ -c.c. Math. Log. Q. Saharon Shelah
2022	J	`jnl`	Hanf numbers for extendibility and related phenomena. Arch. Math. Log. John T. Baldwin, Saharon Shelah
2022	J	`jnl`	On the definability of mad families of vector spaces. Ann. Pure Appl. Log. Haim Horowitz, Saharon Shelah
2022	J	`jnl`	The independence of GCH and a combinatorial principle related to Banach-Mazur games. Arch. Math. Log. Will Brian, Alan Dow, Saharon Shelah
2022	J	`jnl`	The spectrum of independence, II. Ann. Pure Appl. Log. Vera Fischer, Saharon Shelah
2022	J	`jnl`	κ-Madness and definability. Math. Log. Q. Haim Horowitz, Saharon Shelah
2021	J	`jnl`	Applying Set Theory. Axioms Saharon Shelah
2021	J	`jnl`	Atomic saturation of reduced powers. Math. Log. Q. Saharon Shelah
2021	J	`jnl`	Controlling cardinal characteristics without adding reals. J. Math. Log. Martin Goldstern, Jakob Kellner, Diego Alejandro Mejía, Saharon Shelah
2021	J	`jnl`	Criteria for exact saturation and singular compactness. Ann. Pure Appl. Log. Itay Kaplan, Nicholas Ramsey, Saharon Shelah
2021	J	`jnl`	Higher Miller forcing May collapse Cardinals. J. Symb. Log. Heike Mildenberger, Saharon Shelah
2021	J	`jnl`	Infinite combinatorics in mathematical biology. Biosyst. Saharon Shelah, Lutz Strüngmann
2021	J	`jnl`	Notes on the stable Regularity Lemma. Bull. Symb. Log. M. Malliaris, Saharon Shelah
2021	J	`jnl`	On Wide Aronszajn Trees in the presence of MA. J. Symb. Log. Mirna Dzamonja, Saharon Shelah
2021	J	`jnl`	Specializing trees and answer to a question of Williams. J. Math. Log. Mohammad Golshani, Saharon Shelah
2021	J	`jnl`	The Hart-Shelah example, in stronger logics. Ann. Pure Appl. Log. Saharon Shelah, Andrés Villaveces
2021	J	`jnl`	Universal graphs and functions on Ann. Pure Appl. Log. Saharon Shelah, Juris Steprans
2020	J	`jnl`	A small ultrafilter number at smaller cardinals. Arch. Math. Log. Dilip Raghavan, Saharon Shelah
2020	J	`jnl`	A version of κ-Miller forcing. Arch. Math. Log. Heike Mildenberger, Saharon Shelah
2020	J	`jnl`	Homogeneous Structures with nonuniversal automorphism Groups. J. Symb. Log. Wieslaw Kubis, Saharon Shelah
2020	J	`jnl`	Infinite Monochromatic Paths and a Theorem of Erdős-Hajnal-Rado. Electron. J. Comb. Shimon Garti, Menachem Magidor, Saharon Shelah
2020	J	`jnl`	Some Results on Polish Groups. Reports Math. Log. Gianluca Paolini, Saharon Shelah
2020	J	`jnl`	The Hanf number in the strictly stable case. Math. Log. Q. Saharon Shelah
2020	J	`jnl`	Turing invariant sets and the perfect set property. Math. Log. Q. Clovis Hamel, Haim Horowitz, Saharon Shelah
2019	J	`jnl`	A new look at interpretability and saturation. Ann. Pure Appl. Log. Maryanthe Malliaris, Saharon Shelah
2019	J	`jnl`	A strong failure of $$\aleph _0$$ ℵ 0 -stability for atomic classes. Arch. Math. Log. Michael C. Laskowski, Saharon Shelah
2019	J	`jnl`	Borel sets without perfectly many overlapping translations. Reports Math. Log. Andrzej Roslanowski, Saharon Shelah
2019	J	`jnl`	On Finitary Hindman Numbers. Comb. Shahram Mohsenipour, Saharon Shelah
2019	J	`jnl`	On possible restrictions of the null ideal. J. Math. Log. Ashutosh Kumar, Saharon Shelah
2019	J	`jnl`	On the non-existence of mad families. Arch. Math. Log. Haim Horowitz, Saharon Shelah
2019	J	`jnl`	Polish topologies for graph products of groups. J. Lond. Math. Soc. Gianluca Paolini, Saharon Shelah
2019	J	`jnl`	Pseudo P-points and splitting number. Arch. Math. Log. Alan Dow, Saharon Shelah
2019	J	`jnl`	Specializing Aronszajn Trees with Strong Axiom A and Halving. Notre Dame J. Formal Log. Heike Mildenberger, Saharon Shelah
2019	J	`jnl`	The spectrum of independence. Arch. Math. Log. Vera Fischer, Saharon Shelah
2019	J	`jnl`	Ultrafilter extensions do not preserve elementary equivalence. Math. Log. Q. Denis I. Saveliev, Saharon Shelah
2019	J	`jnl`	Universal Theories and compactly Expandable Models. J. Symb. Log. Enrique Casanovas, Saharon Shelah
2019	J	`jnl`	Universal graphs omitting finitely many finite graphs. Discret. Math. Péter Komjáth, Saharon Shelah
2018	J	`jnl`	A model of $$\mathsf {ZFA}+ \mathsf {PAC}$$ ZFA + PAC with no outer model of $$\mathsf {ZFAC}$$ ZFAC with the same pure part. Arch. Math. Log. Paul B. Larson, Saharon Shelah
2018	J	`jnl`	Abstract elementary classes stable in ℵ Ann. Pure Appl. Log. Saharon Shelah, Sebastien Vasey
2018	J	`jnl`	Clubs on quasi measurable cardinals. Math. Log. Q. Ashutosh Kumar, Saharon Shelah
2018	J	`jnl`	On Cuts in Ultraproducts of linear Orders II. J. Symb. Log. Mohammad Golshani, Saharon Shelah
2018	J	`jnl`	On the Spectrum of Characters of Ultrafilters. Notre Dame J. Formal Log. Shimon Garti, Menachem Magidor, Saharon Shelah
2018	J	`jnl`	On the class of flat stable theories. Ann. Pure Appl. Log. Daniel Palacín, Saharon Shelah
2018	J	`jnl`	Set Mappings on 4-Tuples. Notre Dame J. Formal Log. Shahram Mohsenipour, Saharon Shelah
2017	J	`jnl`	A parallel to the null ideal for inaccessible λ: Part I. Arch. Math. Log. Saharon Shelah
2017	J	`jnl`	Coding with canonical functions. Math. Log. Q. Paul B. Larson, Saharon Shelah
2017	J	`jnl`	Creature forcing and five cardinal characteristics in Cichoń's diagram. Arch. Math. Log. Arthur Fischer, Martin Goldstern, Jakob Kellner, Saharon Shelah
2017	J	`jnl`	Decidability and Classification of the Theory of Integers with Primes. J. Symb. Log. Itay Kaplan, Saharon Shelah
2017	J	`jnl`	Exact saturation in simple and NIP theories. J. Math. Log. Itay Kaplan, Saharon Shelah, Pierre Simon
2017	J	`jnl`	No Uncountable Polish Group Can be a Right-Angled Artin Group. Axioms Gianluca Paolini, Saharon Shelah
2017	J	`jnl`	The nonstationary ideal on $$P_\kappa (\lambda )$$ P κ ( λ ) for $$\lambda $$ λ singular. Arch. Math. Log. Pierre Matet, Saharon Shelah
2017	J	`jnl`	Universal Structures. Notre Dame J. Formal Log. Saharon Shelah
2016	J	`jnl`	Cofinality of normal ideals on [λ] Arch. Math. Log. Pierre Matet, Cédric Péan, Saharon Shelah
2016	J	`jnl`	Constructing Many Atomic Models in ℵ1. J. Symb. Log. John T. Baldwin, Michael C. Laskowski, Saharon Shelah
2016	J	`jnl`	Forcing a countable structure to belong to the ground model. Math. Log. Q. Itay Kaplan, Saharon Shelah
2016	J	`jnl`	On cuts in ultraproducts of linear orders I. J. Math. Log. Mohammad Golshani, Saharon Shelah
2016	J	`jnl`	Stable theories and representation over sets. Math. Log. Q. Saharon Shelah, Moran Cohen
2016	J	`jnl`	There are no very meager sets in the model in which both the Borel Conjecture and the dual Borel Conjecture are true. Math. Log. Q. Saharon Shelah, Wolfgang Wohofsky
2016	J	`jnl`	Universal graphs with a forbidden subgraph: Block path solidity. Comb. Gregory L. Cherlin, Saharon Shelah
2016	J	`jnl`	ZF + DC + AX4. Arch. Math. Log. Saharon Shelah
2015	—	`ch.`	A.E.C. with Not Too Many Models. Logic Without Borders Saharon Shelah
2015	J	`jnl`	Almost Galois J. Symb. Log. John T. Baldwin, Paul B. Larson, Saharon Shelah
2015	—	`conf`	An Extension of the Ehrenfeucht-Fraïssé Game for First Order Logics Augmented with Lindström Quantifiers. Fields of Logic and Computation II Simi Haber, Saharon Shelah
2015	J	`jnl`	Mad spectra. J. Symb. Log. Saharon Shelah, Otmar Spinas
2015	J	`jnl`	Models of PA: when two elements are necessarily order automorphic. Math. Log. Q. Saharon Shelah
2015	—	`conf`	On Failure of 0-1 Laws. Fields of Logic and Computation II Saharon Shelah
2015	J	`jnl`	Positional Strategies in Long Ehrenfeucht-FraïSSé Games. J. Symb. Log. Saharon Shelah, Jouko A. Väänänen, Boban Velickovic
2015	J	`jnl`	Regular Ultrapowers at Regular Cardinals. Notre Dame J. Formal Log. Juliette Kennedy, Saharon Shelah, Jouko Väänänen
2015	—	`ch.`	Saturating the Random Graph with an Independent Family of Small Range. Logic Without Borders Maryanthe Malliaris, Saharon Shelah
2014	J	`jnl`	A Hanf number for saturation and omission: the superstable case. Math. Log. Q. John T. Baldwin, Saharon Shelah
2014	J	`jnl`	Examples in dependent Theories. J. Symb. Log. Itay Kaplan, Saharon Shelah
2014	J	`jnl`	Many countable support iterations of proper forcings preserve Souslin trees. Ann. Pure Appl. Log. Heike Mildenberger, Saharon Shelah
2014	J	`jnl`	Model-Theoretic Properties of Ultrafilters Built by Independent families of Functions. J. Symb. Log. M. Malliaris, Saharon Shelah
2014	J	`jnl`	Models of Cohen measurability. Ann. Pure Appl. Log. Noam Greenberg, Saharon Shelah
2014	J	`jnl`	Monotone hulls for ${\mathcal {N}}\cap {\mathcal {M}}$. Period. Math. Hung. Andrzej Roslanowski, Saharon Shelah
2013	J	`jnl`	A Closed Algebra with a Non-Borel Clone and an Ideal with a Borel Clone. Int. J. Algebra Comput. Martin Goldstern, Michael Pinsker, Saharon Shelah
2013	—	`ch.`	A Finite Partition Theorem with Double Exponential Bound. The Mathematics of Paul Erdős II Saharon Shelah
2013	J	`jnl`	Applications of pcf for mild large cardinals to elementary embeddings. Ann. Pure Appl. Log. Moti Gitik, Saharon Shelah
2013	J	`jnl`	Chain conditions in dependent groups. Ann. Pure Appl. Log. Itay Kaplan, Saharon Shelah
2013	J	`jnl`	Large weight does not yield an irreducible base. Period. Math. Hung. Saharon Shelah
2013	J	`jnl`	More about λ-support iterations of (<λ)-complete forcing notions. Arch. Math. Log. Andrzej Roslanowski, Saharon Shelah
2013	J	`jnl`	Non-forking frames in abstract elementary classes. Ann. Pure Appl. Log. Adi Jarden, Saharon Shelah
2012	J	`jnl`	A strong polarized relation. J. Symb. Log. Shimon Garti, Saharon Shelah
2012	J	`jnl`	Adding linear orders. J. Symb. Log. Saharon Shelah, Pierre Simon
2012	J	`jnl`	Creature forcing and large continuum: the joy of halving. Arch. Math. Log. Jakob Kellner, Saharon Shelah
2012	J	`jnl`	External automorphisms of ultraproducts of finite models. Arch. Math. Log. Philipp Lücke, Saharon Shelah
2012	J	`jnl`	Majority decisions when abstention is possible. Discret. Math. Paul B. Larson, Nicholas Matteo, Saharon Shelah
2012	J	`jnl`	The stability spectrum for Classes of Atomic Models. J. Math. Log. John T. Baldwin, Saharon Shelah
2012	J	`jnl`	Universality among graphs omitting a complete bipartite graph. Comb. Saharon Shelah
2011	J	`jnl`	Depth of Boolean Algebras. Notre Dame J. Formal Log. Shimon Garti, Saharon Shelah
2011	J	`jnl`	Models of expansions of &equation image; with no end extensions. Math. Log. Q. Saharon Shelah
2011	J	`jnl`	More on the pressing down game. Arch. Math. Log. Jakob Kellner, Saharon Shelah
2011	J	`jnl`	Ramsey theorems for product of finite sets with submeasures. Comb. Saharon Shelah, Jindrich Zapletal
2011	J	`jnl`	Reasonable Ultrafilters, Again. Notre Dame J. Formal Log. Andrzej Roslanowski, Saharon Shelah
2011	J	`jnl`	Saccharinity. J. Symb. Log. Jakob Kellner, Saharon Shelah
2011	J	`jnl`	The minimal cofinality of an ultrapower of ω and the cofinality of the symmetric groupcan be larger than J. Symb. Log. Heike Mildenberger, Saharon Shelah
2010	J	`jnl`	A Dichotomy for the number of Ultrapowers. J. Math. Log. Ilijas Farah, Saharon Shelah
2010	J	`jnl`	A Sacks real out of nowhere. J. Symb. Log. Jakob Kellner, Saharon Shelah
2010	J	`jnl`	Dual Borel Conjecture and Cohen reals. J. Symb. Log. Tomek Bartoszynski, Saharon Shelah
2010	J	`jnl`	Filtration-equivalent aleph Ann. Pure Appl. Log. Saharon Shelah, Lutz Strüngmann
2010	—	`conf`	Hereditary Zero-One Laws for Graphs. Fields of Logic and Computation Saharon Shelah, Mor Doron
2010	J	`jnl`	On long increasing chains modulo flat ideals. Math. Log. Q. Saharon Shelah
2009	J	`jnl`	Decisive creatures and large continuum. J. Symb. Log. Jakob Kellner, Saharon Shelah
2009	J	`jnl`	Model theory without choice? Categoricity. J. Symb. Log. Saharon Shelah
2009	J	`jnl`	Splitting stationary sets from weak forms of Choice. Math. Log. Q. Paul B. Larson, Saharon Shelah
2009	J	`jnl`	Successors of singular cardinals and coloring theorems {II}. J. Symb. Log. Todd Eisworth, Saharon Shelah
2009	J	`jnl`	The Odd-Distance Plane Graph. Discret. Comput. Geom. Hayri Ardal, Ján Manuch, Moshe Rosenfeld, Saharon Shelah, Ladislav Stacho
2009	J	`jnl`	The amalgamation spectrum. J. Symb. Log. John T. Baldwin, Alexei Kolesnikov, Saharon Shelah
2009	J	`jnl`	The automorphism tower of a centerless group without Choice. Arch. Math. Log. Itay Kaplan, Saharon Shelah
2009	J	`jnl`	What majority decisions are possible. Discret. Math. Saharon Shelah
2008	J	`jnl`	Examples of non-locality. J. Symb. Log. John T. Baldwin, Saharon Shelah
2008	J	`jnl`	Generating ultrafilters in a reasonable way. Math. Log. Q. Andrzej Roslanowski, Saharon Shelah
2008	J	`jnl`	Groupwise density cannot be much bigger than the unbounded number. Math. Log. Q. Saharon Shelah
2008	J	`jnl`	More on SOP Ann. Pure Appl. Log. Saharon Shelah, Alexander Usvyatsov
2008	J	`jnl`	Regular ultrafilters and finite square principles. J. Symb. Log. Juliette Kennedy, Saharon Shelah, Jouko A. Väänänen
2008	J	`jnl`	The number of openly generated Boolean algebras. J. Symb. Log. Stefan Geschke, Saharon Shelah
2008	J	`jnl`	The stationary set splitting game. Math. Log. Q. Paul B. Larson, Saharon Shelah
2007	J	`jnl`	Existence of EF-equivalent non-isomorphic models. Math. Log. Q. Chanoch Havlin, Saharon Shelah
2007	J	`jnl`	Increasing the groupwise density number by c.c.c. forcing. Ann. Pure Appl. Log. Heike Mildenberger, Saharon Shelah
2007	J	`jnl`	Power set modulo small, the singular of uncountable cofinality. J. Symb. Log. Saharon Shelah
2007	J	`jnl`	Relational structures constructible by quantifier free definable operations. J. Symb. Log. Mor Doron, Saharon Shelah
2007	J	`jnl`	Two cardinal models for singular µ. Math. Log. Q. Shimon Garti, Saharon Shelah
2007	J	`jnl`	Universal forcing notions and ideals. Arch. Math. Log. Andrzej Roslanowski, Saharon Shelah
2007	J	`jnl`	Universal graphs with a forbidden subtree. J. Comb. Theory B Gregory L. Cherlin, Saharon Shelah
2007	J	`jnl`	Winning the pressing down game but not Banach-Mazur. J. Symb. Log. Jakob Kellner, Matti J. Pauna, Saharon Shelah
2006	J	`jnl`	Covering the Baire space by families which are not finitely dominating. Ann. Pure Appl. Log. Heike Mildenberger, Saharon Shelah, Boaz Tsaban
2006	J	`jnl`	How much sweetness is there in the universe? Math. Log. Q. Andrzej Roslanowski, Saharon Shelah
2006	J	`jnl`	Models of real-valued measurability. Ann. Pure Appl. Log. Sakaé Fuchino, Noam Greenberg, Saharon Shelah
2006	J	`jnl`	More on the revised GCH and the black box. Ann. Pure Appl. Log. Saharon Shelah
2006	J	`jnl`	On properties of theories which preclude the existence of universal models. Ann. Pure Appl. Log. Mirna Dzamonja, Saharon Shelah
2006	J	`jnl`	On weak and strong interpolation in algebraic logics. J. Symb. Log. Saharon Shelah, Gábor Sági
2006	J	`jnl`	Recursive logic frames. Math. Log. Q. Saharon Shelah, Jouko A. Väänänen
2006	J	`jnl`	The Arch. Math. Log. Frank Niedermeyer, Saharon Shelah, Karsten Steffens
2005	J	`jnl`	A dichotomy in classifying quantifiers for finite models. J. Symb. Log. Mor Doron, Saharon Shelah
2005	J	`jnl`	A note on extensions of infinitary logic. Arch. Math. Log. Saharon Shelah, Jouko A. Väänänen
2005	J	`jnl`	Finite subgraphs of uncountably chromatic graphs. J. Graph Theory Péter Komjáth, Saharon Shelah
2005	J	`jnl`	Interpreting Groups and Fields in some Nonelementary Classes. J. Math. Log. Tapani Hyttinen, Olivier Lessmann, Saharon Shelah
2005	J	`jnl`	Middle diamond. Arch. Math. Log. Saharon Shelah
2005	J	`jnl`	On the Arrow property. Adv. Appl. Math. Saharon Shelah
2005	J	`jnl`	On topological properties of ultraproducts of finite sets. Math. Log. Q. Gábor Sági, Saharon Shelah
2005	J	`jnl`	Preserving preservation. J. Symb. Log. Jakob Kellner, Saharon Shelah
2005	J	`jnl`	Subsets of superstable structures are weakly benign. J. Symb. Log. Bektur Sembiuly Baizhanov, John T. Baldwin, Saharon Shelah
2005	J	`jnl`	Successors of singular cardinals and coloring theorems I. Arch. Math. Log. Todd Eisworth, Saharon Shelah
2005	J	`jnl`	Two cardinals models with gap one revisited. Math. Log. Q. Saharon Shelah
2004	J	`jnl`	A definable nonstandard model of the reals. J. Symb. Log. Vladimir Kanovei, Saharon Shelah
2004	J	`jnl`	Axiom of choice and chromatic number: examples on the plane. J. Comb. Theory A Alexander Soifer, Saharon Shelah
2004	J	`jnl`	Forcing axiom failure for any lambda > aleph Arch. Math. Log. Saharon Shelah
2004	J	`jnl`	Ladder gaps over stationary sets. J. Symb. Log. Uri Abraham, Saharon Shelah
2004	J	`jnl`	More on regular reduced products. J. Symb. Log. Juliette Kennedy, Saharon Shelah
2004	J	`jnl`	On lhd Ann. Pure Appl. Log. Mirna Dzamonja, Saharon Shelah
2004	J	`jnl`	On nice equivalence relations on ?2. Arch. Math. Log. Saharon Shelah
2004	J	`jnl`	On the existence of universal models. Arch. Math. Log. Mirna Dzamonja, Saharon Shelah
2004	J	`jnl`	Sweet & sour and other flavours of ccc forcing notions. Arch. Math. Log. Andrzej Roslanowski, Saharon Shelah
2003	J	`jnl`	A Partition Theorem for Scattered Order Types. Comb. Probab. Comput. Péter Komjáth, Saharon Shelah
2003	J	`jnl`	Additivity properties of topological diagonalizations. J. Symb. Log. Tomek Bartoszynski, Saharon Shelah, Boaz Tsaban
2003	J	`jnl`	Analytic colorings. Ann. Pure Appl. Log. Wieslaw Kubis, Saharon Shelah
2003	J	`jnl`	Axiom of choice and chromatic number of the plane. J. Comb. Theory A Saharon Shelah, Alexander Soifer
2003	J	`jnl`	Bounding by Canonical Functions, with CH. J. Math. Log. Paul B. Larson, Saharon Shelah
2003	J	`jnl`	Evasion and prediction. Arch. Math. Log. Jörg Brendle, Saharon Shelah
2003	J	`jnl`	Karp complexity and classes with the independence property. Ann. Pure Appl. Log. Michael C. Laskowski, Saharon Shelah
2003	J	`jnl`	More Jonsson Algebras. Arch. Math. Log. Saharon Shelah
2003	J	`jnl`	On the order of countable graphs. Eur. J. Comb. Jaroslav Nesetril, Saharon Shelah
2003	J	`jnl`	On ultraproducts of Boolean algebras and irr. Arch. Math. Log. Saharon Shelah
2003	J	`jnl`	Specialising Aronszajn trees by countable approximations. Arch. Math. Log. Heike Mildenberger, Saharon Shelah
2003	A*	`conf`	Spectra of Monadic Second-Order Formulas with One Unary Function. LICS Yuri Gurevich, Saharon Shelah
2003	J	`jnl`	Strongly meager sets of size continuum. Arch. Math. Log. Tomek Bartoszynski, Saharon Shelah
2003	J	`jnl`	Universal graphs at the successor of a singular cardinal. J. Symb. Log. Mirna Dzamonja, Saharon Shelah
2002	J	`jnl`	Almost free groups and Ehrenfeucht-Fraïssé games for successors of singular cardinals. Ann. Pure Appl. Log. Saharon Shelah, Pauli Väisänen
2002	J	`jnl`	Antichains in Products of Linear Orders. Order Martin Goldstern, Saharon Shelah
2002	J	`jnl`	Coding with Ladders A Well Ordering of The Reals. J. Symb. Log. Uri Abraham, Saharon Shelah
2002	J	`jnl`	Definability of Initial Segments. Notre Dame J. Formal Log. Saharon Shelah, Akito Tsuboi
2002	J	`jnl`	More constructions for Boolean algebras. Arch. Math. Log. Saharon Shelah
2002	J	`jnl`	Nowhere Precipitousness of the non-stationary Ideal over. J. Math. Log. Yo Matsubara, Saharon Shelah
2002	J	`jnl`	On Polynomial Time Computation over Unordered Structures. J. Symb. Log. Andreas Blass, Yuri Gurevich, Saharon Shelah
2002	J	`jnl`	On Regular Reduced Products. J. Symb. Log. Juliette Kennedy, Saharon Shelah
2002	J	`jnl`	On the existence of large subsets of [lambda]kappa which contain no unbounded non-stationary subsets. Arch. Math. Log. Saharon Shelah
2002	J	`jnl`	PCF and infinite free subsets in an algebra. Arch. Math. Log. Saharon Shelah
2002	J	`jnl`	Strongly meager and strong measure zero sets. Arch. Math. Log. Tomek Bartoszynski, Saharon Shelah
2002	J	`jnl`	The Relative Consistency of g < cf (Sym(omega)). J. Symb. Log. Heike Mildenberger, Saharon Shelah
2002	J	`jnl`	The Strict Order Property and Generic Automorphisms. J. Symb. Log. Hirotaka Kikyo, Saharon Shelah
2001	J	`jnl`	Addendum to "Choiceless Polynomial Time": Ann. Pure Appl. Logic 100 (1999) 141-187. Ann. Pure Appl. Log. Andreas Blass, Yuri Gurevich, Saharon Shelah
2001	J	`jnl`	Consistently There Is No Non Trivial CCC Forcing Notion with the Sacks or Laver Property. Comb. Saharon Shelah
2001	J	`jnl`	Fallen cardinals. Ann. Pure Appl. Log. Menachem Kojman, Saharon Shelah
2001	J	`jnl`	Forcing Many Positive Polarized Partition Relations Between A Cardinal and Its Powerset. J. Symb. Log. Saharon Shelah, Lee J. Stanley
2001	J	`jnl`	Main Gap for Locally Saturated Elementary Submodels of A Homogeneous Structure. J. Symb. Log. Tapani Hyttinen, Saharon Shelah
2001	J	`jnl`	Model Companions of T Notre Dame J. Formal Log. John T. Baldwin, Saharon Shelah
2001	J	`jnl`	On some configurations related to the Shelah Weak Hypothesis. Arch. Math. Log. Moti Gitik, Saharon Shelah
2001	J	`jnl`	On the weak Freese-Nation property of complete Boolean algebras. Ann. Pure Appl. Log. Sakaé Fuchino, Stefan Geschke, Saharon Shelah, Lajos Soukup
2001	J	`jnl`	Regular Subalgebras of Complete Boolean Algebras. J. Symb. Log. Aleksander Blaszczyk, Saharon Shelah
2001	J	`jnl`	Relations between some cardinals in the absence of the Axiom of Choice. Bull. Symb. Log. Lorenz Halbeisen, Saharon Shelah
2001	J	`jnl`	Strongly meager Sets do not Form an Ideal. J. Math. Log. Tomek Bartoszynski, Saharon Shelah
2001	J	`jnl`	The Covering Numbers of Mycielski Ideals Are All Equal. J. Symb. Log. Saharon Shelah, Juris Steprans
2001	J	`jnl`	The Karp complexity of unstable classes. Arch. Math. Log. Michael C. Laskowski, Saharon Shelah
2000	J	`jnl`	A Space with Only Borel Subsets. Period. Math. Hung. Saharon Shelah
2000	J	`jnl`	After All, There Are Some Inequalities Which Are Provable in ZFC. J. Symb. Log. Tomek Bartoszynski, Andrzej Roslanowski, Saharon Shelah
2000	J	`jnl`	Applications of PCF Theory. J. Symb. Log. Saharon Shelah
2000	J	`jnl`	Changing cardinal characteristics without changing Omega-sequences or cofinalities. Ann. Pure Appl. Log. Heike Mildenberger, Saharon Shelah
2000	B	`conf`	Choiceless Polynominal Time Logic: Inability to Express. CSL Saharon Shelah
2000	J	`jnl`	Covering a Function on the Plane by Two Continuous Functions on an Uncountable Square - the Consistency. Ann. Pure Appl. Log. Mariusz Rabus, Saharon Shelah
2000	J	`jnl`	Filters, Cohen Sets and Consistent Extensions of The Erdös-Dushnik-Miller Theorem. J. Symb. Log. Saharon Shelah, Lee J. Stanley
2000	J	`jnl`	More on Cardinal Invariants of Boolean Algebras. Ann. Pure Appl. Log. Andrzej Roslanowski, Saharon Shelah
2000	J	`jnl`	More on Entangled Orders. J. Symb. Log. Ofer Shafir, Saharon Shelah
2000	J	`jnl`	On Inverse gamma-Systems and The Number of L J. Symb. Log. Saharon Shelah, Pauli Väisänen
2000	J	`jnl`	On Quantification with A Finite Universe. J. Symb. Log. Saharon Shelah
2000	J	`jnl`	On the Classifiability of Cellular Automata. Theor. Comput. Sci. John T. Baldwin, Saharon Shelah
2000	J	`jnl`	Stationary Sets and Infinitary Logic. J. Symb. Log. Saharon Shelah, Jouko A. Väänänen
2000	J	`jnl`	Strong Splitting in Stable Homogeneous Models. Ann. Pure Appl. Log. Tapani Hyttinen, Saharon Shelah
2000	J	`jnl`	The PCF Trichotomy Theorem does not hold for short sequences. Arch. Math. Log. Menachem Kojman, Saharon Shelah
2000	J	`jnl`	Two Consistency Results on Set Mappings. J. Symb. Log. Péter Komjáth, Saharon Shelah
2000	J	`jnl`	Was Sierpinski Right? IV. J. Symb. Log. Saharon Shelah
1999	J	`jnl`	A Model With No Magic Set. J. Symb. Log. Krzysztof Ciesielski, Saharon Shelah
1999	J	`jnl`	Canonical Models for N Ann. Pure Appl. Log. Saharon Shelah, Jindrich Zapletal
1999	J	`jnl`	Cardinal Preserving Ideals. J. Symb. Log. Moti Gitik, Saharon Shelah
1999	J	`jnl`	Categoricity for Abstract Classes with Amalgamation. Ann. Pure Appl. Log. Saharon Shelah
1999	J	`jnl`	Choiceless Polynomial Time. Ann. Pure Appl. Log. Andreas Blass, Yuri Gurevich, Saharon Shelah
1999	J	`jnl`	Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part C. J. Symb. Log. Tapani Hyttinen, Saharon Shelah
1999	J	`jnl`	On Distinguishing Quotients of Symmetric Groups. Ann. Pure Appl. Log. Saharon Shelah, John Kenneth Truss
1999	J	`jnl`	Possible size of an ultrapower of w\omega. Arch. Math. Log. Renling Jin, Saharon Shelah
1999	J	`jnl`	Random graphs in the monadic theory of order. Arch. Math. Log. Shmuel Lifsches, Saharon Shelah
1999	J	`jnl`	Regressive Ramsey Numbers Are Ackermannian. J. Comb. Theory A Menachem Kojman, Saharon Shelah
1999	J	`jnl`	Similar But Not The Same: Various Versions of Clubs Do Not Coincide. J. Symb. Log. Mirna Dzamonja, Saharon Shelah
1999	—	`conf`	Superatomic Boolean algebras: Maximal rigidity. Set Theory: The Hajnal Conference Saharon Shelah
1999	J	`jnl`	Toward Categoricity for Classes with no Maximal Models. Ann. Pure Appl. Log. Saharon Shelah, Andrés Villaveces
1999	J	`jnl`	Transfering Saturation, The Finite Cover Property, and Stability. J. Symb. Log. John T. Baldwin, Rami P. Grossberg, Saharon Shelah
1998	J	`jnl`	Compactness of Loeb Spaces. J. Symb. Log. Renling Jin, Saharon Shelah
1998	J	`jnl`	DOP and FCP in Generic Structures. J. Symb. Log. John T. Baldwin, Saharon Shelah
1998	J	`jnl`	Erdos and Rényi Conjecture . J. Comb. Theory A Saharon Shelah
1998	J	`jnl`	Ideals without CCC. J. Symb. Log. Marek Balcerzak, Andrzej Roslanowski, Saharon Shelah
1998	J	`jnl`	On the Number of Elementary Submodels of an Unsuperstable Homogeneous Structure. Math. Log. Q. Tapani Hyttinen, Saharon Shelah
1998	J	`jnl`	Superdestructibility: A Dual to Laver's Indestructibility. J. Symb. Log. Joel David Hamkins, Saharon Shelah
1998	J	`jnl`	Uniformization and Skolem Functions in the Class of Trees. J. Symb. Log. Shmuel Lifsches, Saharon Shelah
1997	J	`jnl`	Can a Small Forcing Create Kurepa Trees. Ann. Pure Appl. Log. Renling Jin, Saharon Shelah
1997	J	`jnl`	Colouring and Non-Productivity of aleph Ann. Pure Appl. Log. Saharon Shelah
1997	J	`jnl`	Peano Arithmetic Maybe Not Be Interpretable in the Monadic Theory of Linear Orders. J. Symb. Log. Shmuel Lifsches, Saharon Shelah
1997	J	`jnl`	Set theory without choice: not everything on cofinality is possible. Arch. Math. Log. Saharon Shelah
1997	J	`jnl`	Simple Forcing Notions and Forcing Axioms. J. Symb. Log. Andrzej Roslanowski, Saharon Shelah
1997	J	`jnl`	Sticks and Clubs. Ann. Pure Appl. Log. Sakaé Fuchino, Saharon Shelah, Lajos Soukup
1997	J	`jnl`	The Cofinality Spectrum of the Infinite Symmetric Group. J. Symb. Log. Saharon Shelah, Simon Thomas
1997	J	`jnl`	The Consistency of ZFC + 2 J. Symb. Log. Martin Gilchrist, Saharon Shelah
1996	J	`jnl`	Adding One Random Real. J. Symb. Log. Tomek Bartoszynski, Andrzej Roslanowski, Saharon Shelah
1996	J	`jnl`	Forcing Isomorphism II. J. Symb. Log. Michael C. Laskowski, Saharon Shelah
1996	J	`jnl`	Identities on Cardinals less than aleph J. Symb. Log. Martin Gilchrist, Saharon Shelah
1996	J	`jnl`	If There Is an Exactly lambda-free Abelian Group There There Is an Exactly lambda-Separable One in lambda. J. Symb. Log. Saharon Shelah
1996	J	`jnl`	In the Random Graph G(n, p), p = n Ann. Pure Appl. Log. Saharon Shelah
1996	J	`jnl`	Large normal ideals concentrating on a fixed small cardinality. Arch. Math. Log. Saharon Shelah
1996	J	`jnl`	Localizations of infinite subsets of w. Arch. Math. Log. Andrzej Roslanowski, Saharon Shelah
1996	J	`jnl`	Martin's axiom and D Arch. Math. Log. Uri Abraham, Saharon Shelah
1996	J	`jnl`	More forcing notions imply diamond. Arch. Math. Log. Andrzej Roslanowski, Saharon Shelah
1996	J	`jnl`	On Countably Closed Complete Boolean Algebras. J. Symb. Log. Thomas Jech, Saharon Shelah
1996	J	`jnl`	On Finite Rigid Structures. J. Symb. Log. Yuri Gurevich, Saharon Shelah
1996	J	`jnl`	On the Very Weak 0-1 Law for Random Graphs with Orders. J. Log. Comput. Saharon Shelah
1996	J	`jnl`	Partial Orderings with the Weak Freese-Nation Property. Ann. Pure Appl. Log. Sakaé Fuchino, Sabine Koppelberg, Saharon Shelah
1996	J	`jnl`	Possible pcf Algebras. J. Symb. Log. Thomas Jech, Saharon Shelah
1996	J	`jnl`	Saturated Filters at Successors of Singulars, Weak Reflection and Yet Another Weak Club Principle. Ann. Pure Appl. Log. Mirna Dzamonja, Saharon Shelah
1996	J	`jnl`	The tree property at successors of singular cardinals. Arch. Math. Log. Menachem Magidor, Saharon Shelah
1996	J	`jnl`	Toward Classifying Unstable Theories. Ann. Pure Appl. Log. Saharon Shelah
1996	J	`jnl`	Uniformization, Choice Functions and Well Orders in the Class of Trees. J. Symb. Log. Shmuel Lifsches, Saharon Shelah
1996	J	`jnl`	Very weak zero one law for random graphs with order and random binary functions. Random Struct. Algorithms Saharon Shelah
1996	J	`jnl`	Was Sierpinski Right? III: Can Continuum-cc. Times c.c.c. be Continuum-c.c.? Ann. Pure Appl. Log. Saharon Shelah
1995	J	`jnl`	A Combinatorial Forcing for Coding the Universe by a Real When There Are No Sharps. J. Symb. Log. Saharon Shelah, Lee J. Stanley
1995	J	`jnl`	A Model in Which Every Boolean Algebra Has Many Subalgebras. J. Symb. Log. James Cummings, Saharon Shelah
1995	J	`jnl`	Abstract Classes with Few Models Have 'Homogeneous-Universal' Models. J. Symb. Log. John T. Baldwin, Saharon Shelah
1995	J	`jnl`	Cardinal Invariants Above the Continuum. Ann. Pure Appl. Log. James Cummings, Saharon Shelah
1995	J	`jnl`	Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part B. J. Symb. Log. Tapani Hyttinen, Saharon Shelah
1995	J	`jnl`	Convergence in Homogeneous Random Graphs. Random Struct. Algorithms Tomasz Luczak, Saharon Shelah
1995	J	`jnl`	The Bounded Proper Forcing Axiom. J. Symb. Log. Martin Goldstern, Saharon Shelah
1995	J	`jnl`	The Combinatorics of Combinatorial Coding by a Real. J. Symb. Log. Saharon Shelah, Lee J. Stanley
1995	—	`conf`	There May Be No Nowhere Dense Ultrafilter. Logic Colloquium Saharon Shelah
1995	J	`jnl`	Universal Graphs without Large Cliques. J. Comb. Theory B Péter Komjáth, Saharon Shelah
1994	J	`jnl`	Can You Feel the Double Jump? Random Struct. Algorithms Saharon Shelah, Joel Spencer
1994	J	`jnl`	Cardinalities of Topologies with Small Base. Ann. Pure Appl. Log. Saharon Shelah
1994	J	`jnl`	Consequences of Arithmetic for Set Theory. J. Symb. Log. Lorenz Halbeisen, Saharon Shelah
1994	J	`jnl`	Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part A. J. Symb. Log. Tapani Hyttinen, Saharon Shelah
1994	J	`jnl`	Erratum. Arch. Math. Log. Saharon Shelah, Juris Steprans
1994	J	`jnl`	Essential Kurepa Trees versus Essential Jech-Kunen Trees. Ann. Pure Appl. Log. Renling Jin, Saharon Shelah
1994	J	`jnl`	Large J. Graph Theory Andreas Huck, Frank Niedermeyer, Saharon Shelah
1994	J	`jnl`	McColm conjecture. CoRR Yuri Gurevich, Neil Immerman, Saharon Shelah
1994	A*	`conf`	McColm's Conjecture LICS Yuri Gurevich, Neil Immerman, Saharon Shelah
1994	J	`jnl`	On finite rigid structures. CoRR Yuri Gurevich, Saharon Shelah
1994	J	`jnl`	Random Sparse Unary Predicates. Random Struct. Algorithms Saharon Shelah, Joel Spencer
1994	J	`jnl`	The Strength of the Isomorphism Property. J. Symb. Log. Renling Jin, Saharon Shelah
1994	J	`jnl`	Universal Theories Categorical in Power and kappa-Generated Models. Ann. Pure Appl. Log. Steven Givant, Saharon Shelah
1993	J	`jnl`	A Delta Ann. Pure Appl. Log. Uri Abraham, Saharon Shelah
1993	J	`jnl`	Borel Partitions of Infinite Subtrees of a Perfect Tree. Ann. Pure Appl. Log. Alain Louveau, Saharon Shelah, Boban Velickovic
1993	J	`jnl`	Delta J. Symb. Log. Haim Judah, Saharon Shelah
1993	J	`jnl`	Forcing Isomorphism. J. Symb. Log. John T. Baldwin, Michael C. Laskowski, Saharon Shelah
1993	J	`jnl`	Many simple cardinal invariants. Arch. Math. Log. Martin Goldstern, Saharon Shelah
1993	J	`jnl`	Maximal Subsets of Infinite Symmetric Groups. Notre Dame J. Formal Log. James E. Baumgartner, Saharon Shelah, Simon Thomas
1993	J	`jnl`	Maximal chains in Arch. Math. Log. Saharon Shelah, Juris Steprans
1993	J	`jnl`	Models with Second Order Properties V: A General Principle. Ann. Pure Appl. Log. Saharon Shelah, Claude Laflamme, Bradd Hart
1993	J	`jnl`	More on Simple Forcing Notions and Forcings with Ideals. Ann. Pure Appl. Log. Moti Gitik, Saharon Shelah
1993	J	`jnl`	More on cardinal arithmetic. Arch. Math. Log. Saharon Shelah
1993	J	`jnl`	On Closed P-Sets with ccc in the Space omega J. Symb. Log. Rvszard Frankiewicz, Saharon Shelah, Pawel Zbierski
1993	J	`jnl`	On the Existence of Atomic Models. J. Symb. Log. Michael C. Laskowski, Saharon Shelah
1993	J	`jnl`	On the Number of Automorphisms of Uncountable Models. J. Symb. Log. Saharon Shelah, Heikki Tuuri, Jouko A. Väänänen
1993	J	`jnl`	Pointwise Compact and Stable Sets of Measurable Functions. J. Symb. Log. Saharon Shelah, D. H. Fremlin
1993	J	`jnl`	Remarks on Strong Nonstructure Theorems. Notre Dame J. Formal Log. Tapani Hyttinen, Saharon Shelah, Heikki Tuuri
1993	J	`jnl`	Strong Measure Zero Sets Without Cohen Reals. J. Symb. Log. Martin Goldstern, Haim Judah, Saharon Shelah
1993	J	`jnl`	The Cichon Diagram. J. Symb. Log. Tomek Bartoszynski, Haim Judah, Saharon Shelah
1993	J	`jnl`	μ-complete Souslin trees on μ Arch. Math. Log. Menachem Kojman, Saharon Shelah
1992	J	`jnl`	Closed Measure Zero Sets. Ann. Pure Appl. Log. Tomek Bartoszynski, Saharon Shelah
1992	J	`jnl`	Combinatorial Properties of Hechler Forcing. Ann. Pure Appl. Log. Jörg Brendle, Haim Judah, Saharon Shelah
1992	J	`jnl`	Con(u>i). Arch. Math. Log. Saharon Shelah
1992	J	`jnl`	Intersection of ultrafilters may have measure zero. Arch. Math. Log. Tomek Bartoszynski, Saharon Shelah
1992	J	`jnl`	Nonexistence of Universal Orders in Many Cardinals. J. Symb. Log. Menachem Kojman, Saharon Shelah
1992	J	`jnl`	Sacks forcing, Laver forcing, and Martin's axiom. Arch. Math. Log. Haim Judah, Arnold W. Miller, Saharon Shelah
1992	J	`jnl`	The Hanf numbers of stationary logic II: Comparison with other logics. Notre Dame J. Formal Log. Saharon Shelah
1992	J	`jnl`	The Universality Spectrum of Stable Unsuperstable Theories. Ann. Pure Appl. Log. Menachem Kojman, Saharon Shelah
1992	J	`jnl`	The monadic theory of ( Arch. Math. Log. Shmuel Lifsches, Saharon Shelah
1991	J	`jnl`	Forcing Minimal Degree of Constructibility. J. Symb. Log. Haim Judah, Saharon Shelah
1991	J	`jnl`	Reflecting stationary sets and successors of singular cardinals. Arch. Math. Log. Saharon Shelah
1991	J	`jnl`	The Primal Framework II: Smoothness. Ann. Pure Appl. Log. John T. Baldwin, Saharon Shelah
1991	J	`jnl`	There Are Reasonably Nice Logics. J. Symb. Log. Wilfried Hodges, Saharon Shelah
1990	J	`jnl`	Around random algebra. Arch. Math. Log. Haim Judah, Saharon Shelah
1990	J	`jnl`	Categoricity of Theories in L Ann. Pure Appl. Log. Saharon Shelah, Michael Makkai
1990	—	`book`	Classification theory - and the number of non-isomorphic models, Second Edition. Saharon Shelah
1990	J	`jnl`	Full Reflection of Stationary Sets Below aleph J. Symb. Log. Thomas Jech, Saharon Shelah
1990	J	`jnl`	Nondeterministic Linear-Time Tasks May Require Substantially Nonlinear Deterministic Time in the Case of Sublinear Work Space J. ACM Yuri Gurevich, Saharon Shelah
1990	J	`jnl`	Ramsey Ultrafilters and the Reaping Number - Con(r<u). Ann. Pure Appl. Log. Martin Goldstern, Saharon Shelah
1990	J	`jnl`	Strong Negative Partition Above the Continuum. J. Symb. Log. Saharon Shelah
1990	J	`jnl`	The Borel Conjecture. Ann. Pure Appl. Log. Haim Judah, Saharon Shelah, W. Hugh Woodin
1990	J	`jnl`	The Kunen-Miller Chart (Lebesgue Measure, the Baire Property, Laver Reals and Preservation Theorems for Forcing). J. Symb. Log. Haim Judah, Saharon Shelah
1990	J	`jnl`	The Nonaxiomatizability of L(Q Notre Dame J. Formal Log. Saharon Shelah, Charles Steinhorn
1990	J	`jnl`	The Primal Framework I. Ann. Pure Appl. Log. John T. Baldwin, Saharon Shelah
1989	J	`jnl`	A Dichotomy Theorem for Regular Types. Ann. Pure Appl. Log. Ehud Hrushovski, Saharon Shelah
1989	J	`jnl`	Delta Ann. Pure Appl. Log. Jaime I. Ihoda, Saharon Shelah
1989	J	`jnl`	Homogeneity of infinite permutation groups. Arch. Math. Log. Saharon Shelah, Simon Thomas
1989	J	`jnl`	Martin's Axioms, Measurability and Equiconsistency Results. J. Symb. Log. Jaime I. Ihoda, Saharon Shelah
1989	J	`jnl`	Near Coherence of Filters III: A Simplified Consistency Proof. Notre Dame J. Formal Log. Andreas Blass, Saharon Shelah
1989	—	`conf`	Nearly Linear Time. Logic at Botik Yuri Gurevich, Saharon Shelah
1989	J	`jnl`	On certain indestructibility of strong cardinals and a question of Hajnal. Arch. Math. Log. Moti Gitik, Saharon Shelah
1989	J	`jnl`	On the Existence of Regular Types. Ann. Pure Appl. Log. Saharon Shelah, Steven Buechler
1989	J	`jnl`	On the Strength of the Interpretation Method. J. Symb. Log. Yuri Gurevich, Saharon Shelah
1989	J	`jnl`	Subgroups of Small Index in Infinite Symmetric Groups II. J. Symb. Log. Saharon Shelah, Simon Thomas
1989	J	`jnl`	The Cofinality of Cardinal Invariants Related to Measure and Category. J. Symb. Log. Tomek Bartoszynski, Jaime I. Ihoda, Saharon Shelah
1989	J	`jnl`	The Number of Pairwise Non-Elementary-Embeddable Models. J. Symb. Log. Saharon Shelah
1989	J	`jnl`	Time Polynomial in Input or Output. J. Symb. Log. Yuri Gurevich, Saharon Shelah
1989	J	`jnl`	Uniformization Principles. J. Symb. Log. Alan H. Mekler, Saharon Shelah
1988	J	`jnl`	A graph which embeds all small graphs on any large set of vertices. Ann. Pure Appl. Log. Saharon Shelah
1988	J	`jnl`	Forcing Constructions for Uncountably Chromatic Graphs. J. Symb. Log. Péter Komjáth, Saharon Shelah
1988	J	`jnl`	Isomorphic but not Lower Base-Isomorphic Cylindric Set Algebras. J. Symb. Log. Balázs Biró, Saharon Shelah
1988	A*	`conf`	Nondeterministic Linear-Time Tasks May Require Substantially Nonlinear Deterministic Time in the Case of Sublinear Work Space STOC Yuri Gurevich, Saharon Shelah
1988	J	`jnl`	Number of strongly aleph Ann. Pure Appl. Log. Saharon Shelah
1988	J	`jnl`	Some notes on iterated forcing with 2 Notre Dame J. Formal Log. Saharon Shelah
1988	J	`jnl`	Souslin Forcing. J. Symb. Log. Jaime I. Ihoda, Saharon Shelah
1987	J	`jnl`	A theorem and some consistency results in partition calculus. Ann. Pure Appl. Log. Saharon Shelah, Lee J. Stanley
1987	J	`jnl`	Combinatorial problems on trees: Partitions, δ-systems and large free subtrees. Ann. Pure Appl. Log. Matatyahu Rubin, Saharon Shelah
1987	J	`jnl`	Existence of many L Ann. Pure Appl. Log. Saharon Shelah
1987	J	`jnl`	Expected Computation Time for Hamiltonian Path Problem. SIAM J. Comput. Yuri Gurevich, Saharon Shelah
1987	J	`jnl`	Extraspecial p-groups. Ann. Pure Appl. Log. Saharon Shelah, Juris Steprans
1987	J	`jnl`	Nonconvergence, undecidability, and intractability in asymptotic problems. Ann. Pure Appl. Log. Kevin J. Compton, C. Ward Henson, Saharon Shelah
1987	J	`jnl`	On the Complexity of the Elzinga-Hearn Algorithm for the 1-Center Problem. Math. Oper. Res. Zvi Drezner, Saharon Shelah
1987	J	`jnl`	On the number of strongly aleph Ann. Pure Appl. Log. Saharon Shelah
1987	J	`jnl`	Remarks on superatomic boolean algebras. Ann. Pure Appl. Log. James E. Baumgartner, Saharon Shelah
1987	J	`jnl`	Semiproper Forcing Axiom Implies Martin Maximum but Not PFA J. Symb. Log. Saharon Shelah
1987	J	`jnl`	There may be simple Paleph Ann. Pure Appl. Log. Andreas Blass, Saharon Shelah
1987	A*	`conf`	Threshold Spectra for Random Graphs STOC Saharon Shelah, Joel Spencer
1987	J	`jnl`	Uncountable groups have many nonconjugate subgroups. Ann. Pure Appl. Log. Saharon Shelah
1986	J	`jnl`	0 J. Symb. Log. Matthew Foreman, Menachem Magidor, Saharon Shelah
1986	J	`jnl`	Definability by Constant-Depth Polynomial-Size Circuits Inf. Control. Larry Denenberg, Yuri Gurevich, Saharon Shelah
1986	J	`jnl`	Fixed-point extensions of first-order logic. Ann. Pure Appl. Log. Yuri Gurevich, Saharon Shelah
1986	J	`jnl`	On power of singular cardinals. Notre Dame J. Formal Log. Saharon Shelah
1986	J	`jnl`	On the Intersection of Closed Unbounded Sets. J. Symb. Log. Uri Abraham, Saharon Shelah
1986	J	`jnl`	On the Number of Nonisomorphic Models of an Infinitary Theory Which has the Infinitary Order Property, Part A. J. Symb. Log. Rami P. Grossberg, Saharon Shelah
1986	J	`jnl`	On the nonaxiomatizability of some logics by finitely many schemas. Notre Dame J. Formal Log. Saharon Shelah, Charles Steinhorn
1986	J	`jnl`	Souslin trees and successors of singular cardinals. Ann. Pure Appl. Log. Shai Ben-David, Saharon Shelah
1986	J	`jnl`	Stationary logic and its friends. II. Notre Dame J. Formal Log. Alan H. Mekler, Saharon Shelah
1986	J	`jnl`	The Hanf number of stationary logic. Notre Dame J. Formal Log. Matt Kaufmann, Saharon Shelah
1985	J	`jnl`	Classification theory over a predicate. I. Notre Dame J. Formal Log. Anand Pillay, Saharon Shelah
1985	A*	`conf`	Fixed-Point Extensions of First-Order Logic FOCS Yuri Gurevich, Saharon Shelah
1985	J	`jnl`	Incompactness in regular cardinals. Notre Dame J. Formal Log. Saharon Shelah
1985	J	`jnl`	Monadic logic and löwenheim numbers. Ann. Pure Appl. Log. Saharon Shelah
1985	J	`jnl`	More on the weak diamond. Ann. Pure Appl. Log. Saharon Shelah
1985	J	`jnl`	Narrow boolean algebras. Ann. Pure Appl. Log. Robert Bonnet, Saharon Shelah
1985	J	`jnl`	On random models of finite power and monadic logic. Discret. Math. Matt Kaufmann, Saharon Shelah
1985	J	`jnl`	On the Structure of Ext(A, Z) in ZFC J. Symb. Log. G. Sageev, Saharon Shelah
1985	J	`jnl`	On the consistency of some partition theorems for continuous colorings, and the structure of aleph Ann. Pure Appl. Log. Uri Abraham, Matatyahu Rubin, Saharon Shelah
1985	J	`jnl`	On the possible number no(M)= the number of nonisomorphic models L Notre Dame J. Formal Log. Saharon Shelah
1985	J	`jnl`	Remarks in abstract model theory. Ann. Pure Appl. Log. Saharon Shelah
1985	J	`jnl`	Second-order quantifiers and the complexity of theories. Notre Dame J. Formal Log. John T. Baldwin, Saharon Shelah
1985	J	`jnl`	Some exact equiconsistency results in set theory. Notre Dame J. Formal Log. Leo Harrington, Saharon Shelah
1985	J	`jnl`	Stationary logic and its friends. I. Notre Dame J. Formal Log. Alan H. Mekler, Saharon Shelah
1985	J	`jnl`	The Decision Problem for Branching Time Logic. J. Symb. Log. Yuri Gurevich, Saharon Shelah
1984	J	`jnl`	A Decidable Subclass of the Minimal Godel Class with Identity. J. Symb. Log. Warren D. Goldfarb, Yuri Gurevich, Saharon Shelah
1984	J	`jnl`	A nonconservativity result on global choice. Ann. Pure Appl. Log. Matt Kaufmann, Saharon Shelah
1984	J	`jnl`	A pair of nonisomorphic ≡ Notre Dame J. Formal Log. Saharon Shelah
1984	J	`jnl`	Countably decomposable admissible sets. Ann. Pure Appl. Log. Menachem Magidor, Saharon Shelah, Jonathan Stavi
1984	J	`jnl`	Diamonds, Uniformization. J. Symb. Log. Saharon Shelah
1984	J	`jnl`	Existentially closed structures in the power of the continuum. Ann. Pure Appl. Log. Donato Giorgetta, Saharon Shelah
1984	J	`jnl`	Forcing the Failure of Ch by Adding a Real. J. Symb. Log. Saharon Shelah, W. Hugh Woodin
1984	J	`jnl`	More on Proper Forcing. J. Symb. Log. Saharon Shelah
1984	J	`jnl`	On universal graphs without instances of CH. Ann. Pure Appl. Log. Saharon Shelah
1983	J	`jnl`	Forcing Closed Unbounded Sets. J. Symb. Log. Uri Abraham, Saharon Shelah
1983	J	`jnl`	Interpreting Second-Order Logic in the Monadic Theory of Order. J. Symb. Log. Yuri Gurevich, Saharon Shelah
1983	J	`jnl`	Models with second order properties IV. A general method and eliminating diamonds. Ann. Pure Appl. Log. Saharon Shelah
1983	J	`jnl`	On the Expressibility Hierarchy of Magidor-Malitz Quantifiers. J. Symb. Log. Matatyahu Rubin, Saharon Shelah
1983	J	`jnl`	On the Standard Part of Nonstandard Models of Set Theory. J. Symb. Log. Menachem Magidor, Saharon Shelah, Jonathan Stavi
1983	J	`jnl`	Positive results in abstract model theory: a theory of compact logics. Ann. Pure Appl. Log. Johann A. Makowsky, Saharon Shelah
1983	J	`jnl`	Rabin's Uniformization Problem. J. Symb. Log. Yuri Gurevich, Saharon Shelah
1983	J	`jnl`	Random Models and the Godel Case of the Decision Problem. J. Symb. Log. Yuri Gurevich, Saharon Shelah
1983	A*	`conf`	Reasoning with Time and Chance (Extended Abstract). ICALP Daniel Lehmann, Saharon Shelah
1983	J	`jnl`	The Monadic Theory of omega J. Symb. Log. Yuri Gurevich, Menachem Magidor, Saharon Shelah
1982	J	`jnl`	Forcing With Stable Posets. J. Symb. Log. Uri Abraham, Saharon Shelah
1982	J	`jnl`	Monadic theory of order and topology in ZFC. Ann. Math. Log. Yuri Gurevich, Saharon Shelah
1982	J	`jnl`	On the number of nonisomorphic models in L Notre Dame J. Formal Log. Saharon Shelah
1982	J	`jnl`	Reasoning with Time and Chance Inf. Control. Daniel Lehmann, Saharon Shelah
1981	J	`jnl`	Canonization Theorems and Applications. J. Symb. Log. Saharon Shelah
1981	J	`jnl`	Models with second order properties. III. Omitting types for Arch. Math. Log. Saharon Shelah
1981	J	`jnl`	On Fleissner's diamond. Notre Dame J. Formal Log. Saharon Shelah
1981	J	`jnl`	On saturation for a predicate. Notre Dame J. Formal Log. Saharon Shelah
1981	J	`jnl`	On the number of nonisomorphic models of cardinality λ L Notre Dame J. Formal Log. Saharon Shelah
1981	J	`jnl`	On uncountable Boolean algebras with no uncountable pairwise comparable or incomparable sets of elements. Notre Dame J. Formal Log. Saharon Shelah
1980	J	`jnl`	A Note on Cardinal Exponentiation. J. Symb. Log. Saharon Shelah
1980	J	`jnl`	Independence Results. J. Symb. Log. Saharon Shelah
1980	J	`jnl`	Independence of Strong Partition Relation for Small Cardinals, and the Free-Subset Problem. J. Symb. Log. Saharon Shelah
1980	J	`jnl`	On the Elementary Equivalence of Automorphism Groups of Boolean Algebras; Downward Skolem Lowenheim Theorems and Compactness of Related Quantifiers. J. Symb. Log. Matatyahu Rubin, Saharon Shelah
1980	A*	`conf`	On the Temporal Analysis of Fairness. POPL Dov M. Gabbay, Amir Pnueli, Saharon Shelah, Jonathan Stavi
1979	J	`jnl`	Algebraically Closed Groups of Large Cardinality. J. Symb. Log. Saharon Shelah, Martin Ziegler
1979	J	`jnl`	Hanf Number of Omitting Type for Simple First-Order Theories. J. Symb. Log. Saharon Shelah
1979	J	`jnl`	Modest Theory of Short Chains. II. J. Symb. Log. Yuri Gurevich, Saharon Shelah
1979	J	`jnl`	On Uniqueness of Prime Models. J. Symb. Log. Saharon Shelah
1978	J	`jnl`	End Extensions and Numbers of Countable Models. J. Symb. Log. Saharon Shelah
1978	J	`jnl`	On the Number of Minimal Models. J. Symb. Log. Saharon Shelah
1976	J	`jnl`	Decomposing Uncountable Squares to Countably Many Chains. J. Comb. Theory A Saharon Shelah
1974	J	`jnl`	A Substitute for Hall's Theorem for Families with Infinite Sets. J. Comb. Theory A Saharon Shelah
1973	J	`jnl`	Some Counterexamples in the Partition Calculus. J. Comb. Theory A Fred Galvin, Saharon Shelah
1973	J	`jnl`	Weak Definability in Infinitary Languages. J. Symb. Log. Saharon Shelah
1972	J	`jnl`	On Models with Power-Like Ordering. J. Symb. Log. Saharon Shelah
1972	J	`jnl`	On Power-like Models for Hyperinaccessible Cardinals. J. Symb. Log. James H. Schmerl, Saharon Shelah
1972	J	`jnl`	Uniqueness and Characterization of Prime Models over Sets for Totally Transcendental First-Order Theories. J. Symb. Log. Saharon Shelah
1970	J	`jnl`	On Theories T Categorical in absolut T. J. Symb. Log. Saharon Shelah
1970	J	`jnl`	On the Cardinality of Ultraproduct of Finite Sets. J. Symb. Log. Saharon Shelah