Sciweavers

Share
JSYML
2010
65views more  JSYML 2010»
8 years 6 months ago
Formalizing non-standard arguments in second-order arithmetic
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...
Keita Yokoyama
JSYML
2010
74views more  JSYML 2010»
8 years 6 months ago
Quantifier elimination in valued Ore modules
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...
Luc Bélair, Françoise Point
JSYML
2010
68views more  JSYML 2010»
8 years 6 months ago
Stability and stable groups in continuous logic
We develop several aspects of local and global stability in continuous first order logic. In particular, we study type-definable groups and genericity.
Itaï Ben Yaacov
JSYML
2010
66views more  JSYML 2010»
8 years 6 months ago
Uniform model-completeness for the real field expanded by power functions
We prove that given any first order formula in the language L = {+,
Tom Foster
JSYML
2010
103views more  JSYML 2010»
8 years 6 months ago
A note on Hjorth's oscillation theorem
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...
Julien Melleray
JSYML
2010
120views more  JSYML 2010»
8 years 6 months ago
Universally measurable subgroups of countable index
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...
Christian Rosendal
JSYML
2010
69views more  JSYML 2010»
8 years 6 months ago
Topological properties of sets definable in weakly o-minimal structures
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...
Roman Wencel
JSYML
2010
81views more  JSYML 2010»
8 years 6 months ago
Groupoids, covers, and 3-uniqueness in stable theories
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...
John Goodrick, Alexei Kolesnikov
JSYML
2010
89views more  JSYML 2010»
8 years 6 months ago
The consistency strength of choiceless failures of SCH
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...
Arthur W. Apter, Peter Koepke
books