Sciweavers

APAL
2000
84views more  APAL 2000»
13 years 10 months ago
More on Cardinal Invariants of Boolean Algebras
We address several questions of Donald Monk related to irredundance and spread of Boolean algebras, gaining both some ZFC knowledge and consistency results. We show in ZFC that ir...
Andrzej Roslanowski, Saharon Shelah
APAL
2000
63views more  APAL 2000»
13 years 10 months ago
Axioms and (counter) examples in synthetic domain theory
Jaap van Oosten, Alex K. Simpson
APAL
2000
90views more  APAL 2000»
13 years 10 months ago
The definable multiplicity property and generic automorphisms
Let T be a strongly minimal theory with quantifier elimination. We show that the class of existentially closed models of T {" is an automorphism"} is an elementary clas...
Hirotaka Kikyo, Anand Pillay
APAL
2000
84views more  APAL 2000»
13 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
APAL
2000
50views more  APAL 2000»
13 years 10 months ago
The unfolding of non-finitist arithmetic
Solomon Feferman, Thomas Strahm
APAL
2000
61views more  APAL 2000»
13 years 10 months ago
Higher type recursion, ramification and polynomial time
It is shown how to restrict recursion on notation in all finite types so as to characterize the polynomial time computable functions. The restrictions are obtained by using a rami...
Stephen J. Bellantoni, Karl-Heinz Niggl, Helmut Sc...