activity
19972006
most citedPreserving Preservation

15 citations · 60 across the 67 of their papers we have counts for

collaborators
Showing 2002Show all

15 papers · 1 filter

math.LO2002

More on the Ehrenfencht-Fraisse game of length omega_1

Tapani Hyttinen, Saharon Shelah, Jouko Väänänen

Let A and B be two first order structures of the same relational vocabulary L. The Ehrenfeucht-Fraisse-game of length gamma of A and B denoted by EFG_gamma(A,B) is defined as follo…

math.LO20024 cited

Finite subgraphs of uncountably chromatic graphs

Péter Komjáth, Saharon Shelah

It is consistent that for every monotonically increasing function f:omega->omega there is a graph with size and chromatic number aleph_1 in which every n-chromatic subgraph has at…

math.LO2002

Almost free groups and Ehrenfeucht-Fra\"ıssé games for successors of singular cardinals

Saharon Shelah, Pauli Väisänen

We strengthen non-structure theorems for almost free Abelian groups by studying long Ehrenfeucht-Fraisse games between a fixed group of cardinality lambda and a free Abelian group.…

math.LO2002

Games with creatures

Saharon Shelah, Jindrich Zapletal

Many forcing notions obtained using the creature technology are naturally connected with certain integer games.

math.LO20021 cited

Duality and the pcf theory

Saharon Shelah, Jindrich Zapletal

We consider natural cardinal invariants hm_n and prove several duality theorems, saying roughly: if I is a suitably definable ideal and provably cov(I)>=hm_n, then non(I) is provab…

math.LO2002

Generic left-separated spaces and calibers

Istvan Juhász, Saharon Shelah

We use a natural forcing to construct a left-separated topology on an arbitrary cardinal kappa. The resulting left-separated space X_kappa is also 0-dimensional T_2, hereditarily L…