103 search results - page 8 / 21 » jsyml 2006 |
JSYML
2002
13 years 9 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.
JSYML
2002
13 years 9 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+
JSYML
2010
13 years 8 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
13 years 8 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
2006
13 years 9 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