Sciweavers

11 search results - page 1 / 3
» apal 2000
Sort
View
77
Voted
APAL
2000
75views more  APAL 2000»
15 years 7 days ago
The wholeness axiom and Laver sequences
Paul Corazza
66
Voted
APAL
2000
50views more  APAL 2000»
15 years 7 days ago
The unfolding of non-finitist arithmetic
Solomon Feferman, Thomas Strahm
60
Voted
APAL
2000
63views more  APAL 2000»
15 years 7 days ago
Axioms and (counter) examples in synthetic domain theory
Jaap van Oosten, Alex K. Simpson
APAL
2000
84views more  APAL 2000»
15 years 7 days ago
Strong Splitting in Stable Homogeneous Models
In this paper we study elementary submodels of a stable homogeneous structure. We improve the independence relation defined in [Hy]. We apply this to prove a structure theorem. We...
Tapani Hyttinen, Saharon Shelah