JSYML
2010
13 years 3 months ago
2010
JSYML
2010
13 years 3 months ago
2010
We obtain an equiconsistency for a weak form of universal indestructibility for strongness. The equiconsistency is relative to a cardinal weaker in consistency strength than a Woo...
JSYML
2010
13 years 3 months ago
2010
Dp-minimality is a common generalization of weak minimality and weak o-minimality. If T is a weakly o-minimal theory then it is dp-minimal (Fact 2.2), but there are dp-minimal den...
JSYML
2010
13 years 3 months ago
2010
Let L be a first-order language and Φ and Ψ two Σ1 1 L-sentences that cannot be satisfied simultaneously in any finite L-structure. Then obviously the following principle Cha...
JSYML
2010
13 years 3 months ago
2010
There is a proper countable support iteration of length adding no new reals at finite stages and adding a Sacks real in the limit.
JSYML
2010
13 years 3 months ago
2010
Continuous first-order logic has found interest among model theorists who wish to extend the classical analysis of “algebraic” structures (such as fields, group, and graphs) ...
JSYML
2010
13 years 3 months ago
2010
JSYML
2010
13 years 3 months ago
2010
Let M = M, +, <, 0, S be a linear o-minimal expansion of an ordered group, and G = G, ⊕, eG an n-dimensional group definable in M. We show that if G is definably connected w...
JSYML
2010
13 years 3 months ago
2010
By taking a closer look at the construction of an Ackermann function we see that between any primitive recursive degree and its Ackermann modification there is a dense chain of p...
JSYML
2010
13 years 3 months ago
2010