The presented work contains the history of origin of measure, its connection with measurable cardinals and summary of all elementary definitions and no- tions needed for the generalization of ultrapower construction in model theory for proper classes. One of the parts of the presented theory is the proof of el- ementary properties needed for the application of ultrapower construction to measurable cardinals. Using all previous results we prove the Theorem of Dana Scott about the connection between existence of a measurable cardinal and the size of the universe
We associate with any abstract logic L a family F(L) consisting, intuitively, of the limit ultrapow...
Degree awarded: M.A. Mathematics and Statistics. American UniversityAn ultraproduct is a mathematica...
AbstractIt is shown, starting from a model in which κ < λ, κ is 2λ supercompact, and λ is a measurab...
If the universe V of sets does not have within it very complicated canonical inner models for large ...
The results from this dissertation are an exact computation of ultrapowers by measures on cardinals ...
The limit ultrapower is generalized to complete distributive lattices equipped with a ultrafilter an...
This thesis is in the field of Descriptive Set Theory and examines some consequences of the Axiom of...
Suppose λ> κ is measurable. We show that if κ is either indestructibly supercompact or indestruct...
AbstractWe show that, relative to the existence of an inaccessible cardinal, it is consistent that t...
We prove several consistency results concerning the notion of $\omega$-strongly measurable cardinal ...
Abstract. We prove some results related to the problem of blowing up the power set of the least meas...
The results from this dissertation are a computation of ultrapowers by supercompactness measures and...
We construct two models containing exactly one supercompact cardinal in which all non-supercompact m...
Ulam proved that there cannot exist a probability measure on the reals for which every set is measur...
AbstractWe consider axioms asserting that Lebesgue measure on the real line may be extended to measu...
We associate with any abstract logic L a family F(L) consisting, intuitively, of the limit ultrapow...
Degree awarded: M.A. Mathematics and Statistics. American UniversityAn ultraproduct is a mathematica...
AbstractIt is shown, starting from a model in which κ < λ, κ is 2λ supercompact, and λ is a measurab...
If the universe V of sets does not have within it very complicated canonical inner models for large ...
The results from this dissertation are an exact computation of ultrapowers by measures on cardinals ...
The limit ultrapower is generalized to complete distributive lattices equipped with a ultrafilter an...
This thesis is in the field of Descriptive Set Theory and examines some consequences of the Axiom of...
Suppose λ> κ is measurable. We show that if κ is either indestructibly supercompact or indestruct...
AbstractWe show that, relative to the existence of an inaccessible cardinal, it is consistent that t...
We prove several consistency results concerning the notion of $\omega$-strongly measurable cardinal ...
Abstract. We prove some results related to the problem of blowing up the power set of the least meas...
The results from this dissertation are a computation of ultrapowers by supercompactness measures and...
We construct two models containing exactly one supercompact cardinal in which all non-supercompact m...
Ulam proved that there cannot exist a probability measure on the reals for which every set is measur...
AbstractWe consider axioms asserting that Lebesgue measure on the real line may be extended to measu...
We associate with any abstract logic L a family F(L) consisting, intuitively, of the limit ultrapow...
Degree awarded: M.A. Mathematics and Statistics. American UniversityAn ultraproduct is a mathematica...
AbstractIt is shown, starting from a model in which κ < λ, κ is 2λ supercompact, and λ is a measurab...