Sciweavers

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