This page requires javascript version ES6, which is not supported
by your browser. Suitable browsers include Chrome version 51 (May 2016) or later, Firefox 54 (Jun 2017), Edge 14 (Aug 2016), Safari 10 (Sep 2016), or Opera 38 (Jun 2016).
Some pages will not work, in particular interactive tables and fileupload. However, the simple paper list should be OK.
Some pages will not work, in particular interactive tables and fileupload. However, the simple paper list should be OK.
Publications
All publications (co)authored by S. Shelah
Click the Sh:number to get to the papers' detail page (which may include pdf's of the paper).
Can't find an Sh:number (in particular, an "Fnumber")? You can try your luck here.
Available Keywords
Modeltheory

cla:
Classification Theory
 sta: Stable (first order theories)
 unstable: Unstable classes

nec:
non elementary classification (and aec)
 diam: Finite diagrames, the class of Dmodels
 aec: Abstract elementary classes (?)

smt:
Soft Model Theory (including generalzied quantifires)
 inflog: Infinitary logic

non:
Nonstructure
 nni: Number of nonisomorphic

odm:
Model Theory: Others
 univ: Universal structures (in a cardinal)
 mon: Monadic logic
 PA: Peano arithmetic
Settheory

ico:
Infinite combinatorics
 BB: Black boxes
 ba: Boolean Algebras
 pc: Partition Calculus
 normal: Normal filters or ultrafilters
 app(pcf): Applications of pcf
 trees: Trees
 wd: The weak diamond and relatives of diamond
 ultraf: Ultra filters
 pure(large): large cardinals  the pure theory
 aron: Aronszajn tress
 unif: Uniformizations principles

for:
Forcing
 iter: Iterated forcing
 pure(for): Pure forcing
 creatures: Creature forcing
 pcf: Pcf theory (and cardinal arithmetic)

str:
Set Theory of the Reals
 leb: Lebesgue measure
 meag: Meagre sets and the derived ideal

dst:
Descriptive Set Theory
 psdst: Psuedo descriptive set theory, generalization

ods:
Set Theory: others
 linear order: Linear orders
 ref: Reflection in Set Theory
 AC: Axiom of Choice
Other

alg:
Algebra
 ab: Abelian groups and modules
 stal: Set Theoretic Algebra
 wh: Whitehead Problem and related
 grp: Group theory (non Ableian)
 af: Almost free (groups or other structures
 ua: Universal algebras, permuataions groups varieties and clones

top:
Topology (including Banach spaces and algebraic topology)
 gt: General Topology

fin:
Finitary Mathematics
 fmt: Finite model theory (include 01 laws)
 fc: Finite combinatorics
 odo: Other: others.
Unassigned Keywords
 set: Set theory
 mod: Model theory
 inv: Cardinal Invariants
 graph: graph theory
 auto: Automorphism (of structures)
 setmod: Set theoretic model theory
 cont: Continuum
 large: Large cardinals
 up: Ultraproducts
 cat: Categoricity (in a cardinal, ususally)
 inv(ba): Cardianl invanriants of Boolean algebras
 interview: re5yonot
Keyword list
More filters
(please wait)
number_hidden  number  title  type  abstract  year  coauthors  keywords  bib 
