103 search results - page 8 / 21 » jsyml 2006 |
124
click to vote
JSYML
2002
15 years 5 months ago
2002
If T is a model complete theory with the strict order property, then the theory of the models of T with an automorphism has no model companion.
139
click to vote
JSYML
2002
15 years 5 months ago
2002
We show that Intuitionistic Open Induction iop is not closed under the rule DNS(1 ). This is established by constructing a Kripke model of iop+
113
click to vote
JSYML
2010
15 years 4 months ago
2010
We show that if G is a strongly minimal finitely axiomatizable group, the division ring of quasi-endomorphisms of G must be an infinite finitely presented ring.
JSYML
2010
15 years 4 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.
132
click to vote
JSYML
2006
15 years 5 months ago
2006
The starting point of this article is an old question asked by Feferman in his paper on Hancock's conjecture [6] about the strength of ID