Prime models and almost decidability

1986 ◽  
Vol 51 (2) ◽  
pp. 412-420 ◽  
Author(s):  
Terrence Millar
Keyword(s):  
Order Theory ◽  
The Other ◽  
Prime Model ◽  
First Order ◽  
Decidable Theory ◽  
Complete Extension ◽  
First Order Theory ◽  
Additional Constant ◽  
Open Question ◽  
Countable Models

This paper introduces and investigates a notion that approximates decidability with respect to countable structures. The paper demonstrates that there exists a decidable first order theory with a prime model that is not almost decidable. On the other hand it is proved that if a decidable complete first order theory has only countably many complete types, then it has a prime model that is almost decidable. It is not true that every decidable complete theory with only countably many complete types has a decidable prime model. It is not known whether a complete decidable theory with only countably many countable models up to isomorphism must have a decidable prime model. In [1] a weaker result was proven—if every complete extension, in finitely many additional constant symbols, of a theory T fails to have a decidable prime model, then T has 2ω nonisomorphic countable models. The corresponding statement for saturated models is false, even if all the complete types are recursive, as was shown in [2]. This paper investigates a variation of the open question via a different notion of effectiveness—almost decidable.A tree Tr will be a subset of ω<ω that is closed under predecessor. For elements f, g in ω<ω ∪ ωω, ƒ ⊲ g iffdf ∀i < lh(ƒ)[ƒ(i) = g(i)].

A complicated ω-stable depth 2 theory

2011 ◽  
Vol 76 (1) ◽  
pp. 47-65 ◽  
Author(s):  
Martin Koerwien
Keyword(s):  
Order Theory ◽  
The Other ◽  
First Order ◽  
First Order Theory ◽  
Other Hand ◽  
Countable Models

AbstractWe present a countable complete first order theory T which is model theoretically very well behaved: it eliminates quantifiers, is ω-stable, it has NDOP and is shallow of depth two. On the other hand, there is no countable bound on the Scott heights of its countable models, which implies that the isomorphism relation for countable models is not Borel.

Prime models of finite computable dimension

2009 ◽  
Vol 74 (1) ◽  
pp. 336-348
Author(s):  
Pavel Semukhin
Keyword(s):  
Order Theory ◽  
Prime Model ◽  
Computable Model ◽  
Undirected Graphs ◽  
Integral Domains ◽  
Computable Model Theory ◽  
First Order ◽  
First Order Theory ◽  
Computable Dimension ◽  
Open Question

AbstractWe study the following open question in computable model theory: does there exist a structure of computable dimension two which is the prime model of its first-order theory? We construct an example of such a structure by coding a certain family of c.e. sets with exactly two one-to-one computable enumerations into a directed graph. We also show that there are examples of such structures in the classes of undirected graphs, partial orders, lattices, and integral domains.

SEPARABLE MODELS OF RANDOMIZATIONS

2015 ◽  
Vol 80 (4) ◽  
pp. 1149-1181 ◽  
Author(s):  
URI ANDREWS ◽  
H. JEROME KEISLER
Keyword(s):  
Probability Density Function ◽  
Probability Density ◽  
Density Function ◽  
Order Theory ◽  
Prime Model ◽  
First Order ◽  
First Order Theory ◽  
Separable Models ◽  
Homogeneous Models ◽  
Countable Models

AbstractEvery complete first order theory has a corresponding complete theory in continuous logic, called the randomization theory. It has two sorts, a sort for random elements of models of the first order theory, and a sort for events. In this paper we establish connections between properties of countable models of a first order theory and corresponding properties of separable models of the randomization theory. We show that the randomization theory has a prime model if and only if the first order theory has a prime model. And the randomization theory has the same number of separable homogeneous models as the first order theory has countable homogeneous models. We also show that when T has at most countably many countable models, each separable model of TR is uniquely characterized by a probability density function on the set of isomorphism types of countable models of T. This yields an analogue for randomizations of the results of Baldwin and Lachlan on countable models of ω1-categorical first order theories.

Countable models of trivial theories which admit finite coding

1996 ◽  
Vol 61 (4) ◽  
pp. 1279-1286 ◽  
Author(s):  
James Loveys ◽  
Predrag Tanović
Keyword(s):  
Order Theory ◽  
First Order ◽  
First Order Theory ◽  
Superstable Theories ◽  
Countable Models

AbstractWe prove:Theorem. A complete first order theory in a countable language which is strictly stable, trivial and which admits finite coding hasnonisomorphic countable models.Combined with the corresponding result or superstable theories from [4] our result confirms the Vaught conjecture for trivial theories which admit finite coding.

scholarly journals Generalized prime models

1971 ◽  
Vol 36 (4) ◽  
pp. 593-606 ◽  
Author(s):  
Robert Fittler
Keyword(s):  
Order Theory ◽  
Complete Theory ◽  
Prime Model ◽  
First Order ◽  
First Order Theory ◽  
General Conditions

A prime model O of some complete theory T is a model which can be elementarily imbedded into any model of T (cf. Vaught [7, Introduction]). We are going to replace the assumption that T is complete and that the maps between the models of T are elementary imbeddings (elementary extensions) by more general conditions. T will always be a first order theory with identity and may have function symbols. The language L(T) of T will be denumerable. The maps between models will be so called F-maps, i.e. maps which preserve a certain set F of formulas of L(T) (cf. I.1, 2). Roughly speaking a generalized prime model of T is a denumerable model O which permits an F-map O→M into any model M of T. Furthermore O has to be “generated” by formulas which belong to a certain subset G of F.

UNIVERSAL COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS

2014 ◽  
Vol 79 (01) ◽  
pp. 60-88 ◽  
Author(s):  
URI ANDREWS ◽  
STEFFEN LEMPP ◽  
JOSEPH S. MILLER ◽  
KENG MENG NG ◽  
LUCA SAN MAURO ◽  
...  
Keyword(s):  
Computable Function ◽  
Order Theory ◽  
Equivalence Relations ◽  
Index Set ◽  
First Order ◽  
First Order Theory ◽  
Bounded Poset ◽  
Image Position ◽  
Open Question ◽  
Computably Enumerable

Abstract We study computably enumerable equivalence relations (ceers), under the reducibility $R \le S$ if there exists a computable function f such that $x\,R\,y$ if and only if $f\left( x \right)\,\,S\,f\left( y \right)$ , for every $x,y$ . We show that the degrees of ceers under the equivalence relation generated by $\le$ form a bounded poset that is neither a lower semilattice, nor an upper semilattice, and its first-order theory is undecidable. We then study the universal ceers. We show that 1) the uniformly effectively inseparable ceers are universal, but there are effectively inseparable ceers that are not universal; 2) a ceer R is universal if and only if $R\prime \le R$ , where $R\prime$ denotes the halting jump operator introduced by Gao and Gerdes (answering an open question of Gao and Gerdes); and 3) both the index set of the universal ceers and the index set of the uniformly effectively inseparable ceers are ${\rm{\Sigma }}_3^0$ -complete (the former answering an open question of Gao and Gerdes).

Decidability and undecidability of theories with a predicate for the primes

1993 ◽  
Vol 58 (2) ◽  
pp. 672-687 ◽  
Author(s):  
P. T. Bateman ◽  
C. G. Jockusch ◽  
A. R. Woods
Keyword(s):  
General Result ◽  
Order Theory ◽  
Second Order ◽  
The Other ◽  
Linear Case ◽  
Natural Numbers ◽  
Successor Function ◽  
First Order ◽  
First Order Theory

AbstractIt is shown, assuming the linear case of Schinzel's Hypothesis, that the first-order theory of the structure 〈ω; +, P〉, where P is the set of primes, is undecidable and, in fact, that multiplication of natural numbers is first-order definable in this structure. In the other direction, it is shown, from the same hypothesis, that the monadic second-order theory of 〈ω S, P〉 is decidable, where S is the successor function. The latter result is proved using a general result of A. L. Semënov on decidability of monadic theories, and a proof of Semënov's result is presented.

Prime e.c. commutative rings in characteristic n ≥ 2

1999 ◽  
Vol 64 (2) ◽  
pp. 629-633
Author(s):  
Dan Saracino
Keyword(s):  
Commutative Rings ◽  
Order Theory ◽  
Prime Model ◽  
Finite Model ◽  
First Order ◽  
First Order Theory ◽  
Building Models ◽  
Open Questions ◽  
A Chain ◽  
Mathematics Department

Let CR denote the first-order theory of commutative rings with unity, formulated in the language L = 〈 +, •, 0, 1〉. Virtually everything that is known about existentially complete (e.c.) models of CR is contained in Cherlin's paper [2], where it is shown, in particular, that the e.c. models are not first-order axiomatizable. The purpose of this note is to show that, in analogy with the case of fields, there exists a unique prime e.c. model of CR in each characteristic n > 2. As a consequence we settle Problem 8 in the list of open questions at the end of Hodges' book Building models by games ([5], p. 278).By a “prime” e.c. model of characteristic n ≥ 2 we mean one that embeds in every e.c. model of characteristic n. (The embedding is not always elementary, since [2] not all e.c. models of characteristic n are elementarily equivalent.) The prime model is characterized by the fact that it is the union of a chain of finite subrings each of which is an amalgamation base for CR. In §1 we describe the finite amalgamation bases for CR and show that every finite model embeds in a finite amalgamation base; in §2 we use this information to obtain prime e.c. models and answer Hodges' question.Our results on prime e.c. models were obtained some years ago, during the fall term of 1982, while the author was a visitor at Wesleyan University. The author wishes to take this opportunity to thank the mathematics department at Wesleyan for its hospitality during that visit, and subsequent ones.

A NEW FORMALIZATION OF FEFERMAN’S SYSTEM OF FUNCTIONS AND CLASSES AND ITS RELATION TO FREGE STRUCTURE

1995 ◽  
Vol 06 (03) ◽  
pp. 187-202 ◽  
Author(s):  
SUSUMU HAYASHI ◽  
SATOSHI KOBAYASHI
Keyword(s):  
Finite Number ◽  
Order Theory ◽  
Point Of View ◽  
The Other ◽  
Technical Result ◽  
Technical Point ◽  
First Order ◽  
First Order Theory

A new axiomatization of Feferman’s systems of functions and classes1,2 is given. The new axiomatization has a finite number of class constructors resembling the proposition constructors of Frege structure by Aczel.3 Aczel wrote “It appears that from the technical point of view the two approaches (Feferman’s system and Frege structure) run parallel to each other in the sense that any technical result for one approach can be reconstructed for the other”.3 By the aid of the new axiomatization, Aczel’s observation becomes so evident. It is now straightforward to give a mutual interpretation between our formulation and a first order theory of Frege structure, which improve results by Beeson in Ref. 4.

Theory of mind deficit in people with schizophrenia during remission

2002 ◽  
Vol 32 (6) ◽  
pp. 1125-1129 ◽  
Author(s):  
R. HEROLD ◽  
T. TÉNYI ◽  
K. LÉNÁRD ◽  
M. TRIXLER
Keyword(s):  
Theory Of Mind ◽  
Acute Phase ◽  
Matched Control ◽  
Order Theory ◽  
The Other ◽  
First Order ◽  
First Order Theory ◽  
Significant Impairment ◽  
Schizophrenic Patients ◽  
Mind Task

Background. The authors' goal was to investigate the presence or absence of theory of mind impairments among people with schizophrenia during remission. Recent research results interpret theory of mind deficits as state rather than trait characteristics, connecting these impairments mainly to the acute episode of psychosis.Methods. Twenty patients with schizophrenia in remission and 20 matched control subjects were evaluated. Participants were presented with one first-order theory of mind task, one second-order theory of mind task, two metaphor and two irony tasks adapted from previous studies.Results. The schizophrenic patients performed a statistically significant impairment in the irony task, as there were no significant differences in the cases of the other evaluated tasks.Conclusions. These preliminary results suggest that theory of mind impairments can be detected not only in the acute phase as found in previous research studies, but also in remission.

Sign in / Sign up

Export Citation Format

Share Document