Theorems of Beth and Craig in Abstract Model Theory. I The Abstract Settin

1979 ◽  
Vol 256 ◽  
pp. 215 ◽  
Author(s):  
J. A. Makowsky ◽  
S. Shelah
Keyword(s):  
Model Theory ◽  
Abstract Model ◽  
Abstract Model Theory

Institutions: abstract model theory for specification and programming

1992 ◽  
Vol 39 (1) ◽  
pp. 95-146 ◽  
Author(s):  
Joseph A. Goguen ◽  
Rod M. Burstall
Keyword(s):  
Model Theory ◽  
Abstract Model ◽  
Abstract Model Theory

Completeness of category-based equational deduction

1995 ◽  
Vol 5 (1) ◽  
pp. 9-40 ◽  
Author(s):  
Răzvan Diaconescu
Keyword(s):  
Logic Programming ◽  
Model Theory ◽  
Constraint Logic Programming ◽  
Horn Clause ◽  
Abstract Model ◽  
Abstract Model Theory ◽  
Completeness Result ◽  
Semantic Treatment ◽  
Theory Framework ◽  
Deduction Modulo

Equational deduction is generalised within a category-based abstract model theory framework, and proved complete under a hypothesis of quantifier projectivity, using a semantic treatment that regards quantifiers as models rather than variables, and valuations as model morphisms rather than functions. Applications include many- and order-sorted (conditional) equational logics, Horn clause logic, equational deduction modulo a theory, constraint logics, and more, as well as any possible combination among them. In the cases of equational deduction modulo a theory and of constraint logic the completeness result is new. One important consequence is an abstract version of Herbrand's Theorem, which provides an abstract model theoretic foundation for equational and constraint logic programming.

Barwise: Abstract Model Theory and Generalized Quantifiers

2004 ◽  
Vol 10 (1) ◽  
pp. 37-53 ◽  
Author(s):  
Jouko Väänänen
Keyword(s):  
Model Theory ◽  
Interpolation Property ◽  
Order Logic ◽  
First Order Logic ◽  
Generalized Quantifiers ◽  
Abstract Model ◽  
Famous Theorem ◽  
Abstract Model Theory ◽  
First Order ◽  
Skolem Theorem

§1. Introduction. After the pioneering work of Mostowski [29] and Lindström [23] it was Jon Barwise's papers [2] and [3] that brought abstract model theory and generalized quantifiers to the attention of logicians in the early seventies. These papers were greeted with enthusiasm at the prospect that model theory could be developed by introducing a multitude of extensions of first order logic, and by proving abstract results about relationships holding between properties of these logics. Examples of such properties areκ-compactness. Any set of sentences of cardinality ≤ κ, every finite subset of which has a model, has itself a model. Löwenheim-Skolem Theorem down to κ. If a sentence of the logic has a model, it has a model of cardinality at most κ. Interpolation Property. If ϕ and ψ are sentences such that ⊨ ϕ → Ψ, then there is θ such that ⊨ ϕ → θ, ⊨ θ → Ψ and the vocabulary of θ is the intersection of the vocabularies of ϕ and Ψ.Lindstrom's famous theorem characterized first order logic as the maximal ℵ0-compact logic with Downward Löwenheim-Skolem Theorem down to ℵ0. With his new concept of absolute logics Barwise was able to get similar characterizations of infinitary languages Lκω. But hopes were quickly frustrated by difficulties arising left and right, and other areas of model theory came into focus, mainly stability theory. No new characterizations of logics comparable to the early characterization of first order logic given by Lindström and of infinitary logic by Barwise emerged. What was first called soft model theory turned out to be as hard as hard model theory.

On the number of generators of cylindric algebras

1985 ◽  
Vol 50 (4) ◽  
pp. 865-873
Author(s):  
H. Andréka ◽  
I. Németi
Keyword(s):  
Model Theory ◽  
Order Logic ◽  
First Order Logic ◽  
Single Element ◽  
Abstract Model ◽  
Finitely Generated ◽  
Cylindric Algebras ◽  
Abstract Model Theory ◽  
First Order ◽  
Cylindric Set Algebras

The theory of cylindric algebras (CA's) is the algebraic theory of first order logics. Several ideas about logic are easier to formulate in the frame of CA-theory. Such are e.g. some concepts of abstract model theory (cf. [1] and [10]–[12]) as well as ideas about relationships between several axiomatic theories of different similarity types (cf. [4] and [10]). In contrast with the relationship between Boolean algebras and classical propositional logic, CA's correspond not only to classical first order logic but also to several other ones. Hence CA-theoretic results contain more information than their counterparts in first order logic. For more about this see [1], [3], [5], [9], [10] and [12].Here we shall use the notation and concepts of the monographs Henkin-Monk-Tarski [7] and [8]. ω denotes the set of natural numbers. CAα denotes the class of all cylindric algebras of dimension α; by “a CAα” we shall understand an element of the class CAα. The class Dcα ⊆ CAα was defined in [7]. Note that Dcα = 0 for α ∈ ω. The classes Wsα, and Csα were defined in 1.1.1 of [8], p. 4. They are called the classes of all weak cylindric set algebras, regular cylindric set algebras and cylindric set algebras respectively. It is proved in [8] (I.7.13, I.1.9) that ⊆ CAα. (These inclusions are proper by 7.3.7, 1.4.3 and 1.5.3 of [8].)It was proved in 2.3.22 and 2.3.23 of [7] that every simple, finitely generated Dcα is generated by a single element. This is the algebraic counterpart of a property of first order logics (cf. 2.3.23 of [7]). The question arose: for which simple CAα's does “finitely generated” imply “generated by a single element” (see p. 291 and Problem 2.3 in [7]). In terms of abstract model theory this amounts to asking the question: For which logics does the property described in 2.3.23 of [7] hold? This property is roughly the following. In any maximal theory any finite set of concepts is definable in terms of a single concept. The connection with CA-theory is that maximal theories correspond to simple CA's (the elements of which are the concepts of the original logic) and definability corresponds to generation.

Weak inclusion systems

1997 ◽  
Vol 7 (2) ◽  
pp. 195-206 ◽  
Author(s):  
VIRGIL EMIL CAˇZAˇNESCU ◽  
GRIGORE ROŞU
Keyword(s):  
Model Theory ◽  
Natural Extension ◽  
Abstract Model ◽  
Abstract Model Theory

We define weak inclusion systems as a natural extension of inclusion systems. We prove that several properties of factorisation systems and inclusion systems remain valid under this extension and we obtain new properties as algebraic tools in abstract model theory.

Sign in / Sign up

Export Citation Format

Share Document