Theories with recursive models

1979 ◽  
Vol 44 (1) ◽  
pp. 59-76 ◽  
Author(s):  
Manuel Lerman ◽  
James H. Schmerl
Keyword(s):  
Existential Quantifier ◽  
Categorical Theory ◽  
Recursive Model ◽  
Recursive Models ◽  
Decidable Theory ◽  
Decidable Model

A structure is recursive if the set of quantifier-free sentences in the complete diagram ⊿() of is recursive. It has been known for some time that every decidable theory has a recursive model. In fact, every decidable theory has a decidable model (that is a model such that ⊿() is recursive). In this paper we find other conditions which imply that a theory have a recursive model.In §1 we study the relation between an ℵ0-categorical theory T having a recursive model and the complexity of the quantificational hierarchy of that theory. We let ∃0 denote the set of quantifier-free sentences, and let ∃n÷1 denote the set of sentences beginning with an existential quantifier and having n alternations of quantifiers. (∀n is defined analogously.) Then we show that if T is an arithmetical ℵ0-categorical theory such that T ⋂ ∃n÷2 is Σn÷10 for each n < ω, then T has a recursive model. We show that this is a best possible result by giving an example of a ⊿n÷20 ℵ0-categorical theory T such that T ⋂ ∃n÷1 is recursive yet T has no recursive model.In §2 we consider the theory of trees. Ershov [1] had proved that every Σ10 theory of trees has a recursive model. We show this to be best possible by giving an example of a ⊿20 theory of trees which has no recursive model.

Indiscernibles and decidable models

1983 ◽  
Vol 48 (1) ◽  
pp. 21-32 ◽  
Author(s):  
H. A. Kierstead ◽  
J. B. Remmel
Keyword(s):  
Order Theory ◽  
Stable Theory ◽  
Categorical Theory ◽  
Large Classes ◽  
Decidable Theory ◽  
First Order Theory ◽  
Decidable Model ◽  
Decidable Theories ◽  
Basic Facts ◽  
Infinite Set

Ehrenfeucht and Mostowski [3] introduced the notion of indiscernibles and proved that every first order theory has a model with an infinite set of order indiscernibles. Since their work, techniques involving indiscernibles have proved to be extremely useful for constructing models with various specialized properties. In this paper and in a sequel [5], we investigate the effective content of Ehrenfeucht's and Mostowski's result. In this paper we consider the question of which decidable theories have decidable models with infinite recursive sets of indiscernibles. In §1, using some basic facts from stability theory, we show that certain large classes of decidable theories have decidable models with infinite recursive sets of indiscernibles. For example, we show that every ω-stable decidable theory and every stable theory which possesses a certain strong decidability property called ∃Q-decidability have such models. In §2 we construct several examples of decidable theories which have no decidable models with infinite recursive sets of indiscernibles. These examples show that our hypothesis for our positive results in §1 are necessary. Finally in §3 we give two applications of our results. First as an easy application of our results in §1, we show that every ω-stable decidable theory has uncountable models which realize only recursive types. Also our counterexamples in §2 allow us to answer negatively two questions of Baldwin and Kueker [1] concerning the effectiveness of their elimination of Ramsey quantifiers for certain theories.In [5], we show that in general the problem of finding an infinite set of indiscernibles in a decidable model is recursively equivalent to finding a path through a recursive infinite branching tree. Similarly, we show that the problem of finding an co-type of a set of indiscernibles in a decidable ω-categorical theory is recursively equivalent to finding a path through a highly recursive finitely branching tree.

Recursively presentable prime models

1974 ◽  
Vol 39 (2) ◽  
pp. 305-309 ◽  
Author(s):  
Leo Harrington
Keyword(s):  
Decision Procedure ◽  
Positive Answer ◽  
Prime Model ◽  
Property A ◽  
Categorical Theory ◽  
Decidable Theory ◽  
Free Variables ◽  
Closed Fields ◽  
Countable Theory ◽  
Algebraically Closed Fields

It is well known that a decidable theory possesses a recursively presentable model. If a decidable theory also possesses a prime model, it is natural to ask if the prime model has a recursive presentation. This has been answered affirmatively for algebraically closed fields [5], and for real closed fields, Hensel fields and other fields [3]. This paper gives a positive answer for the theory of differentially closed fields, and for any decidable ℵ1-categorical theory.The language of a theory T is denoted by L(T). All languages will be presumed countable. An x-type of T is a set of formulas with free variables x, which is consistent with T and which is maximal in this property. A formula with free variables x is complete if there is exactly one x-type containing it. A type is principal if it contains a complete formula. A countable model of T is prime if it realizes only principal types. Vaught has shown that a complete countable theory can have at most one prime model up to isomorphism.If T is a decidable theory, then the decision procedure for T equips L(T) with an effective counting. Thus the formulas of L(T) correspond to integers. The integer a formula φ(x) corresponds to is generally called the Gödel number of φ(x) and is denoted by ⌜φ(x)⌝. The usual recursion theoretic notions defined on the set of integers can be transferred to L(T). In particular a type Γ is recursive with index e if {⌜φ⌝.; φ ∈ Γ} is a recursive set of integers with index e.

Nonarithmetical ℵ0-categorical theories with recursive models

1994 ◽  
Vol 59 (1) ◽  
pp. 106-112 ◽  
Author(s):  
Julia F. Knight
Keyword(s):  
Order Theory ◽  
Complete Theory ◽  
First Order ◽  
Recursive Model ◽  
Recursive Models ◽  
First Order Theory ◽  
Free Variables

In what follows, L is a recursive language. The structures to be considered are L-structures with universe named by constants from ω. A structure is recursive A if the open diagram D() is recursive. Lerman and Schmerl [L-S] proved the following result.Let T be an ℵ0-categorical elementary first-order theory. Suppose that for all n, , and T is arithmetical. Then T has a recursive model.The aim of this paper is to extend Theorem 0.1. Stating the extension requires some terminology. Consider finitary formulas with symbols from L and sometimes extra constants from ω. For each n ∈ ω, the Σn and Πn formulas are as usual. Then Bnformulas are Boolean combinations of Σn formulas. For an L-structure , Dn() denotes the set of Bn sentences in the complete diagram Dc(). A complete Σn theory is a maximal consistent set of ΣnL-sentences. We may write φ(x), or Γ(x), to indicate that the free variables of the formula φ, or the set Γ, are among those in x. A complete Bn type for x is a maximal consistent set Γ(x) of Bn formulas with just the free variables x.If T is ℵ0-categorical, then for each x only finitely many complete types Γ(x) are consistent with T. While Lerman and Schmerl stated their result just for ℵ0-categorical theories, essentially the same proof yields the following.Theorem 0.2. Let T be a consistent, complete theory such that for all n andx, only finitely many complete Bn types Γ(x) are consistent with T.

scholarly journals The Mediating Effect of Intellectual Capital Disclosure Between Firm Characteristics and Firm Value: Empirical Evidence From Indonesian Company With Non-recursive Model Analysis

2020 ◽  
Vol 11 (2) ◽  
pp. 14
Author(s):  
Toni Heryana ◽  
Sugeng Wahyudi ◽  
Wisnu Mawardi
Keyword(s):  
Firm Size ◽  
Intellectual Capital ◽  
Firm Value ◽  
Mediating Effect ◽  
Firm Characteristics ◽  
Recursive Model ◽  
Mediating Role ◽  
Recursive Models ◽  
Company Growth

Based on the signaling theory, this study seeks to explain the interaction of corporate value and the disclosure of intellectual capital in a framework of analysis of recursive models. Testing the recursive model also involves firm size and company growth as a characteristic of the company to clarify the mediating role of intellectual capital in mediating both of the firm's values. We find a positive relationship between firm size and growth on intellectual capital disclosure. The greater the size and growth of the company, the more it encourages companies to disclose intellectual capital in the company's annual report. Also, we find a non-recursive model between intellectual capital disclosure and firm value. This shows that the broader the disclosure of IC information by the company, the better the investor's perception of the company is reflected in the value of the company. Meanwhile, at different times the current condition of the company's value will encourage companies to disclose more complete IC information.

A new spectrum of recursive models using an amalgamation construction

2011 ◽  
Vol 76 (3) ◽  
pp. 883-896 ◽  
Author(s):  
Uri Andrews
Keyword(s):  
Model Theory ◽  
Recursive Model ◽  
Recursive Models ◽  
Saturated Models ◽  
Minimal Theory ◽  
Finite Language ◽  
Amalgamation Construction

AbstractWe employ an infinite-signature Hrushovski amalgamation construction to yield two results in Recursive Model Theory. The first result, that there exists a strongly minimal theory whose only recursively presentable models are the prime and saturated models, adds a new spectrum to the list of known possible spectra. The second result, that there exists a strongly minimal theory in a finite language whose only recursively presentable model is saturated, gives the second non-trivial example of a spectrum produced in a finite language.

Effective model theory vs. recursive model theory

1990 ◽  
Vol 55 (3) ◽  
pp. 1168-1191 ◽  
Author(s):  
John Chisholm
Keyword(s):  
Model Theory ◽  
Classical Model ◽  
Effective Model ◽  
Regularity Conditions ◽  
Strong Regularity ◽  
Recursive Model ◽  
Recursive Models

Recursive model theory is supposed to be the study of the effectiveness of constructions and theorems in model theory. This often involves getting “effective” versions of various classical model-theoretic notions. The traditional way of doing this is to restrict attention to recursive models, and recursive isomorphisms between them, etc. Thus for example the following definition appears in the literature (in [3] and [1]).Definition. Given a recursive model A and an n Є ω, a subset R ⊆ An is called intrinsically r.e. provided that for every recursive model B ≈ A, the isomorphic image in B of R is an r.e. subset of Bn.It is clear that if R is definable by a (recursive, infinitary) Σ10 formula (with finitely many parameters from A), then R is intrinsically r.e. It seems natural for the converse to be true. Indeed, provided that (A, R) is sufficiently “regular” in a sense made precise in a theorem of Ash and Nerode (see [3]), the converse is true. However, if we drop the (rather strong) regularity conditions, there exist “pathological” examples of intrinsically r.e. relations which are not definable by a Σ10 formula (see [7]).In this paper, we suggest a rather different approach to studying the effectiveness of model theory, an approach we have dubbed “effective model theory”. The basic idea is to allow arbitrary nonrecursive models, but to require all notions to be relativized to the complexity of the models involved. (Much the same notion has been used in [2] under the name “relatively recursive model theory”.) Thus for example we have the following effective model theory version of the property of being intrinsically r.e.

Decidability and ℵ0-categoricity of theories of partially ordered sets

1980 ◽  
Vol 45 (3) ◽  
pp. 585-611 ◽  
Author(s):  
James H. Schmerl
Keyword(s):  
Linear Order ◽  
Partially Ordered Set ◽  
Ordered Set ◽  
Partially Ordered Sets ◽  
Finite Width ◽  
Ordered Sets ◽  
Categorical Theory ◽  
Partially Ordered ◽  
Decidable Theory ◽  
Finite Partially Ordered Set

AbstractThis paper is primarily concerned with ℵ0-categoricity of theories of partially ordered sets. It contains some general conjectures, a collection of known results and some new theorems on ℵ0-categoricity. Among the latter are the following.Corollary 3.3. For every countable ℵ0-categoricalthere is a linear order of A such that (, <) is ℵ0-categorical.Corollary 6.7. Every ℵ0-categorical theory of a partially ordered set of finite width has a decidable theory.Theorem 7.7. Every ℵ0-categorical theory of reticles has a decidable theory.There is a section dealing just with decidability of partially ordered sets, the main result of this section beingTheorem 8.2. If (P, <) is a finite partially ordered set and KP is the class of partially ordered sets which do not embed (P, <), then Th(KP) is decidable iff KP contains only reticles.

Completeness properties of heyting's predicate calculus with respect to re models

1976 ◽  
Vol 41 (1) ◽  
pp. 81-94 ◽  
Author(s):  
Dov M. Gabbay
Keyword(s):  
Binary Relation ◽  
Set Theory ◽  
Simple Proof ◽  
Predicate Calculus ◽  
Recursive Model ◽  
Recursive Models ◽  
Recursively Enumerable ◽  
Heyting Arithmetic ◽  
Recursive Structures ◽  
Classical Predicate

Validity in recursive structures was investigated by several authors. Kreisel [10] has shown that there exists a consistent sentence of classical predicate calculus (CPC) that does not possess a recursive model. The sentence is a conjunction of the axioms of a variant of Bernays set theory, including the axiom of infinity. The language contains additional constants besides ϵ. Later Kreisel [2] and Mostowski [3] presented a sentence (not possessing recursive models) which was a conjunction of axioms of a variant of Bernays set theory without the axiom of infinity but still with additional constants besides ϵ. Later Mostowski [4] improved the result by giving a sentence which can be demonstrated in Heyting arithmetic to be consistent and to have no recursive models. Rabin [6] obtained a simple proof that some sentence of set theory with the single nonlogical constant ϵ does not have any recursively enumerable models.More generally, Mostowski [5] has shown that the set of all sentences valid in all RE models is not arithmetical and Vaught [1] improved this result by showing that it holds for a language of one binary relation. In fact, Vaught gives· a way of translating n-place relations to 2-place ones that preserves the RE characteristic of the model. For further results pertaining to recursive models see Vaught [1].

The Complexity of intrinsically r.e. subsets of existentially decidable models

1990 ◽  
Vol 55 (3) ◽  
pp. 1213-1232 ◽  
Author(s):  
John Chisholm
Keyword(s):  
Model Theory ◽  
Recursion Theory ◽  
Natural Numbers ◽  
Recursive Model ◽  
Recursive Models ◽  
Pairing Function ◽  
Effective Pairing ◽  
Theory And Model

Recursive model theory involves the study of relationships between recursion theory and model theory. One direction this often takes is to study the effectiveness of various aspects of model theory. This paper examines such questions by examining some properties of recursive models; that is, models whose basic relations, functions, and constants are all uniformly recursive (and whose universe is the set of natural numbers). Somewhat more precisely:Let be a model whose universe is N, and let (θ())i be an effective enumeration of all quantifier-free formulas of the language of . Then is recursive if {〈, i〉: satisfies (θ())i, in } is a recursive subset of N. (Here and throughout the paper, 〈 〉 denotes an effective pairing function, or an effective coding of sequences, as required.) Similarly, let (ϕ())i be an effective enumeration of all existential formulas of the language of . Then is existentially decidable if {〈, i〉: satisfies (ϕ())i in } is a recursive subset of N.It is clear that if is recursive and is a model isomorphic to , then may lose many of the recursive properties of . In the simplest example, could easily fail to be a recursive model. But even if we require that be a recursive model, it could still fail to retain other recursive properties of . An example of the sort of property which can be studied in this vein is the following notion, introduced by Ash and Nerode in [2].

Sign in / Sign up

Export Citation Format

Share Document