Sciweavers

11 search results - page 1 / 3
» apal 2000
Sort
View
65
Voted
APAL
2000
75views more  APAL 2000»
14 years 10 months ago
The wholeness axiom and Laver sequences
Paul Corazza
53
Voted
APAL
2000
46views more  APAL 2000»
14 years 10 months ago
Elementary equivalence of infinite-dimensional classical groups
Vladimir Tolstykh
56
Voted
APAL
2000
50views more  APAL 2000»
14 years 10 months ago
The unfolding of non-finitist arithmetic
Solomon Feferman, Thomas Strahm
51
Voted
APAL
2000
63views more  APAL 2000»
14 years 10 months ago
Axioms and (counter) examples in synthetic domain theory
Jaap van Oosten, Alex K. Simpson
APAL
2000
84views more  APAL 2000»
14 years 10 months 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