JSYML
2010
13 years 10 months ago
2010
JSYML
2010
13 years 10 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 10 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 10 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 10 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 10 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 10 months ago
2010
JSYML
2010
13 years 10 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 10 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 10 months ago
2010