Interpolation theorems for Lk,k2+

1978 ◽  
Vol 43 (3) ◽  
pp. 535-549 ◽  
Author(s):  
Ruggero Ferro
Keyword(s):  
Natural Deduction ◽  
Interpolation Theorem ◽  
Positive Answer ◽  
Strong Limit ◽  
First Order ◽  
Limit Cardinal ◽  
Saturated Models ◽  
Order Language ◽  
Craig’S Interpolation Theorem

Chang, in [1], proves an interpolation theorem (Theorem I, remark b)) for a first-order language. The proof of Chang's theorem uses essentially nonsimple devices, like special and ω1-saturated models.In remark e) in [1], Chang asks if there is a simpler proof of his Theorem I.In [1], Chang proves also another interpolation theorem (Theorem II), which is not an extension of his Theorem I, but extends Craig's interpolation theorem to Lα+,ω languages with interpolant in Lα+,α where α is a strong limit cardinal of cofinality ω.In remark k) in [1], Chang asks if there is a generalization of both Theorems I and II in [1], or at least a generalization of both Theorem I in [1] and Lopez-Escobar's interpolation theorem in [7].Maehara and Takeuti, in [8], show that there is a completely different proof of Chang's interpolation Theorem I as a consequence of their interpolation theorems. The proofs of these theorems of Maehara and Takeuti are proof theoretical in character, involving the notion of cut-free natural deduction, and it uses devices as simple as those needed for the usual Craig's interpolation theorem. Hence this can be considered as a positive answer to Chang's question in remark e) in [1].

On order-types of models

1972 ◽  
Vol 37 (1) ◽  
pp. 69-70 ◽  
Author(s):  
Wilfrid Hodges
Keyword(s):  
Order Type ◽  
Linear Ordering ◽  
Infinite Field ◽  
Strong Limit ◽  
First Order ◽  
Order Types ◽  
Order Language ◽  
Language L ◽  
New Feature

Let T be a theory in a first-order language L. Let L have a predicate ν0 ≺ ν1 such that in every model of T, the interpretation of ≺ is a linear ordering with infinite field. The order-type of this ordering will be called the order-type of the model .Several recent theorems have the following form: if T has a model of order-type ξ then T has a model of order-type ζ (see [1]). We shall add one to the list. The new feature of our result is that the order-type ζ may be in a sense “opposite” to ξ. Silver's Theorem 2.24 of [3] is a corollary of Theorem 1 below.Theorem 1. Let κ be a strong limit number (i.e. μ < κ implies 2μ < κ). Suppose λ < κ, and suppose that for every cardinal μ < κ, T has a model with where the order-type of contains no descending well-ordered sequences of length λ. Then for every cardinal μ ≥ the cardinality ∣L∣ of the language L, T has models and such that(a) the field of is the union of ≤ ∣L∣ well-ordered (inversely well-ordered) parts;(b) .The proof is by Ehrenfeucht-Mostowski models; we presuppose [2].

scholarly journals On weak and strong interpolation in algebraic logics

2006 ◽  
Vol 71 (1) ◽  
pp. 104-118 ◽  
Author(s):  
Gábor Sági ◽  
Saharon Shelah
Keyword(s):  
Algebraic Logic ◽  
Amalgamation Property ◽  
Weak Form ◽  
Interpolation Theorem ◽  
Order Logic ◽  
Cylindric Algebras ◽  
First Order ◽  
Finite Dimensional ◽  
Craig’S Interpolation Theorem ◽  
Superamalgamation Property

AbstractWe show that there is a restriction, or modification of the finite-variable fragments of First Order Logic in which a weak form of Craig's Interpolation Theorem holds but a strong form of this theorem does not hold. Translating these results into Algebraic Logic we obtain a finitely axiomatizable subvariety of finite dimensional Representable Cylindric Algebras that has the Strong Amalgamation Property but does not have the Superamalgamation Property. This settles a conjecture of Pigozzi [12].

Satisfaction for n-th order languages defined in n-th order languages

1965 ◽  
Vol 30 (1) ◽  
pp. 13-25 ◽  
Author(s):  
William Craig
Keyword(s):  
Interpolation Theorem ◽  
The Other ◽  
Present Formulation ◽  
Finite Axiomatizability ◽  
First Order ◽  
Order Language

In this paper we show that for n-th order languages L′ with p nonlogical constants, 2 ≦ n < ω, 0 ≦ p < ω, a notion of satisfaction can be defined in an n-th order language containing one additional nonlogical constant, say S. By the usual methods we also show that this notion cannot be defined in L′. Hence, in its present formulation, Beth's Theorem in [1] for first order languages has no analogue for L′.Our defining expression is such that, given any values of the other nonlogical constants and any appropriate m-tuple, it allows us to determine whether or not the m-tuple belongs to the value S of S without considering the totality of objects which are of the same type as S. Whether every definition in an n-th order language is equivalent to one thus “predicative”, and hence whether there is a formulation of Beth's Theorem which generalizes to higher orders, we do not know.The falsehood for L′ of the analogue of Beth's Theorem implies the falsehood of an analogue of an interpolation theorem for first order languages. The above definability of satisfaction for L′ implies a result on finite axiomatizability in slightly richer languages. Details are given in § 4.

On the Craig-Lyndon interpolation theorem

1968 ◽  
Vol 33 (2) ◽  
pp. 271-274
Author(s):  
Arnold Oberschelp
Keyword(s):  
Interpolation Theorem ◽  
Relation Symbol ◽  
First Order ◽  
Order Language ◽  
Identity Symbol

In his paper [3] Henkin proved for a first order language with identity symbol but without operation symbols the following version of the Craig-Lyndon interpolation theorem:Theorem 1. If Γ╞Δ then there is a formula θ such that Γ ├Δand(i) any relation symbol with a positive (negative) occurrence in θ has a positive (negative) occurrence in some formula of Γ.

A proof theoretic proof of Scott's general interpolation theorem

1972 ◽  
Vol 37 (4) ◽  
pp. 683-695 ◽  
Author(s):  
Henry Africk
Keyword(s):  
Interpolation Theorem ◽  
Original Model ◽  
Order System ◽  
First Order ◽  
Free Variables ◽  
Theoretic Proof ◽  
The One ◽  
Craig’S Interpolation Theorem

In [5] Scott asked if there was a proof theoretic proof of his interpolation theorem. The purpose of this paper is to provide such a proof, working with the first order system LK of Gentzen [2]. Our method is an extension of the one in Maehara [3] for Craig's interpolation theorem. We will also sketch the original model theoretic proof and show how Scott used his result to obtain a definability theorem of Svenonius [7].A language for LK contains the usual logical symbols: , ∧, ∨, ⊃, ∀, ∃; countably many free variables a0, a1, … and bound variables x0, x1, …; and some or all of the following nonlogical symbols: n-ary predicates ; n-ary functions ; and individual constants c0, c1, …. Semiterms are defined as follows: (1) Free variables, bound variables and individual constants are semiterms. (2) If f is an n-ary function and s1 …, sn are semiterms, then f(s1 …, sn), is a semiterm. A term is a semiterm that does not contain a bound variable. Formulas are defined as follows: (1) If R is an n-ary predicate and t1 …, tn are terms, then R(t1 …, tn) is a formula. (2) If A and B are formulas, then A, A ∧ B, A ∨ B and A ⊃ B are formulas. (3) If A(t) is a formula which has zero or more occurrences of the term t, and if x is a bound variable not contained in A(t), then ∀xA(x) and ∃xA(x) are formulas where A(x) is obtained from A(t) by substituting x for t at all indicated places.

Interpolation in Conditional Equational Logic1

1991 ◽  
Vol 15 (1) ◽  
pp. 80-85
Author(s):  
P.H. Rodenburg
Keyword(s):  
Interpolation Theorem ◽  
Equational Logic ◽  
Craig’S Interpolation Theorem ◽  
Natural Formulation

In a natural formulation, Craig’s interpolation theorem is shown to hold for conditional equational logic.

Weakly atomic-compact relational structures

1971 ◽  
Vol 36 (1) ◽  
pp. 129-140 ◽  
Author(s):  
G. Fuhrken ◽  
W. Taylor
Keyword(s):  
Abelian Group ◽  
Model Theory ◽  
Compact Abelian Group ◽  
Finite Subset ◽  
Relational Structure ◽  
Similarity Type ◽  
First Order ◽  
Relational Structures ◽  
Order Language ◽  
Weakly Atomic

A relational structure is called weakly atomic-compact if and only if every set Σ of atomic formulas (taken from the first-order language of the similarity type of augmented by a possibly uncountable set of additional variables as “unknowns”) is satisfiable in whenever every finite subset of Σ is so satisfiable. This notion (as well as some related ones which will be mentioned in §4) was introduced by J. Mycielski as a generalization to model theory of I. Kaplansky's notion of an algebraically compact Abelian group (cf. [5], [7], [1], [8]).

scholarly journals ON PRODUCTS OF ELEMENTARILY INDIVISIBLE STRUCTURES

2016 ◽  
Vol 81 (3) ◽  
pp. 951-971
Author(s):  
NADAV MEIR
Keyword(s):  
New Products ◽  
Elementary Substructure ◽  
First Order ◽  
Order Language ◽  
Image Position

AbstractWe say a structure ${\cal M}$ in a first-order language ${\cal L}$ is indivisible if for every coloring of its universe in two colors, there is a monochromatic substructure ${\cal M}\prime \subseteq {\cal M}$ such that ${\cal M}\prime \cong {\cal M}$. Additionally, we say that ${\cal M}$ is symmetrically indivisible if ${\cal M}\prime$ can be chosen to be symmetrically embedded in ${\cal M}$ (that is, every automorphism of ${\cal M}\prime$ can be extended to an automorphism of ${\cal M}$). Similarly, we say that ${\cal M}$ is elementarily indivisible if ${\cal M}\prime$ can be chosen to be an elementary substructure. We define new products of structures in a relational language. We use these products to give recipes for construction of elementarily indivisible structures which are not transitive and elementarily indivisible structures which are not symmetrically indivisible, answering two questions presented by A. Hasson, M. Kojman, and A. Onshuus.

scholarly journals Word order in Latin locative constructions: a corpus study in Caesar’s De bello gallico

2011 ◽  
Vol 64 (2) ◽  
Author(s):  
Stavros Skopeteas
Keyword(s):  
Word Order ◽  
Information Structure ◽  
Motion Verbs ◽  
Structural Domains ◽  
Corpus Study ◽  
First Order ◽  
Order Language ◽  
Free Word

AbstractClassical Latin is a free word order language, i.e., the order of the constituents is determined by information structure rather than by syntactic rules. This article presents a corpus study on the word order of locative constructions and shows that the choice between a Theme-first and a Locative-first order is influenced by the discourse status of the referents. Furthermore, the corpus findings reveal a striking impact of the syntactic construction: complements of motion verbs do not have the same ordering preferences with complements of static verbs and adjuncts. This finding supports the view that the influence of discourse status on word order is indirect, i.e., it is mediated by information structural domains.

Sign in / Sign up

Export Citation Format

Share Document