activity
19922026
most citedThe monadic theory of order

324 citations · 1.7k across the 753 of their papers we have counts for

collaborators
Showing 1992 · math.LOShow all

26 papers · 2 filters

math.LO1992★ 2 cited

Planting Kurepa trees and killing Jech-Kunen trees in a model by using one inaccessible cardinal

Renling Jin, Saharon Shelah

By an omega_1--tree we mean a tree of power omega_1 and height omega_1. Under CH and 2^{omega_1}> omega_2 we call an omega_1--tree a Jech--Kunen tree if it has kappa many branches…

math.LO1992

Combinatorial properties of Hechler forcing

Jörg Brendle, Haim Judah, Saharon Shelah

In this work we use a notion of rank first introduced by James Baumgartner and Peter Dordal and later developed independently by the third author to show that adding a Hechler real…

math.LO1992

Baire property and Axiom of Choice

Haim Judah, Saharon Shelah

We show that (1) If ZF is consistent then the following theory is consistent "ZF + DC(omega_{1}) + Every set of reals has Baire property" and (2) If ZF is consistent then the follo…

math.LO1992

Pointwise compact and stable sets of measurable functions

David H. Fremlin, Saharon Shelah

In a series of papers, M.Talagrand, the second author and others investigated at length the properties and structure of pointwise compact sets of measurable functions. A number of…

math.LO1992

-complete Souslin trees on

Menachem Kojman

We prove that , and ``there is a non reflecting stationary subset of composed of ordinals of cofinality '' imply that there is a -complete Souslin…

math.LO1992

Non-existence of Universal Orders in Many Cardinals

Menachem Kojman, Saharon Shelah

Our theme is that not every interesting question in set theory is independent of . We give an example of a first order theory with countable which cannot have a uni…