JSYML
1998
13 years 4 months ago
1998
JSYML
1998
13 years 4 months ago
1998
We prove the following theorems:
JSYML
1998
13 years 4 months ago
1998
Abstract. We extend Shelah’s first many model result to show that an unstable theory has 2κ many non-permutation group isomorphic models of size κ, where κ is an uncountable ...
JSYML
1998
13 years 4 months ago
1998
A definition of nonstandard universe which gets over the limitation to the finite levels of the cumulative hierarchy is proposed. Though necessarily nonwellfounded, nonstandard ...
JSYML
1998
13 years 4 months ago
1998
JSYML
1998
13 years 4 months ago
1998
In this paper we show that the compactness of a Loeb space depends on its cardinality, the nonstandard universe it belongs to and the underlying model of set theory we live in. In...
JSYML
1998
13 years 4 months ago
1998
Abstract. After small forcing, any <κ-closed forcing will destroy the supercompactness and even the strong compactness of κ. In a delightful argument, Laver [L78] proved that ...
JSYML
1998
13 years 4 months ago
1998
We examine two-cardinal problems for the class of O-minimal theories. We prove that an O-minimal theory which admits some (κ, λ) must admit every (κ , λ ). We also prove that ...
JSYML
1998
13 years 4 months ago
1998