Sciweavers

11 search results - page 1 / 3
» apal 2000
Sort
View
APAL
2000
50views more  APAL 2000»
15 years 28 days ago
The unfolding of non-finitist arithmetic
Solomon Feferman, Thomas Strahm
APAL
2000
84views more  APAL 2000»
15 years 28 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