Add to ORKGAnswering a question of Junker and Ziegler, we construct a countable first order structure which is not ω-categorical, but does not have any proper non-trivial reducts, in either of two senses (model-theoretic, and group-theoretic). We also construct a strongly minimal set which is not ω-categorical but has no proper non-trivial reducts in the model-theoretic sense.
Abstract. We prove that ifM is any model of a trivial, strongly minimal theory, then the elementary ...
Abstract. Recent developments in the theory of pfaffian sets are presented from a model-theoretic po...
We prove that there exists a structure M whose monadic second order theory is decidable, and such th...
Answering a question of Junker and Ziegler, we construct a countable first order structure which is ...
Abstract. We show that the groups AGLn(Q) and PGLn(Q), seen as closed subgroups of S∞, are maximal-c...
In Model Theory, reducts of a relational structure Γ are usually considered up to first-order interd...
A b s t r a c t. We investigate minimal first-order structures and consider interpretability and def...
Given two structures M and N on the same domain, we say that N is a reduct of M if all emptyset-defi...
In [5] E. Hrushovski proved the following theorem: Theorem 0.1 (Hrushovski’s New Strongly Minimal Se...
We employ the Hrushovski Amalgamation Construction to generate strongly minimal examples of interest...
Given two structures M and N on the same domain, we say that N is a reduct of M if all emptyset-defi...
Some years ago (see [5], Problem 12.14), we asked if every first order theory having infinite models...
Abstract. We prove that ifM is any model of a trivial, strongly minimal theory, then the elementary ...
We study the model theory of “covers” of groups H definable in an o-minimal structure M. We pose the...
The present paper is a direct continuation of [2], where it is shown that any strongly minimal trivi...
Abstract. We prove that ifM is any model of a trivial, strongly minimal theory, then the elementary ...
Abstract. Recent developments in the theory of pfaffian sets are presented from a model-theoretic po...
We prove that there exists a structure M whose monadic second order theory is decidable, and such th...
Answering a question of Junker and Ziegler, we construct a countable first order structure which is ...
Abstract. We show that the groups AGLn(Q) and PGLn(Q), seen as closed subgroups of S∞, are maximal-c...
In Model Theory, reducts of a relational structure Γ are usually considered up to first-order interd...
A b s t r a c t. We investigate minimal first-order structures and consider interpretability and def...
Given two structures M and N on the same domain, we say that N is a reduct of M if all emptyset-defi...
In [5] E. Hrushovski proved the following theorem: Theorem 0.1 (Hrushovski’s New Strongly Minimal Se...
We employ the Hrushovski Amalgamation Construction to generate strongly minimal examples of interest...
Given two structures M and N on the same domain, we say that N is a reduct of M if all emptyset-defi...
Some years ago (see [5], Problem 12.14), we asked if every first order theory having infinite models...
Abstract. We prove that ifM is any model of a trivial, strongly minimal theory, then the elementary ...
We study the model theory of “covers” of groups H definable in an o-minimal structure M. We pose the...
The present paper is a direct continuation of [2], where it is shown that any strongly minimal trivi...
Abstract. We prove that ifM is any model of a trivial, strongly minimal theory, then the elementary ...
Abstract. Recent developments in the theory of pfaffian sets are presented from a model-theoretic po...
We prove that there exists a structure M whose monadic second order theory is decidable, and such th...