Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSaharon Shelah
Saharan Shelah
Person information
- affiliation: Hebrew University of Jerusalem, Institute of Mathematics, Israel
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 1990
[b1]Saharon Shelah:
Classification theory - and the number of non-isomorphic models, Second Edition. Studies in logic and the foundations of mathematics 92, North-Holland 1990, ISBN 978-0-444-70260-9, pp. I-XXXIV, 1-705
Journal Articles
- 2024
- [j426]Saharon Shelah, Juris Steprans:
Some variations on the splitting number. Ann. Pure Appl. Log. 175(Issue 1, Part B): 103321 (2024) - [j425]Haim Horowitz, Saharon Shelah:
A Borel maximal eventually different family. Ann. Pure Appl. Log. 175(Issue 1, Part B): 103334 (2024) - [j424]M. Malliaris, Saharon Shelah:
Some simple theories from a Boolean algebra point of view. Ann. Pure Appl. Log. 175(Issue 1, Part B): 103345 (2024) - [j423]John T. Baldwin, Saharon Shelah:
Maximal models up to the first measurable in ZFC. J. Math. Log. 24(1): 2250011:1-2250011:27 (2024) - 2023
- [j422]Saharon Shelah, Jouko Väänänen
:
Positive logics. Arch. Math. Log. 62(1-2): 207-223 (2023) - [j421]Haim Horowitz, Saharon Shelah:
On the non-existence of κ-mad families. Arch. Math. Log. 62(7-8): 1033-1039 (2023) - [j420]Lorenz Halbeisen, Riccardo Plati, Salome Schumacher, Saharon Shelah:
Four cardinals and their relations in ZF. Ann. Pure Appl. Log. 174(2): 103200 (2023) - [j419]Saharon Shelah, Otmar Spinas:
Different cofinalities of tree ideals. Ann. Pure Appl. Log. 174(8): 103290 (2023) - [j418]Jörg Brendle, Lorenz Halbeisen, Lukas Daniel Klausner, Marc Lischka, Saharon Shelah:
Halfway new cardinal characteristics. Ann. Pure Appl. Log. 174(9): 103303 (2023) - [j417]Itay Kaplan, Nicholas Ramsey, Saharon Shelah:
Exact saturation in pseudo-elementary classes for simple and stable theories. J. Math. Log. 23(2): 2250020:1-2250020:26 (2023) - [j416]Saharon Shelah, Lajos Soukup:
On κ-Homogeneous, but Not κ-Transitive Permutation Groups. J. Symb. Log. 88(1): 363-380 (2023) - [j415]Saharon Shelah:
Nice ℵ1 generated non-P-points, Part I. Math. Log. Q. 69(1): 117-129 (2023) - 2022
- [j414]Will Brian, Alan Dow, Saharon Shelah:
The independence of GCH and a combinatorial principle related to Banach-Mazur games. Arch. Math. Log. 61(1-2): 1-17 (2022) - [j413]John T. Baldwin, Saharon Shelah:
Hanf numbers for extendibility and related phenomena. Arch. Math. Log. 61(3-4): 437-464 (2022) - [j412]Haim Horowitz, Saharon Shelah:
On the definability of mad families of vector spaces. Ann. Pure Appl. Log. 173(4): 103079 (2022) - [j411]Vera Fischer, Saharon Shelah:
The spectrum of independence, II. Ann. Pure Appl. Log. 173(9): 103161 (2022) - [j410]Itay Kaplan, Ori Segel, Saharon Shelah:
Boolean Types in Dependent Theories. J. Symb. Log. 87(4): 1349-1373 (2022) - [j409]Saharon Shelah:
Forcing axioms for λ-complete μ + $\mu ^+$ -c.c. Math. Log. Q. 68(1): 6-26 (2022) - [j408]Haim Horowitz, Saharon Shelah:
κ-Madness and definability. Math. Log. Q. 68(3): 346-351 (2022) - 2021
- [j407]Saharon Shelah, Andrés Villaveces:
The Hart-Shelah example, in stronger logics. Ann. Pure Appl. Log. 172(6): 102958 (2021) - [j406]Saharon Shelah, Juris Steprans:
Universal graphs and functions on ω1. Ann. Pure Appl. Log. 172(8): 102986 (2021) - [j405]Itay Kaplan, Nicholas Ramsey, Saharon Shelah:
Criteria for exact saturation and singular compactness. Ann. Pure Appl. Log. 172(9): 102992 (2021) - [j404]Saharon Shelah:
Applying Set Theory. Axioms 10(4): 329 (2021) - [j403]Saharon Shelah, Lutz Strüngmann:
Infinite combinatorics in mathematical biology. Biosyst. 204: 104392 (2021) - [j402]M. Malliaris, Saharon Shelah:
Notes on the stable Regularity Lemma. Bull. Symb. Log. 27(4): 415-425 (2021) - [j401]Mohammad Golshani, Saharon Shelah:
Specializing trees and answer to a question of Williams. J. Math. Log. 21(1): 2050023:1-2050023:20 (2021) - [j400]Martin Goldstern, Jakob Kellner, Diego Alejandro Mejía, Saharon Shelah:
Controlling cardinal characteristics without adding reals. J. Math. Log. 21(3): 2150018:1-2150018:29 (2021) - [j399]Mirna Dzamonja, Saharon Shelah:
On Wide Aronszajn Trees in the presence of MA. J. Symb. Log. 86(1): 210-223 (2021) - [j398]Heike Mildenberger, Saharon Shelah:
Higher Miller forcing May collapse Cardinals. J. Symb. Log. 86(4): 1721-1744 (2021) - [j397]Saharon Shelah:
Atomic saturation of reduced powers. Math. Log. Q. 67(1): 18-42 (2021) - 2020
- [j396]Dilip Raghavan, Saharon Shelah:
A small ultrafilter number at smaller cardinals. Arch. Math. Log. 59(3-4): 325-334 (2020) - [j395]Heike Mildenberger, Saharon Shelah:
A version of κ-Miller forcing. Arch. Math. Log. 59(7-8): 879-892 (2020) - [j394]Shimon Garti, Menachem Magidor, Saharon Shelah:
Infinite Monochromatic Paths and a Theorem of Erdős-Hajnal-Rado. Electron. J. Comb. 27(2): 2 (2020) - [j393]Wieslaw Kubis, Saharon Shelah:
Homogeneous Structures with nonuniversal automorphism Groups. J. Symb. Log. 85(2): 817-827 (2020) - [j392]Clovis Hamel, Haim Horowitz, Saharon Shelah:
Turing invariant sets and the perfect set property. Math. Log. Q. 66(2): 247-250 (2020) - [j391]Saharon Shelah:
The Hanf number in the strictly stable case. Math. Log. Q. 66(3): 280-294 (2020) - [j390]Gianluca Paolini, Saharon Shelah:
Some Results on Polish Groups. Reports Math. Log. 55: 61-71 (2020) - 2019
- [j389]Michael C. Laskowski, Saharon Shelah:
A strong failure of $$\aleph _0$$ ℵ 0 -stability for atomic classes. Arch. Math. Log. 58(1-2): 99-118 (2019) - [j388]Haim Horowitz, Saharon Shelah:
On the non-existence of mad families. Arch. Math. Log. 58(3-4): 325-338 (2019) - [j387]Vera Fischer, Saharon Shelah:
The spectrum of independence. Arch. Math. Log. 58(7-8): 877-884 (2019) - [j386]Alan Dow, Saharon Shelah:
Pseudo P-points and splitting number. Arch. Math. Log. 58(7-8): 1005-1027 (2019) - [j385]Maryanthe Malliaris, Saharon Shelah:
A new look at interpretability and saturation. Ann. Pure Appl. Log. 170(5): 642-671 (2019) - [j384]Shahram Mohsenipour, Saharon Shelah:
On Finitary Hindman Numbers. Comb. 39(5): 1185-1189 (2019) - [j383]Péter Komjáth, Saharon Shelah:
Universal graphs omitting finitely many finite graphs. Discret. Math. 342(12) (2019) - [j382]Gianluca Paolini, Saharon Shelah:
Polish topologies for graph products of groups. J. Lond. Math. Soc. 100(2): 383-403 (2019) - [j381]Ashutosh Kumar, Saharon Shelah:
On possible restrictions of the null ideal. J. Math. Log. 19(2): 1950008:1-1950008:14 (2019) - [j380]Enrique Casanovas, Saharon Shelah:
Universal Theories and compactly Expandable Models. J. Symb. Log. 84(3): 1215-1223 (2019) - [j379]Denis I. Saveliev, Saharon Shelah:
Ultrafilter extensions do not preserve elementary equivalence. Math. Log. Q. 65(4): 511-516 (2019) - [j378]Heike Mildenberger, Saharon Shelah:
Specializing Aronszajn Trees with Strong Axiom A and Halving. Notre Dame J. Formal Log. 60(4): 587-616 (2019) - [j377]Andrzej Roslanowski, Saharon Shelah:
Borel sets without perfectly many overlapping translations. Reports Math. Log. 54: 3-43 (2019) - 2018
- [j376]Paul B. Larson, Saharon Shelah:
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. 57(7-8): 853-859 (2018) - [j375]Saharon Shelah, Sebastien Vasey:
Abstract elementary classes stable in ℵ0. Ann. Pure Appl. Log. 169(7): 565-587 (2018) - [j374]Daniel Palacín, Saharon Shelah:
On the class of flat stable theories. Ann. Pure Appl. Log. 169(8): 835-849 (2018) - [j373]Mohammad Golshani, Saharon Shelah:
On Cuts in Ultraproducts of linear Orders II. J. Symb. Log. 83(1): 29-39 (2018) - [j372]Ashutosh Kumar, Saharon Shelah:
Clubs on quasi measurable cardinals. Math. Log. Q. 64(1-2): 44-48 (2018) - [j371]Shimon Garti, Menachem Magidor, Saharon Shelah:
On the Spectrum of Characters of Ultrafilters. Notre Dame J. Formal Log. 59(3): 371-379 (2018) - [j370]Shahram Mohsenipour, Saharon Shelah:
Set Mappings on 4-Tuples. Notre Dame J. Formal Log. 59(3): 405-416 (2018) - 2017
- [j369]Saharon Shelah:
A parallel to the null ideal for inaccessible λ: Part I. Arch. Math. Log. 56(3-4): 319-383 (2017) - [j368]Pierre Matet, Saharon Shelah:
The nonstationary ideal on $$P_\kappa (\lambda )$$ P κ ( λ ) for $$\lambda $$ λ singular. Arch. Math. Log. 56(7-8): 911-934 (2017) - [j367]Arthur Fischer, Martin Goldstern, Jakob Kellner, Saharon Shelah:
Creature forcing and five cardinal characteristics in Cichoń's diagram. Arch. Math. Log. 56(7-8): 1045-1103 (2017) - [j366]Gianluca Paolini, Saharon Shelah:
No Uncountable Polish Group Can be a Right-Angled Artin Group. Axioms 6(2): 13 (2017) - [j365]Itay Kaplan, Saharon Shelah, Pierre Simon:
Exact saturation in simple and NIP theories. J. Math. Log. 17(1): 1750001:1-1750001:18 (2017) - [j364]Itay Kaplan, Saharon Shelah:
Decidability and Classification of the Theory of Integers with Primes. J. Symb. Log. 82(3): 1041-1050 (2017) - [j363]Paul B. Larson, Saharon Shelah:
Coding with canonical functions. Math. Log. Q. 63(5): 334-341 (2017) - [j362]Saharon Shelah:
Universal Structures. Notre Dame J. Formal Log. 58(2): 159-177 (2017) - 2016
- [j361]Saharon Shelah:
ZF + DC + AX4. Arch. Math. Log. 55(1-2): 239-294 (2016) - [j360]Pierre Matet, Cédric Péan, Saharon Shelah:
Cofinality of normal ideals on [λ]<κ I. Arch. Math. Log. 55(5-6): 799-834 (2016) - [j359]Gregory L. Cherlin, Saharon Shelah:
Universal graphs with a forbidden subgraph: Block path solidity. Comb. 36(3): 249-264 (2016) - [j358]Mohammad Golshani, Saharon Shelah:
On cuts in ultraproducts of linear orders I. J. Math. Log. 16(2): 1650008:1-1650008:34 (2016) - [j357]John T. Baldwin, Michael C. Laskowski, Saharon Shelah:
Constructing Many Atomic Models in ℵ1. J. Symb. Log. 81(3): 1142-1162 (2016) - [j356]Saharon Shelah, Moran Cohen:
Stable theories and representation over sets. Math. Log. Q. 62(3): 140-154 (2016) - [j355]Saharon Shelah, Wolfgang Wohofsky:
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. 62(4-5): 434-438 (2016) - [j354]Itay Kaplan, Saharon Shelah:
Forcing a countable structure to belong to the ground model. Math. Log. Q. 62(6): 530-546 (2016) - 2015
- [j353]Saharon Shelah, Jouko A. Väänänen, Boban Velickovic:
Positional Strategies in Long Ehrenfeucht-FraïSSé Games. J. Symb. Log. 80(1): 285-300 (2015) - [j352]John T. Baldwin, Paul B. Larson, Saharon Shelah:
Almost Galois ω-Stable Classes. J. Symb. Log. 80(3): 763-784 (2015) - [j351]Saharon Shelah, Otmar Spinas:
Mad spectra. J. Symb. Log. 80(3): 901-916 (2015) - [j350]Saharon Shelah:
Models of PA: when two elements are necessarily order automorphic. Math. Log. Q. 61(6): 399-417 (2015) - [j349]Juliette Kennedy, Saharon Shelah, Jouko Väänänen:
Regular Ultrapowers at Regular Cardinals. Notre Dame J. Formal Log. 56(3): 417-428 (2015) - 2014
- [j348]Heike Mildenberger, Saharon Shelah:
Many countable support iterations of proper forcings preserve Souslin trees. Ann. Pure Appl. Log. 165(2): 573-608 (2014) - [j347]Noam Greenberg, Saharon Shelah:
Models of Cohen measurability. Ann. Pure Appl. Log. 165(10): 1557-1576 (2014) - [j346]M. Malliaris, Saharon Shelah:
Model-Theoretic Properties of Ultrafilters Built by Independent families of Functions. J. Symb. Log. 79(1): 103-134 (2014) - [j345]Itay Kaplan, Saharon Shelah:
Examples in dependent Theories. J. Symb. Log. 79(2): 585-619 (2014) - [j344]John T. Baldwin, Saharon Shelah:
A Hanf number for saturation and omission: the superstable case. Math. Log. Q. 60(6): 437-443 (2014) - [j343]Andrzej Roslanowski, Saharon Shelah:
Monotone hulls for \({\mathcal {N}}\cap {\mathcal {M}}\). Period. Math. Hung. 69(1): 79-95 (2014) - 2013
- [j342]Andrzej Roslanowski, Saharon Shelah:
More about λ-support iterations of (<λ)-complete forcing notions. Arch. Math. Log. 52(5-6): 603-629 (2013) - [j341]Adi Jarden, Saharon Shelah:
Non-forking frames in abstract elementary classes. Ann. Pure Appl. Log. 164(3): 135-191 (2013) - [j340]Moti Gitik, Saharon Shelah:
Applications of pcf for mild large cardinals to elementary embeddings. Ann. Pure Appl. Log. 164(9): 855-865 (2013) - [j339]Itay Kaplan, Saharon Shelah:
Chain conditions in dependent groups. Ann. Pure Appl. Log. 164(12): 1322-1337 (2013) - [j338]Martin Goldstern, Michael Pinsker, Saharon Shelah:
A Closed Algebra with a Non-Borel Clone and an Ideal with a Borel Clone. Int. J. Algebra Comput. 23(5): 1115-1126 (2013) - [j337]Saharon Shelah:
Large weight does not yield an irreducible base. Period. Math. Hung. 66(2): 131-137 (2013) - 2012
- [j336]Jakob Kellner, Saharon Shelah:
Creature forcing and large continuum: the joy of halving. Arch. Math. Log. 51(1-2): 49-70 (2012) - [j335]Philipp Lücke, Saharon Shelah:
External automorphisms of ultraproducts of finite models. Arch. Math. Log. 51(3-4): 433-441 (2012) - [j334]Saharon Shelah:
Universality among graphs omitting a complete bipartite graph. Comb. 32(3): 325-362 (2012) - [j333]Paul B. Larson, Nicholas Matteo, Saharon Shelah:
Majority decisions when abstention is possible. Discret. Math. 312(7): 1336-1352 (2012) - [j332]John T. Baldwin, Saharon Shelah:
The stability spectrum for Classes of Atomic Models. J. Math. Log. 12(1): 1250001 (2012) - [j331]Saharon Shelah, Pierre Simon:
Adding linear orders. J. Symb. Log. 77(2): 717-725 (2012) - [j330]Shimon Garti, Saharon Shelah:
A strong polarized relation. J. Symb. Log. 77(3): 766-776 (2012) - 2011
- [j329]Jakob Kellner, Saharon Shelah:
More on the pressing down game. Arch. Math. Log. 50(3-4): 477-501 (2011) - [j328]Saharon Shelah, Jindrich Zapletal:
Ramsey theorems for product of finite sets with submeasures. Comb. 31(2): 225-244 (2011) - [j327]Jakob Kellner, Saharon Shelah:
Saccharinity. J. Symb. Log. 76(4): 1153-1183 (2011) - [j326]Heike Mildenberger, Saharon Shelah:
The minimal cofinality of an ultrapower of ω and the cofinality of the symmetric groupcan be larger than +. J. Symb. Log. 76(4): 1322-1340 (2011) - [j325]Saharon Shelah:
Models of expansions of &equation image; with no end extensions. Math. Log. Q. 57(4): 341-365 (2011) - [j324]Andrzej Roslanowski, Saharon Shelah:
Reasonable Ultrafilters, Again. Notre Dame J. Formal Log. 52(2): 113-147 (2011) - [j323]Shimon Garti, Saharon Shelah:
Depth of Boolean Algebras. Notre Dame J. Formal Log. 52(3): 307-314 (2011) - 2010
- [j322]Saharon Shelah, Lutz Strüngmann:
Filtration-equivalent aleph1-separable abelian groups of cardinality aleph1. Ann. Pure Appl. Log. 161(7): 935-943 (2010) - [j321]Ilijas Farah, Saharon Shelah:
A Dichotomy for the number of Ultrapowers. J. Math. Log. 10(1-2) (2010) - [j320]Jakob Kellner, Saharon Shelah:
A Sacks real out of nowhere. J. Symb. Log. 75(1): 51-76 (2010) - [j319]Tomek Bartoszynski, Saharon Shelah:
Dual Borel Conjecture and Cohen reals. J. Symb. Log. 75(4): 1293-1310 (2010) - [j318]Saharon Shelah:
On long increasing chains modulo flat ideals. Math. Log. Q. 56(4): 397-399 (2010) - 2009
- [j317]Itay Kaplan, Saharon Shelah:
The automorphism tower of a centerless group without Choice. Arch. Math. Log. 48(8): 799-815 (2009) - [j316]Hayri Ardal, Ján Manuch, Moshe Rosenfeld, Saharon Shelah, Ladislav Stacho:
The Odd-Distance Plane Graph. Discret. Comput. Geom. 42(2): 132-141 (2009) - [j315]Saharon Shelah:
What majority decisions are possible. Discret. Math. 309(8): 2349-2364 (2009) - [j314]Jakob Kellner, Saharon Shelah:
Decisive creatures and large continuum. J. Symb. Log. 74(1): 73-104 (2009) - [j313]Saharon Shelah:
Model theory without choice? Categoricity. J. Symb. Log. 74(2): 361-401 (2009) - [j312]John T. Baldwin, Alexei Kolesnikov, Saharon Shelah:
The amalgamation spectrum. J. Symb. Log. 74(3): 914-928 (2009) - [j311]Todd Eisworth, Saharon Shelah:
Successors of singular cardinals and coloring theorems {II}. J. Symb. Log. 74(4): 1287-1309 (2009) - [j310]Paul B. Larson, Saharon Shelah:
Splitting stationary sets from weak forms of Choice. Math. Log. Q. 55(3): 299-306 (2009) - 2008
- [j309]Saharon Shelah, Alexander Usvyatsov:
More on SOP1 and SOP2. Ann. Pure Appl. Log. 155(1): 16-31 (2008) - [j308]Stefan Geschke, Saharon Shelah:
The number of openly generated Boolean algebras. J. Symb. Log. 73(1): 151-164 (2008) - [j307]John T. Baldwin, Saharon Shelah:
Examples of non-locality. J. Symb. Log. 73(3): 765-782 (2008) - [j306]Juliette Kennedy, Saharon Shelah, Jouko A. Väänänen:
Regular ultrafilters and finite square principles. J. Symb. Log. 73(3): 817-823 (2008) - [j305]Paul B. Larson, Saharon Shelah:
The stationary set splitting game. Math. Log. Q. 54(2): 187-193 (2008) - [j304]Andrzej Roslanowski, Saharon Shelah:
Generating ultrafilters in a reasonable way. Math. Log. Q. 54(2): 202-220 (2008) - [j303]Saharon Shelah:
Groupwise density cannot be much bigger than the unbounded number. Math. Log. Q. 54(4): 340-344 (2008) - 2007
- [j302]Andrzej Roslanowski, Saharon Shelah:
Universal forcing notions and ideals. Arch. Math. Log. 46(3-4): 179-196 (2007) - [j301]Heike Mildenberger, Saharon Shelah:
Increasing the groupwise density number by c.c.c. forcing. Ann. Pure Appl. Log. 149(1-3): 7-13 (2007) - [j300]Gregory L. Cherlin, Saharon Shelah:
Universal graphs with a forbidden subtree. J. Comb. Theory, Ser. B 97(3): 293-333 (2007) - [j299]Saharon Shelah:
Power set modulo small, the singular of uncountable cofinality. J. Symb. Log. 72(1): 226-242 (2007) - [j298]Mor Doron, Saharon Shelah:
Relational structures constructible by quantifier free definable operations. J. Symb. Log. 72(4): 1283-1298 (2007) - [j297]Jakob Kellner, Matti J. Pauna, Saharon Shelah:
Winning the pressing down game but not Banach-Mazur. J. Symb. Log. 72(4): 1323-1335 (2007) - [j296]Chanoch Havlin, Saharon Shelah:
Existence of EF-equivalent non-isomorphic models. Math. Log. Q. 53(2): 111-127 (2007) - [j295]Shimon Garti, Saharon Shelah:
Two cardinal models for singular µ. Math. Log. Q. 53(6): 636-641 (2007) - 2006
- [j294]Frank Niedermeyer, Saharon Shelah, Karsten Steffens:
The f-factor Problem for Graphs and the Hereditary Property. Arch. Math. Log. 45(6): 665-672 (2006) - [j293]Mirna Dzamonja, Saharon Shelah:
On properties of theories which preclude the existence of universal models. Ann. Pure Appl. Log. 139(1-3): 280-302 (2006) - [j292]Heike Mildenberger, Saharon Shelah, Boaz Tsaban:
Covering the Baire space by families which are not finitely dominating. Ann. Pure Appl. Log. 140(1-3): 60-71 (2006) - [j291]Saharon Shelah:
More on the revised GCH and the black box. Ann. Pure Appl. Log. 140(1-3): 133-160 (2006) - [j290]Sakaé Fuchino, Noam Greenberg, Saharon Shelah:
Models of real-valued measurability. Ann. Pure Appl. Log. 142(1-3): 380-397 (2006) - [j289]Saharon Shelah, Gábor Sági:
On weak and strong interpolation in algebraic logics. J. Symb. Log. 71(1): 104-118 (2006) - [j288]Andrzej Roslanowski, Saharon Shelah:
How much sweetness is there in the universe? Math. Log. Q. 52(1): 71-86 (2006) - [j287]Saharon Shelah, Jouko A. Väänänen:
Recursive logic frames. Math. Log. Q. 52(2): 151-164 (2006) - 2005
- [j286]Saharon Shelah:
On the Arrow property. Adv. Appl. Math. 34(2): 217-251 (2005) - [j285]Saharon Shelah, Jouko A. Väänänen:
A note on extensions of infinitary logic. Arch. Math. Log. 44(1): 63-69 (2005) - [j284]Saharon Shelah:
Middle diamond. Arch. Math. Log. 44(5): 527-560 (2005) - [j283]Todd Eisworth, Saharon Shelah:
Successors of singular cardinals and coloring theorems I. Arch. Math. Log. 44(5): 597-618 (2005) - [j282]Salma Kuhlmann, Saharon Shelah:
k-bounded exponential-logarithmic power series fields. Ann. Pure Appl. Log. 136(3): 284-296 (2005) - [j281]Péter Komjáth, Saharon Shelah:
Finite subgraphs of uncountably chromatic graphs. J. Graph Theory 49(1): 28-38 (2005) - [j280]Tapani Hyttinen, Olivier Lessmann, Saharon Shelah:
Interpreting Groups and Fields in some Nonelementary Classes. J. Math. Log. 5(1) (2005) - [j279]Bektur Sembiuly Baizhanov, John T. Baldwin, Saharon Shelah:
Subsets of superstable structures are weakly benign. J. Symb. Log. 70(1): 142-150 (2005) - [j278]Jakob Kellner, Saharon Shelah:
Preserving preservation. J. Symb. Log. 70(3): 914-945 (2005) - [j277]Mor Doron, Saharon Shelah:
A dichotomy in classifying quantifiers for finite models. J. Symb. Log. 70(4): 1297-1324 (2005) - [j276]Gábor Sági, Saharon Shelah:
On topological properties of ultraproducts of finite sets. Math. Log. Q. 51(3): 254-257 (2005) - [j275]Saharon Shelah:
Two cardinals models with gap one revisited. Math. Log. Q. 51(5): 437-447 (2005) - 2004
- [j274]Saharon Shelah:
On nice equivalence relations on ?2. Arch. Math. Log. 43(1): 31-64 (2004) - [j273]Saharon Shelah:
Forcing axiom failure for any lambda > aleph1. Arch. Math. Log. 43(3): 285-296 (2004) - [j272]Andrzej Roslanowski, Saharon Shelah:
Sweet & sour and other flavours of ccc forcing notions. Arch. Math. Log. 43(5): 583-664 (2004) - [j271]Mirna Dzamonja, Saharon Shelah:
On the existence of universal models. Arch. Math. Log. 43(7): 901-936 (2004) - [j270]Mirna Dzamonja, Saharon Shelah:
On lhd*-maximality. Ann. Pure Appl. Log. 125(1-3): 119-158 (2004) - [j269]Alexander Soifer, Saharon Shelah:
Axiom of choice and chromatic number: examples on the plane. J. Comb. Theory, Ser. A 105(2): 359-364 (2004) - [j268]Vladimir Kanovei, Saharon Shelah:
A definable nonstandard model of the reals. J. Symb. Log. 69(1): 159-164 (2004) - [j267]Uri Abraham, Saharon Shelah:
Ladder gaps over stationary sets. J. Symb. Log. 69(2): 518-532 (2004) - [j266]Juliette Kennedy, Saharon Shelah:
More on regular reduced products. J. Symb. Log. 69(4): 1261-1266 (2004) - 2003
- [j265]Saharon Shelah:
More Jonsson Algebras. Arch. Math. Log. 42(1): 1-44 (2003) - [j264]Jörg Brendle, Saharon Shelah:
Evasion and prediction. Arch. Math. Log. 42(4): 349-360 (2003) - [j263]Saharon Shelah:
On ultraproducts of Boolean algebras and irr. Arch. Math. Log. 42(6): 569-581 (2003) - [j262]Heike Mildenberger, Saharon Shelah:
Specialising Aronszajn trees by countable approximations. Arch. Math. Log. 42(7): 627-647 (2003) - [j261]Tomek Bartoszynski, Saharon Shelah:
Strongly meager sets of size continuum. Arch. Math. Log. 42(8): 769-779 (2003) - [j260]Michael C. Laskowski, Saharon Shelah:
Karp complexity and classes with the independence property. Ann. Pure Appl. Log. 120(1-3): 263-283 (2003) - [j259]Wieslaw Kubis, Saharon Shelah:
Analytic colorings. Ann. Pure Appl. Log. 121(2-3): 145-161 (2003) - [j258]Péter Komjáth, Saharon Shelah:
A Partition Theorem for Scattered Order Types. Comb. Probab. Comput. 12(5-6): 621-626 (2003) - [j257]Jaroslav Nesetril, Saharon Shelah:
On the order of countable graphs. Eur. J. Comb. 24(6): 649-663 (2003) - [j256]Saharon Shelah, Alexander Soifer:
Axiom of choice and chromatic number of the plane. J. Comb. Theory, Ser. A 103(2): 387-391 (2003) - [j255]Paul B. Larson, Saharon Shelah:
Bounding by Canonical Functions, with CH. J. Math. Log. 3(2) (2003) - [j254]Mirna Dzamonja, Saharon Shelah:
Universal graphs at the successor of a singular cardinal. J. Symb. Log. 68(2): 366-388 (2003) - [j253]Tomek Bartoszynski, Saharon Shelah, Boaz Tsaban:
Additivity properties of topological diagonalizations. J. Symb. Log. 68(4): 1254-1260 (2003) - 2002
- [j252]Saharon Shelah:
On the existence of large subsets of [lambda]kappa which contain no unbounded non-stationary subsets. Arch. Math. Log. 41(3): 207-213 (2002) - [j251]Tomek Bartoszynski, Saharon Shelah:
Strongly meager and strong measure zero sets. Arch. Math. Log. 41(3): 245-250 (2002) - [j250]Saharon Shelah:
PCF and infinite free subsets in an algebra. Arch. Math. Log. 41(4): 321-359 (2002) - [j249]Saharon Shelah:
More constructions for Boolean algebras. Arch. Math. Log. 41(5): 401-441 (2002) - [j248]Saharon Shelah, Pauli Väisänen:
Almost free groups and Ehrenfeucht-Fraïssé games for successors of singular cardinals. Ann. Pure Appl. Log. 118(1-2): 147-173 (2002) - [j247]Yo Matsubara, Saharon Shelah:
Nowhere Precipitousness of the non-stationary Ideal over. J. Math. Log. 2(1) (2002) - [j246]Hirotaka Kikyo, Saharon Shelah:
The Strict Order Property and Generic Automorphisms. J. Symb. Log. 67(1): 214-216 (2002) - [j245]Heike Mildenberger, Saharon Shelah:
The Relative Consistency of g < cf (Sym(omega)). J. Symb. Log. 67(1): 297-314 (2002) - [j244]Uri Abraham, Saharon Shelah:
Coding with Ladders A Well Ordering of The Reals. J. Symb. Log. 67(2): 579-597 (2002) - [j243]Andreas Blass, Yuri Gurevich, Saharon Shelah:
On Polynomial Time Computation over Unordered Structures. J. Symb. Log. 67(3): 1093-1125 (2002) - [j242]Juliette Kennedy, Saharon Shelah:
On Regular Reduced Products. J. Symb. Log. 67(3): 1169-1177 (2002) - [j241]Saharon Shelah, Akito Tsuboi:
Definability of Initial Segments. Notre Dame J. Formal Log. 43(2): 65-73 (2002) - [j240]Martin Goldstern, Saharon Shelah:
Antichains in Products of Linear Orders. Order 19(3): 213-222 (2002) - 2001
- [j239]Michael C. Laskowski, Saharon Shelah:
The Karp complexity of unstable classes. Arch. Math. Log. 40(2): 69-88 (2001) - [j238]Moti Gitik, Saharon Shelah:
On some configurations related to the Shelah Weak Hypothesis. Arch. Math. Log. 40(8): 639-650 (2001) - [j237]Menachem Kojman, Saharon Shelah:
Fallen cardinals. Ann. Pure Appl. Log. 109(1-2): 117-129 (2001) - [j236]Sakaé Fuchino, Stefan Geschke, Saharon Shelah, Lajos Soukup:
On the weak Freese-Nation property of complete Boolean algebras. Ann. Pure Appl. Log. 110(1-3): 89-105 (2001) - [j235]Andreas Blass, Yuri Gurevich, Saharon Shelah:
Addendum to "Choiceless Polynomial Time": Ann. Pure Appl. Logic 100 (1999) 141-187. Ann. Pure Appl. Log. 112(1): 117 (2001) - [j234]Lorenz Halbeisen, Saharon Shelah:
Relations between some cardinals in the absence of the Axiom of Choice. Bull. Symb. Log. 7(2): 237-261 (2001) - [j233]Saharon Shelah:
Consistently There Is No Non Trivial CCC Forcing Notion with the Sacks or Laver Property. Comb. 21(2): 309-319 (2001) - [j232]Tomek Bartoszynski, Saharon Shelah:
Strongly meager Sets do not Form an Ideal. J. Math. Log. 1(1) (2001) - [j231]Saharon Shelah, Juris Steprans:
The Covering Numbers of Mycielski Ideals Are All Equal. J. Symb. Log. 66(2): 707-718 (2001) - [j230]Aleksander Blaszczyk, Saharon Shelah:
Regular Subalgebras of Complete Boolean Algebras. J. Symb. Log. 66(2): 792-800 (2001) - [j229]Tapani Hyttinen, Saharon Shelah:
Main Gap for Locally Saturated Elementary Submodels of A Homogeneous Structure. J. Symb. Log. 66(3): 1286-1302 (2001) - [j228]Saharon Shelah, Lee J. Stanley:
Forcing Many Positive Polarized Partition Relations Between A Cardinal and Its Powerset. J. Symb. Log. 66(3): 1359-1370 (2001) - [j227]John T. Baldwin, Saharon Shelah:
Model Companions of TAut for Stable T. Notre Dame J. Formal Log. 42(3): 129-142 (2001) - 2000
- [j226]Menachem Kojman, Saharon Shelah:
The PCF Trichotomy Theorem does not hold for short sequences. Arch. Math. Log. 39(3): 213-218 (2000) - [j225]Andrzej Roslanowski, Saharon Shelah:
More on Cardinal Invariants of Boolean Algebras. Ann. Pure Appl. Log. 103(1-3): 1-37 (2000) - [j224]Tapani Hyttinen, Saharon Shelah:
Strong Splitting in Stable Homogeneous Models. Ann. Pure Appl. Log. 103(1-3): 201-228 (2000) - [j223]Mariusz Rabus, Saharon Shelah:
Covering a Function on the Plane by Two Continuous Functions on an Uncountable Square - the Consistency. Ann. Pure Appl. Log. 103(1-3): 229-240 (2000) - [j222]Heike Mildenberger, Saharon Shelah:
Changing cardinal characteristics without changing Omega-sequences or cofinalities. Ann. Pure Appl. Log. 106(1-3): 207-260 (2000) - [j221]Saharon Shelah, Lee J. Stanley:
Filters, Cohen Sets and Consistent Extensions of The Erdös-Dushnik-Miller Theorem. J. Symb. Log. 65(1): 259-271 (2000) - [j220]Saharon Shelah, Pauli Väisänen:
On Inverse gamma-Systems and The Number of Linfinite lambda-Equivalent, Non-Isomorphic Models for lambda Singular. J. Symb. Log. 65(1): 272-284 (2000) - [j219]Péter Komjáth, Saharon Shelah:
Two Consistency Results on Set Mappings. J. Symb. Log. 65(1): 333-338 (2000) - [j218]Tomek Bartoszynski, Andrzej Roslanowski, Saharon Shelah:
After All, There Are Some Inequalities Which Are Provable in ZFC. J. Symb. Log. 65(2): 803-816 (2000) - [j217]Saharon Shelah:
Was Sierpinski Right? IV. J. Symb. Log. 65(3): 1031-1054 (2000) - [j216]Saharon Shelah:
On Quantification with A Finite Universe. J. Symb. Log. 65(3): 1055-1075 (2000) - [j215]Saharon Shelah, Jouko A. Väänänen:
Stationary Sets and Infinitary Logic. J. Symb. Log. 65(3): 1311-1320 (2000) - [j214]Saharon Shelah:
Applications of PCF Theory. J. Symb. Log. 65(4): 1624-1674 (2000) - [j213]Ofer Shafir, Saharon Shelah:
More on Entangled Orders. J. Symb. Log. 65(4): 1823-1832 (2000) - [j212]Saharon Shelah:
A Space with Only Borel Subsets. Period. Math. Hung. 40(2): 81-84 (2000) - [j211]John T. Baldwin, Saharon Shelah:
On the Classifiability of Cellular Automata. Theor. Comput. Sci. 230(1-2): 117-129 (2000) - 1999
- [j210]Renling Jin, Saharon Shelah:
Possible size of an ultrapower of w\omega. Arch. Math. Log. 38(1): 61-77 (1999) - [j209]Shmuel Lifsches, Saharon Shelah:
Random graphs in the monadic theory of order. Arch. Math. Log. 38(4-5): 273-312 (1999) - [j208]Saharon Shelah, Andrés Villaveces:
Toward Categoricity for Classes with no Maximal Models. Ann. Pure Appl. Log. 97(1-3): 1-25 (1999) - [j207]Saharon Shelah, John Kenneth Truss:
On Distinguishing Quotients of Symmetric Groups. Ann. Pure Appl. Log. 97(1-3): 47-83 (1999) - [j206]Saharon Shelah, Jindrich Zapletal:
Canonical Models for N1-Combinatorics. Ann. Pure Appl. Log. 98(1-3): 217-259 (1999) - [j205]Saharon Shelah:
Categoricity for Abstract Classes with Amalgamation. Ann. Pure Appl. Log. 98(1-3): 261-294 (1999) - [j204]Andreas Blass, Yuri Gurevich, Saharon Shelah:
Choiceless Polynomial Time. Ann. Pure Appl. Log. 100(1-3): 141-187 (1999) - [j203]Menachem Kojman, Saharon Shelah:
Regressive Ramsey Numbers Are Ackermannian. J. Comb. Theory, Ser. A 86(1): 177-181 (1999) - [j202]Mirna Dzamonja, Saharon Shelah:
Similar But Not The Same: Various Versions of Clubs Do Not Coincide. J. Symb. Log. 64(1): 180-198 (1999) - [j201]Tapani Hyttinen, Saharon Shelah:
Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part C. J. Symb. Log. 64(2): 634-642 (1999) - [j200]John T. Baldwin, Rami P. Grossberg, Saharon Shelah:
Transfering Saturation, The Finite Cover Property, and Stability. J. Symb. Log. 64(2): 678-684 (1999) - [j199]Krzysztof Ciesielski, Saharon Shelah:
A Model With No Magic Set. J. Symb. Log. 64(4): 1467-1490 (1999) - [j198]Moti Gitik, Saharon Shelah:
Cardinal Preserving Ideals. J. Symb. Log. 64(4): 1527-1551 (1999) - 1998
- [j197]Saharon Shelah:
Erdos and Rényi Conjecture . J. Comb. Theory, Ser. A 82(2): 179-185 (1998) - [j196]Shmuel Lifsches, Saharon Shelah:
Uniformization and Skolem Functions in the Class of Trees. J. Symb. Log. 63(1): 103-127 (1998) - [j195]Marek Balcerzak, Andrzej Roslanowski, Saharon Shelah:
Ideals without CCC. J. Symb. Log. 63(1): 128-148 (1998) - [j194]John T. Baldwin, Saharon Shelah:
DOP and FCP in Generic Structures. J. Symb. Log. 63(2): 427-438 (1998) - [j193]Joel David Hamkins, Saharon Shelah:
Superdestructibility: A Dual to Laver's Indestructibility. J. Symb. Log. 63(2): 549-554 (1998) - [j192]Renling Jin, Saharon Shelah:
Compactness of Loeb Spaces. J. Symb. Log. 63(4): 1371-1392 (1998) - [j191]Tapani Hyttinen, Saharon Shelah:
On the Number of Elementary Submodels of an Unsuperstable Homogeneous Structure. Math. Log. Q. 44: 354-358 (1998) - 1997
- [j190]Saharon Shelah:
Set theory without choice: not everything on cofinality is possible. Arch. Math. Log. 36(2): 81-125 (1997) - [j189]Saharon Shelah:
Colouring and Non-Productivity of aleph2-C.C. Ann. Pure Appl. Log. 84(2): 153-174 (1997) - [j188]Renling Jin, Saharon Shelah:
Can a Small Forcing Create Kurepa Trees. Ann. Pure Appl. Log. 85(1): 47-68 (1997) - [j187]Sakaé Fuchino, Saharon Shelah, Lajos Soukup:
Sticks and Clubs. Ann. Pure Appl. Log. 90(1-3): 57-77 (1997) - [j186]Shmuel Lifsches, Saharon Shelah:
Peano Arithmetic Maybe Not Be Interpretable in the Monadic Theory of Linear Orders. J. Symb. Log. 62(3): 848-872 (1997) - [j185]Saharon Shelah, Simon Thomas:
The Cofinality Spectrum of the Infinite Symmetric Group. J. Symb. Log. 62(3): 902-916 (1997) - [j184]Martin Gilchrist, Saharon Shelah:
The Consistency of ZFC + 2aleph0 > alephomega + F(aleph2) = F(alephomega). J. Symb. Log. 62(4): 1151-1160 (1997) - [j183]Andrzej Roslanowski, Saharon Shelah:
Simple Forcing Notions and Forcing Axioms. J. Symb. Log. 62(4): 1297-1314 (1997) - 1996
- [j182]Uri Abraham, Saharon Shelah:
Martin's axiom and D21 well-ordering of the reals. Arch. Math. Log. 35(5-6): 287-298 (1996) - [j181]Andrzej Roslanowski, Saharon Shelah:
More forcing notions imply diamond. Arch. Math. Log. 35(5-6): 299-313 (1996) - [j180]Andrzej Roslanowski, Saharon Shelah:
Localizations of infinite subsets of w. Arch. Math. Log. 35(5-6): 315-339 (1996) - [j179]Saharon Shelah:
Large normal ideals concentrating on a fixed small cardinality. Arch. Math. Log. 35(5-6): 341-347 (1996) - [j178]Menachem Magidor, Saharon Shelah:
The tree property at successors of singular cardinals. Arch. Math. Log. 35(5-6): 385-404 (1996) - [j177]Saharon Shelah:
Was Sierpinski Right? III: Can Continuum-cc. Times c.c.c. be Continuum-c.c.? Ann. Pure Appl. Log. 78(1-3): 259-269 (1996) - [j176]Mirna Dzamonja, Saharon Shelah:
Saturated Filters at Successors of Singulars, Weak Reflection and Yet Another Weak Club Principle. Ann. Pure Appl. Log. 79(3): 289-316 (1996) - [j175]Sakaé Fuchino, Sabine Koppelberg, Saharon Shelah:
Partial Orderings with the Weak Freese-Nation Property. Ann. Pure Appl. Log. 80(1): 35-54 (1996) - [j174]Saharon Shelah:
Toward Classifying Unstable Theories. Ann. Pure Appl. Log. 80(3): 229-255 (1996) - [j173]Saharon Shelah:
In the Random Graph G(n, p), p = n-a: If psi Has Probability O(n-epsilon) for Every epsilon>0 Then it Has Probability O(e-nepsilon) for Some epsilon>0. Ann. Pure Appl. Log. 82(1): 97-102 (1996) - [j172]Tomek Bartoszynski, Andrzej Roslanowski, Saharon Shelah:
Adding One Random Real. J. Symb. Log. 61(1): 80-90 (1996) - [j171]Thomas Jech, Saharon Shelah:
Possible pcf Algebras. J. Symb. Log. 61(1): 313-317 (1996) - [j170]Yuri Gurevich, Saharon Shelah:
On Finite Rigid Structures. J. Symb. Log. 61(2): 549-562 (1996) - [j169]Martin Gilchrist, Saharon Shelah:
Identities on Cardinals less than alephomega. J. Symb. Log. 61(3): 780-787 (1996) - [j168]Shmuel Lifsches, Saharon Shelah:
Uniformization, Choice Functions and Well Orders in the Class of Trees. J. Symb. Log. 61(4): 1206-1227 (1996) - [j167]Saharon Shelah:
If There Is an Exactly lambda-free Abelian Group There There Is an Exactly lambda-Separable One in lambda. J. Symb. Log. 61(4): 1261-1278 (1996) - [j166]Michael C. Laskowski, Saharon Shelah:
Forcing Isomorphism II. J. Symb. Log. 61(4): 1305-1320 (1996) - [j165]Thomas Jech, Saharon Shelah:
On Countably Closed Complete Boolean Algebras. J. Symb. Log. 61(4): 1380-1386 (1996) - [j164]Saharon Shelah:
On the Very Weak 0-1 Law for Random Graphs with Orders. J. Log. Comput. 6(1): 137-159 (1996) - [j163]Saharon Shelah:
Very weak zero one law for random graphs with order and random binary functions. Random Struct. Algorithms 9(4): 351-358 (1996) - 1995
- [j162]James Cummings, Saharon Shelah:
Cardinal Invariants Above the Continuum. Ann. Pure Appl. Log. 75(3): 251-268 (1995) - [j161]Péter Komjáth, Saharon Shelah:
Universal Graphs without Large Cliques. J. Comb. Theory, Ser. B 63(1): 125-135 (1995) - [j160]Saharon Shelah, Lee J. Stanley:
A Combinatorial Forcing for Coding the Universe by a Real When There Are No Sharps. J. Symb. Log. 60(1): 1-35 (1995) - [j159]Saharon Shelah, Lee J. Stanley:
The Combinatorics of Combinatorial Coding by a Real. J. Symb. Log. 60(1): 36-57 (1995) - [j158]Martin Goldstern, Saharon Shelah:
The Bounded Proper Forcing Axiom. J. Symb. Log. 60(1): 58-73 (1995) - [j157]John T. Baldwin, Saharon Shelah:
Abstract Classes with Few Models Have 'Homogeneous-Universal' Models. J. Symb. Log. 60(1): 246-265 (1995) - [j156]James Cummings, Saharon Shelah:
A Model in Which Every Boolean Algebra Has Many Subalgebras. J. Symb. Log. 60(3): 992-1004 (1995) - [j155]Tapani Hyttinen, Saharon Shelah:
Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part B. J. Symb. Log. 60(4): 1260-1272 (1995) - [j154]Tomasz Luczak, Saharon Shelah:
Convergence in Homogeneous Random Graphs. Random Struct. Algorithms 6(4): 371-393 (1995) - 1994
- [j153]Saharon Shelah, Juris Steprans:
Erratum. Arch. Math. Log. 33(2): 167-168 (1994) - [j152]Saharon Shelah:
Cardinalities of Topologies with Small Base. Ann. Pure Appl. Log. 68(1): 95-113 (1994) - [j151]Steven Givant, Saharon Shelah:
Universal Theories Categorical in Power and kappa-Generated Models. Ann. Pure Appl. Log. 69(1): 27-51 (1994) - [j150]Renling Jin, Saharon Shelah:
Essential Kurepa Trees versus Essential Jech-Kunen Trees. Ann. Pure Appl. Log. 69(1): 107-131 (1994) - [j149]Andreas Huck, Frank Niedermeyer, Saharon Shelah:
Large k-preserving sets in infinite graphs. J. Graph Theory 18(4): 413-426 (1994) - [j148]Lorenz Halbeisen, Saharon Shelah:
Consequences of Arithmetic for Set Theory. J. Symb. Log. 59(1): 30-40 (1994) - [j147]Renling Jin, Saharon Shelah:
The Strength of the Isomorphism Property. J. Symb. Log. 59(1): 292-301 (1994) - [j146]Tapani Hyttinen, Saharon Shelah:
Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part A. J. Symb. Log. 59(3): 984-996 (1994) - [j145]Saharon Shelah, Joel Spencer:
Can You Feel the Double Jump? Random Struct. Algorithms 5(1): 191-204 (1994) - [j144]Saharon Shelah, Joel Spencer:
Random Sparse Unary Predicates. Random Struct. Algorithms 5(3): 375-394 (1994) - 1993
- [j143]Menachem Kojman, Saharon Shelah:
μ-complete Souslin trees on μ+. Arch. Math. Log. 32(3): 195-201 (1993) - [j142]Martin Goldstern, Saharon Shelah:
Many simple cardinal invariants. Arch. Math. Log. 32(3): 203-221 (1993) - [j141]Saharon Shelah, Juris Steprans:
Maximal chains inωω and ultrapowers of the integers. Arch. Math. Log. 32(5): 305-319 (1993) - [j140]Saharon Shelah:
More on cardinal arithmetic. Arch. Math. Log. 32(6): 399-428 (1993) - [j139]Uri Abraham, Saharon Shelah:
A Delta22 Well-Order of the Reals and Incompactness of L(QMM). Ann. Pure Appl. Log. 59(1): 1-32 (1993) - [j138]Moti Gitik, Saharon Shelah:
More on Simple Forcing Notions and Forcings with Ideals. Ann. Pure Appl. Log. 59(3): 219-238 (1993) - [j137]Alain Louveau, Saharon Shelah, Boban Velickovic:
Borel Partitions of Infinite Subtrees of a Perfect Tree. Ann. Pure Appl. Log. 63(3): 271-281 (1993) - [j136]Saharon Shelah, Claude Laflamme, Bradd Hart:
Models with Second Order Properties V: A General Principle. Ann. Pure Appl. Log. 64(2): 169-194 (1993) - [j135]Haim Judah, Saharon Shelah:
Delta13-Sets of Reals. J. Symb. Log. 58(1): 72-80 (1993) - [j134]Tomek Bartoszynski, Haim Judah, Saharon Shelah:
The Cichon Diagram. J. Symb. Log. 58(2): 401-423 (1993) - [j133]Saharon Shelah, D. H. Fremlin:
Pointwise Compact and Stable Sets of Measurable Functions. J. Symb. Log. 58(2): 435-455 (1993) - [j132]Rvszard Frankiewicz, Saharon Shelah, Pawel Zbierski:
On Closed P-Sets with ccc in the Space omega*. J. Symb. Log. 58(4): 1171-1176 (1993) - [j131]Michael C. Laskowski, Saharon Shelah:
On the Existence of Atomic Models. J. Symb. Log. 58(4): 1189-1194 (1993) - [j130]John T. Baldwin, Michael C. Laskowski, Saharon Shelah:
Forcing Isomorphism. J. Symb. Log. 58(4): 1291-1301 (1993) - [j129]Martin Goldstern, Haim Judah, Saharon Shelah:
Strong Measure Zero Sets Without Cohen Reals. J. Symb. Log. 58(4): 1323-1341 (1993) - [j128]Saharon Shelah, Heikki Tuuri, Jouko A. Väänänen:
On the Number of Automorphisms of Uncountable Models. J. Symb. Log. 58(4): 1402-1418 (1993) - [j127]James E. Baumgartner, Saharon Shelah, Simon Thomas:
Maximal Subsets of Infinite Symmetric Groups. Notre Dame J. Formal Log. 34(1): 1-11 (1993) - [j126]Tapani Hyttinen, Saharon Shelah, Heikki Tuuri:
Remarks on Strong Nonstructure Theorems. Notre Dame J. Formal Log. 34(2): 157-168 (1993) - 1992
- [j125]Haim Judah, Arnold W. Miller, Saharon Shelah:
Sacks forcing, Laver forcing, and Martin's axiom. Arch. Math. Log. 31(3): 145-161 (1992) - [j124]Shmuel Lifsches, Saharon Shelah:
The monadic theory of (ω2, <) may be complicated. Arch. Math. Log. 31(3): 207-213 (1992) - [j123]Tomek Bartoszynski, Saharon Shelah:
Intersection of ultrafilters may have measure zero. Arch. Math. Log. 31(4): 221-226 (1992) - [j122]Saharon Shelah:
Con(u>i). Arch. Math. Log. 31(6): 433-443 (1992) - [j121]Menachem Kojman, Saharon Shelah:
The Universality Spectrum of Stable Unsuperstable Theories. Ann. Pure Appl. Log. 58(1): 57-72 (1992) - [j120]Tomek Bartoszynski, Saharon Shelah:
Closed Measure Zero Sets. Ann. Pure Appl. Log. 58(2): 93-110 (1992) - [j119]Jörg Brendle, Haim Judah, Saharon Shelah:
Combinatorial Properties of Hechler Forcing. Ann. Pure Appl. Log. 58(3): 185-199 (1992) - [j118]Menachem Kojman, Saharon Shelah:
Nonexistence of Universal Orders in Many Cardinals. J. Symb. Log. 57(3): 875-891 (1992) - [j117]Saharon Shelah:
The Hanf numbers of stationary logic II: Comparison with other logics. Notre Dame J. Formal Log. 33(1): 1-12 (1992) - 1991
- [j116]Saharon Shelah:
Reflecting stationary sets and successors of singular cardinals. Arch. Math. Log. 31(1): 25-53 (1991) - [j115]John T. Baldwin, Saharon Shelah:
The Primal Framework II: Smoothness. Ann. Pure Appl. Log. 55(1): 1-34 (1991) - [j114]Wilfried Hodges, Saharon Shelah:
There Are Reasonably Nice Logics. J. Symb. Log. 56(1): 300-322 (1991) - [j113]Haim Judah, Saharon Shelah:
Forcing Minimal Degree of Constructibility. J. Symb. Log. 56(3): 769-782 (1991) - 1990
- [j112]Haim Judah, Saharon Shelah:
Around random algebra. Arch. Math. Log. 30(3): 129-138 (1990) - [j111]John T. Baldwin, Saharon Shelah:
The Primal Framework I. Ann. Pure Appl. Log. 46(3): 235-264 (1990) - [j110]Saharon Shelah, Michael Makkai:
Categoricity of Theories in Lk omega, with k a Compact Ordinal. Ann. Pure Appl. Log. 47(1): 41-97 (1990) - [j109]Martin Goldstern, Saharon Shelah:
Ramsey Ultrafilters and the Reaping Number - Con(r<u). Ann. Pure Appl. Log. 49(2): 121-142 (1990) - [j108]Haim Judah, Saharon Shelah, W. Hugh Woodin:
The Borel Conjecture. Ann. Pure Appl. Log. 50(3): 255-269 (1990) - [j107]Yuri Gurevich, Saharon Shelah:
Nondeterministic Linear-Time Tasks May Require Substantially Nonlinear Deterministic Time in the Case of Sublinear Work Space. J. ACM 37(3): 674-687 (1990) - [j106]Saharon Shelah:
Strong Negative Partition Above the Continuum. J. Symb. Log. 55(1): 21-31 (1990) - [j105]Thomas Jech, Saharon Shelah:
Full Reflection of Stationary Sets Below alephomega. J. Symb. Log. 55(2): 822-830 (1990) - [j104]Haim Judah, Saharon Shelah:
The Kunen-Miller Chart (Lebesgue Measure, the Baire Property, Laver Reals and Preservation Theorems for Forcing). J. Symb. Log. 55(3): 909-927 (1990) - [j103]Saharon Shelah, Charles Steinhorn:
The Nonaxiomatizability of L(Q2ℵ1) by Finitely Many Schemata. Notre Dame J. Formal Log. 31(1): 1-13 (1990) - 1989
- [j102]Moti Gitik, Saharon Shelah:
On certain indestructibility of strong cardinals and a question of Hajnal. Arch. Math. Log. 28(1): 35-42 (1989) - [j101]Saharon Shelah, Simon Thomas:
Homogeneity of infinite permutation groups. Arch. Math. Log. 28(2): 143-147 (1989) - [j100]Jaime I. Ihoda, Saharon Shelah:
Delta12-Sets of Reals. Ann. Pure Appl. Log. 42(3): 207-223 (1989) - [j99]Ehud Hrushovski, Saharon Shelah:
A Dichotomy Theorem for Regular Types. Ann. Pure Appl. Log. 45(2): 157-169 (1989) - [j98]Saharon Shelah, Steven Buechler:
On the Existence of Regular Types. Ann. Pure Appl. Log. 45(3): 277-308 (1989) - [j97]Jaime I. Ihoda, Saharon Shelah:
Martin's Axioms, Measurability and Equiconsistency Results. J. Symb. Log. 54(1): 78-94 (1989) - [j96]Saharon Shelah, Simon Thomas:
Subgroups of Small Index in Infinite Symmetric Groups II. J. Symb. Log. 54(1): 95-99 (1989) - [j95]Yuri Gurevich, Saharon Shelah:
On the Strength of the Interpretation Method. J. Symb. Log. 54(2): 305-323 (1989) - [j94]Alan H. Mekler, Saharon Shelah:
Uniformization Principles. J. Symb. Log. 54(2): 441-459 (1989) - [j93]Tomek Bartoszynski, Jaime I. Ihoda, Saharon Shelah:
The Cofinality of Cardinal Invariants Related to Measure and Category. J. Symb. Log. 54(3): 719-726 (1989) - [j92]Yuri Gurevich, Saharon Shelah:
Time Polynomial in Input or Output. J. Symb. Log. 54(3): 1083-1088 (1989) - [j91]Saharon Shelah:
The Number of Pairwise Non-Elementary-Embeddable Models. J. Symb. Log. 54(4): 1431-1455 (1989) - [j90]Andreas Blass, Saharon Shelah:
Near Coherence of Filters III: A Simplified Consistency Proof. Notre Dame J. Formal Log. 30(4): 530-538 (1989) - 1988
- [j89]Saharon Shelah:
A graph which embeds all small graphs on any large set of vertices. Ann. Pure Appl. Log. 38(2): 171-183 (1988) - [j88]Saharon Shelah:
Number of strongly alephɛ-saturated models - an addition. Ann. Pure Appl. Log. 40(1): 89-91 (1988) - [j87]Péter Komjáth, Saharon Shelah:
Forcing Constructions for Uncountably Chromatic Graphs. J. Symb. Log. 53(3): 696-707 (1988) - [j86]Balázs Biró, Saharon Shelah:
Isomorphic but not Lower Base-Isomorphic Cylindric Set Algebras. J. Symb. Log. 53(3): 846-853 (1988) - [j85]Jaime I. Ihoda, Saharon Shelah:
Souslin Forcing. J. Symb. Log. 53(4): 1188-1207 (1988) - [j84]Saharon Shelah:
Some notes on iterated forcing with 2ℵ0>ℵ2. Notre Dame J. Formal Log. 29(1): 1-17 (1988) - 1987
- [j83]Matatyahu Rubin, Saharon Shelah:
Combinatorial problems on trees: Partitions, δ-systems and large free subtrees. Ann. Pure Appl. Log. 33: 43-81 (1987) - [j82]James E. Baumgartner, Saharon Shelah:
Remarks on superatomic boolean algebras. Ann. Pure Appl. Log. 33: 109-129 (1987) - [j81]Andreas Blass, Saharon Shelah:
There may be simple Paleph1 and Paleph2-points and the Rudin-Keisler ordering may be downward directed. Ann. Pure Appl. Log. 33: 213-243 (1987) - [j80]Saharon Shelah, Juris Steprans:
Extraspecial p-groups. Ann. Pure Appl. Log. 34(1): 87-97 (1987) - [j79]Saharon Shelah:
Existence of many L∞, λ-equivalent, non- isomorphic models of T of power λ. Ann. Pure Appl. Log. 34(3): 291-310 (1987) - [j78]Saharon Shelah, Lee J. Stanley:
A theorem and some consistency results in partition calculus. Ann. Pure Appl. Log. 36: 119-152 (1987) - [j77]Saharon Shelah:
Uncountable groups have many nonconjugate subgroups. Ann. Pure Appl. Log. 36: 153-206 (1987) - [j76]Kevin J. Compton, C. Ward Henson, Saharon Shelah:
Nonconvergence, undecidability, and intractability in asymptotic problems. Ann. Pure Appl. Log. 36: 207-224 (1987) - [j75]Saharon Shelah:
On the number of strongly alephε-saturated models of power λ. Ann. Pure Appl. Log. 36: 279-287 (1987) - [j74]Saharon Shelah:
Semiproper Forcing Axiom Implies Martin Maximum but Not PFA+. J. Symb. Log. 52(2): 360-367 (1987) - [j73]Zvi Drezner, Saharon Shelah:
On the Complexity of the Elzinga-Hearn Algorithm for the 1-Center Problem. Math. Oper. Res. 12(2): 255-261 (1987) - [j72]Yuri Gurevich, Saharon Shelah:
Expected Computation Time for Hamiltonian Path Problem. SIAM J. Comput. 16(3): 486-502 (1987) - 1986
- [j71]Shai Ben-David, Saharon Shelah:
Souslin trees and successors of singular cardinals. Ann. Pure Appl. Log. 30(3): 207-217 (1986) - [j70]Yuri Gurevich, Saharon Shelah:
Fixed-point extensions of first-order logic. Ann. Pure Appl. Log. 32: 265-280 (1986) - [j69]Larry Denenberg, Yuri Gurevich, Saharon Shelah:
Definability by Constant-Depth Polynomial-Size Circuits. Inf. Control. 70(2/3): 216-240 (1986) - [j68]Matthew Foreman, Menachem Magidor, Saharon Shelah:
0 # and Some Forcing Principles. J. Symb. Log. 51(1): 39-46 (1986) - [j67]Uri Abraham, Saharon Shelah:
On the Intersection of Closed Unbounded Sets. J. Symb. Log. 51(1): 180-189 (1986) - [j66]Rami P. Grossberg, Saharon Shelah:
On the Number of Nonisomorphic Models of an Infinitary Theory Which has the Infinitary Order Property, Part A. J. Symb. Log. 51(2): 302-322 (1986) - [j65]Saharon Shelah, Charles Steinhorn:
On the nonaxiomatizability of some logics by finitely many schemas. Notre Dame J. Formal Log. 27(1): 1-11 (1986) - [j64]Alan H. Mekler, Saharon Shelah:
Stationary logic and its friends. II. Notre Dame J. Formal Log. 27(1): 39-50 (1986) - [j63]Matt Kaufmann, Saharon Shelah:
The Hanf number of stationary logic. Notre Dame J. Formal Log. 27(1): 111-123 (1986) - [j62]Saharon Shelah:
On power of singular cardinals. Notre Dame J. Formal Log. 27(2): 263-299 (1986) - 1985
- [j61]Robert Bonnet, Saharon Shelah:
Narrow boolean algebras. Ann. Pure Appl. Log. 28(1): 1-12 (1985) - [j60]Saharon Shelah:
Monadic logic and löwenheim numbers. Ann. Pure Appl. Log. 28(2): 203-216 (1985) - [j59]Saharon Shelah:
More on the weak diamond. Ann. Pure Appl. Log. 28(3): 315-318 (1985) - [j58]Uri Abraham, Matatyahu Rubin, Saharon Shelah:
On the consistency of some partition theorems for continuous colorings, and the structure of aleph1-dense real order types. Ann. Pure Appl. Log. 29(2): 123-206 (1985) - [j57]Saharon Shelah:
Remarks in abstract model theory. Ann. Pure Appl. Log. 29(3): 255-288 (1985) - [j56]Matt Kaufmann, Saharon Shelah:
On random models of finite power and monadic logic. Discret. Math. 54(3): 285-293 (1985) - [j55]G. Sageev, Saharon Shelah:
On the Structure of Ext(A, Z) in ZFC+. J. Symb. Log. 50(2): 302-315 (1985) - [j54]Yuri Gurevich, Saharon Shelah:
The Decision Problem for Branching Time Logic. J. Symb. Log. 50(3): 668-681 (1985) - [j53]Saharon Shelah:
On the possible number no(M)= the number of nonisomorphic models LINFINITY, λ-equivalent to M of power λ, for λ singular. Notre Dame J. Formal Log. 26(1): 36-50 (1985) - [j52]Alan H. Mekler, Saharon Shelah:
Stationary logic and its friends. I. Notre Dame J. Formal Log. 26(2): 129-138 (1985) - [j51]Leo Harrington, Saharon Shelah:
Some exact equiconsistency results in set theory. Notre Dame J. Formal Log. 26(2): 178-188 (1985) - [j50]Saharon Shelah:
Incompactness in regular cardinals. Notre Dame J. Formal Log. 26(3): 195-228 (1985) - [j49]John T. Baldwin, Saharon Shelah:
Second-order quantifiers and the complexity of theories. Notre Dame J. Formal Log. 26(3): 229-303 (1985) - [j48]Anand Pillay, Saharon Shelah:
Classification theory over a predicate. I. Notre Dame J. Formal Log. 26(4): 361-376 (1985) - 1984
- [j47]Saharon Shelah:
On universal graphs without instances of CH. Ann. Pure Appl. Log. 26(1): 75-87 (1984) - [j46]Donato Giorgetta, Saharon Shelah:
Existentially closed structures in the power of the continuum. Ann. Pure Appl. Log. 26(2): 123-148 (1984) - [j45]Menachem Magidor, Saharon Shelah, Jonathan Stavi:
Countably decomposable admissible sets. Ann. Pure Appl. Log. 26(3): 287-361 (1984) - [j44]Matt Kaufmann, Saharon Shelah:
A nonconservativity result on global choice. Ann. Pure Appl. Log. 27(3): 209-214 (1984) - [j43]Saharon Shelah:
Diamonds, Uniformization. J. Symb. Log. 49(4): 1022-1033 (1984) - [j42]Saharon Shelah:
More on Proper Forcing. J. Symb. Log. 49(4): 1034-1038 (1984) - [j41]Saharon Shelah, W. Hugh Woodin:
Forcing the Failure of Ch by Adding a Real. J. Symb. Log. 49(4): 1185-1189 (1984) - [j40]Warren D. Goldfarb, Yuri Gurevich, Saharon Shelah:
A Decidable Subclass of the Minimal Godel Class with Identity. J. Symb. Log. 49(4): 1253-1261 (1984) - [j39]Saharon Shelah:
A pair of nonisomorphic ≡∞λ models of power λ for λ singular with λω=λ. Notre Dame J. Formal Log. 25(2): 97-104 (1984) - 1983
- [j38]Saharon Shelah:
Models with second order properties IV. A general method and eliminating diamonds. Ann. Pure Appl. Log. 25(2): 183-212 (1983) - [j37]Johann A. Makowsky, Saharon Shelah:
Positive results in abstract model theory: a theory of compact logics. Ann. Pure Appl. Log. 25(3): 263-299 (1983) - [j36]Menachem Magidor, Saharon Shelah, Jonathan Stavi:
On the Standard Part of Nonstandard Models of Set Theory. J. Symb. Log. 48(1): 33-38 (1983) - [j35]Yuri Gurevich, Menachem Magidor, Saharon Shelah:
The Monadic Theory of omega12. J. Symb. Log. 48(2): 387-398 (1983) - [j34]Matatyahu Rubin, Saharon Shelah:
On the Expressibility Hierarchy of Magidor-Malitz Quantifiers. J. Symb. Log. 48(3): 542-557 (1983) - [j33]Uri Abraham, Saharon Shelah:
Forcing Closed Unbounded Sets. J. Symb. Log. 48(3): 643-657 (1983) - [j32]Yuri Gurevich, Saharon Shelah:
Interpreting Second-Order Logic in the Monadic Theory of Order. J. Symb. Log. 48(3): 816-828 (1983) - [j31]Yuri Gurevich, Saharon Shelah:
Rabin's Uniformization Problem. J. Symb. Log. 48(4): 1105-1119 (1983) - [j30]Yuri Gurevich, Saharon Shelah:
Random Models and the Godel Case of the Decision Problem. J. Symb. Log. 48(4): 1120-1124 (1983) - 1982
- [j29]Yuri Gurevich, Saharon Shelah:
Monadic theory of order and topology in ZFC. Ann. Math. Log. 23(2-3): 179-198 (1982) - [j28]Daniel Lehmann, Saharon Shelah:
Reasoning with Time and Chance. Inf. Control. 53(3): 165-198 (1982) - [j27]Uri Abraham, Saharon Shelah:
Forcing With Stable Posets. J. Symb. Log. 47(1): 37-42 (1982) - [j26]Saharon Shelah:
On the number of nonisomorphic models in LINFINITY , κ when κ is weakly compact. Notre Dame J. Formal Log. 23(1): 21-26 (1982) - 1981
- [j25]Saharon Shelah:
Models with second order properties. III. Omitting types forL(Q). Arch. Math. Log. 21(1): 1-11 (1981) - [j24]Saharon Shelah:
Canonization Theorems and Applications. J. Symb. Log. 46(2): 345-353 (1981) - [j23]Saharon Shelah:
On the number of nonisomorphic models of cardinality λ L∞λ-equivalent to a fixed model. Notre Dame J. Formal Log. 22(1): 5-10 (1981) - [j22]Saharon Shelah:
On Fleissner's diamond. Notre Dame J. Formal Log. 22(1): 29-35 (1981) - [j21]Saharon Shelah:
On saturation for a predicate. Notre Dame J. Formal Log. 22(3): 239-248 (1981) - [j20]Saharon Shelah:
On uncountable Boolean algebras with no uncountable pairwise comparable or incomparable sets of elements. Notre Dame J. Formal Log. 22(4): 301-308 (1981) - 1980
- [j19]Saharon Shelah:
A Note on Cardinal Exponentiation. J. Symb. Log. 45(1): 56-66 (1980) - [j18]Matatyahu Rubin, Saharon Shelah:
On the Elementary Equivalence of Automorphism Groups of Boolean Algebras; Downward Skolem Lowenheim Theorems and Compactness of Related Quantifiers. J. Symb. Log. 45(2): 265-283 (1980) - [j17]Saharon Shelah:
Independence of Strong Partition Relation for Small Cardinals, and the Free-Subset Problem. J. Symb. Log. 45(3): 505-509 (1980) - [j16]Saharon Shelah:
Independence Results. J. Symb. Log. 45(3): 563-573 (1980) - 1979
- [j15]Saharon Shelah:
On Uniqueness of Prime Models. J. Symb. Log. 44(2): 215-220 (1979) - [j14]Saharon Shelah:
Hanf Number of Omitting Type for Simple First-Order Theories. J. Symb. Log. 44(3): 319-324 (1979) - [j13]Yuri Gurevich, Saharon Shelah:
Modest Theory of Short Chains. II. J. Symb. Log. 44(4): 491-502 (1979) - [j12]Saharon Shelah, Martin Ziegler:
Algebraically Closed Groups of Large Cardinality. J. Symb. Log. 44(4): 522-532 (1979) - 1978
- [j11]Saharon Shelah:
On the Number of Minimal Models. J. Symb. Log. 43(3): 475-480 (1978) - [j10]Saharon Shelah:
End Extensions and Numbers of Countable Models. J. Symb. Log. 43(3): 550-562 (1978) - 1976
- [j9]Saharon Shelah:
Decomposing Uncountable Squares to Countably Many Chains. J. Comb. Theory, Ser. A 21(1): 110-114 (1976) - 1974
- [j8]Saharon Shelah:
A Substitute for Hall's Theorem for Families with Infinite Sets. J. Comb. Theory, Ser. A 16(2): 199-208 (1974) - 1973
- [j7]Fred Galvin, Saharon Shelah:
Some Counterexamples in the Partition Calculus. J. Comb. Theory, Ser. A 15(2): 167-174 (1973) - [j6]Saharon Shelah:
Weak Definability in Infinitary Languages. J. Symb. Log. 38(3): 399-404 (1973) - 1972
- [j5]Saharon Shelah:
Uniqueness and Characterization of Prime Models over Sets for Totally Transcendental First-Order Theories. J. Symb. Log. 37(1): 107-113 (1972) - [j4]Saharon Shelah:
On Models with Power-Like Ordering. J. Symb. Log. 37(2): 247-267 (1972) - [j3]James H. Schmerl, Saharon Shelah:
On Power-like Models for Hyperinaccessible Cardinals. J. Symb. Log. 37(3): 531-537 (1972) - 1970
- [j2]Saharon Shelah:
On Theories T Categorical in absolut T. J. Symb. Log. 35(1): 73-82 (1970) - [j1]Saharon Shelah:
On the Cardinality of Ultraproduct of Finite Sets. J. Symb. Log. 35(1): 83-84 (1970)
Conference and Workshop Papers
- 2015
- [c15]Simi Haber, Saharon Shelah:
An Extension of the Ehrenfeucht-Fraïssé Game for First Order Logics Augmented with Lindström Quantifiers. Fields of Logic and Computation II 2015: 226-236 - [c14]Saharon Shelah:
On Failure of 0-1 Laws. Fields of Logic and Computation II 2015: 293-296 - 2010
- [c13]Saharon Shelah, Mor Doron:
Hereditary Zero-One Laws for Graphs. Fields of Logic and Computation 2010: 581-614 - 2003
- [c12]Yuri Gurevich, Saharon Shelah:
Spectra of Monadic Second-Order Formulas with One Unary Function. LICS 2003: 291-300 - 2000
- [c11]Saharon Shelah:
Choiceless Polynominal Time Logic: Inability to Express. CSL 2000: 72-125 - 1999
- [c10]Saharon Shelah:
Superatomic Boolean algebras: Maximal rigidity. Set Theory: The Hajnal Conference 1999: 107-128 - 1995
- [c9]Eric Rosen, Saharon Shelah, Scott Weinstein:
k-universal finite graphs. Logic and Random Structures 1995: 65-77 - [c8]Saharon Shelah:
There May Be No Nowhere Dense Ultrafilter. Logic Colloquium 1995: 305-324 - 1994
- [c7]Yuri Gurevich, Neil Immerman, Saharon Shelah:
McColm's Conjecture. LICS 1994: 10-19 - 1989
- [c6]Yuri Gurevich, Saharon Shelah:
Nearly Linear Time. Logic at Botik 1989: 108-118 - 1988
- [c5]Yuri Gurevich, Saharon Shelah:
Nondeterministic Linear-Time Tasks May Require Substantially Nonlinear Deterministic Time in the Case of Sublinear Work Space. STOC 1988: 281-289 - 1987
- [c4]Saharon Shelah, Joel Spencer:
Threshold Spectra for Random Graphs. STOC 1987: 421-424 - 1985
- [c3]Yuri Gurevich, Saharon Shelah:
Fixed-Point Extensions of First-Order Logic. FOCS 1985: 346-353 - 1983
- [c2]Daniel Lehmann, Saharon Shelah:
Reasoning with Time and Chance (Extended Abstract). ICALP 1983: 445-457 - 1980
- [c1]Dov M. Gabbay, Amir Pnueli, Saharon Shelah, Jonathan Stavi:
On the Temporal Analysis of Fairness. POPL 1980: 163-173
Parts in Books or Collections
- 2015
- [p4]Maryanthe Malliaris, Saharon Shelah:
Saturating the Random Graph with an Independent Family of Small Range. Logic Without Borders 2015: 319-338 - [p3]Saharon Shelah:
A.E.C. with Not Too Many Models. Logic Without Borders 2015: 367-402 - 2013
- [p2]Saharon Shelah:
A Finite Partition Theorem with Double Exponential Bound. The Mathematics of Paul Erdős II 2013: 237-244 - [p1]Saharan Shelah:
The PCF Theorem Revisited. The Mathematics of Paul Erdős II 2013: 441-488
Informal and Other Publications
- 1994
- [i2]Yuri Gurevich, Neil Immerman, Saharon Shelah:
McColm conjecture. CoRR abs/math/9411235 (1994) - [i1]Yuri Gurevich, Saharon Shelah:
On finite rigid structures. CoRR abs/math/9411236 (1994)
Coauthor Index
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
