JSYML
2010
13 years 7 months ago
2010
In this paper, we introduce the systems ns-ACA0 and ns-WKL0 of non-standard second-order arithmetic in which we can formalize non-standard arguments in ACA0 and WKL0, respectively...
JSYML
2010
13 years 7 months ago
2010
We consider valued fields with a distinguished isometry or contractive derivation as valued modules over the Ore ring of difference operators. Under certain assumptions on the resi...
JSYML
2010
13 years 7 months ago
2010
We develop several aspects of local and global stability in continuous first order logic. In particular, we study type-definable groups and genericity.
JSYML
2010
13 years 7 months ago
2010
JSYML
2010
13 years 7 months ago
2010
We prove that given any first order formula in the language L = {+,
JSYML
2010
13 years 7 months ago
2010
We reformulate, in the context of continuous logic, an oscillation theorem proved by G. Hjorth and give a proof of the theorem in that setting which is similar to, but simpler than...
JSYML
2010
13 years 7 months ago
2010
We prove that any countable index, universally measurable subgroup of a Polish group is open. By consequence, any universally measurable homomorphism from a Polish group into the i...
JSYML
2010
13 years 7 months ago
2010
The paper is aimed at studying the topological dimension for sets definable in weakly o-minimal structures in order to prepare background for further investigation of groups, grou...
JSYML
2010
13 years 7 months ago
2010
Abstract. Building on Hrushovski's work in [5], we study definable groupoids in stable theories and their relationship with 3-uniqueness and finite internal covers. We introdu...
JSYML
2010
13 years 7 months ago
2010
We determine exact consistency strengths for various failures of the Singular Cardinals Hypothesis (SCH) in the setting of the Zermelo-Fraenkel axiom system ZF without the Axiom o...