Many-valued logics of extended Gentzen style II

1970 ◽  
Vol 35 (4) ◽  
pp. 493-528 ◽  
Author(s):  
Moto-o Takahashi
Keyword(s):  
Topological Space ◽  
Model Theory ◽  
Natural Extension ◽  
Preceding Paper ◽  
Considerable Extent ◽  
Continuous Logic ◽  
First Order ◽  
Natural Extensions ◽  
Fundamental Theorems ◽  
Order Continuous

In the monograph [1] of Chang and Keisler, a considerable extent of model theory of the first order continuous logic (that is, roughly speaking, many-valued logic with truth values from a topological space) is ingeniously developed without using any notion of provability.In this paper we shall define the notion of provability in continuous logic as well as the notion of matrix, which is a natural extension of one in finite-valued logic in [2], and develop the syntax and semantics of it mostly along the line in the preceding paper [2]. Fundamental theorems of model theory in continuous logic, which have been proved with purely model-theoretic proofs (i.e. those proofs which do not use any proof-theoretic notions) in [1], will be proved with proofs which are natural extensions of those in two-valued logic.

On amalgamations of languages with Magidor-Malitz quantifiers

1979 ◽  
Vol 44 (4) ◽  
pp. 549-558
Author(s):  
Carl F. Morgenstern
Keyword(s):  
Universal Algebra ◽  
Model Theory ◽  
Natural Extension ◽  
Order Logic ◽  
First Order Logic ◽  
First Order ◽  
Free Variables ◽  
Countably Compact

In this paper we indicate how compact languages containing the Magidor-Malitz quantifiers Qκn in different cardinalities can be amalgamated to yield more expressive, compact languages.The language Lκ<ω, originally introduced by Magidor and Malitz [9], is a natural extension of the language L(Q) introduced by Mostowski and investigated by Fuhrken [6], [7], Keisler [8] and Vaught [13]. Intuitively, Lκ<ω is first-order logic together with quantifiers Qκn (n ∈ ω) binding n free variables which express “there is a set X of cardinality κ such than any n distinct elements of X satisfy …”, or in other words, iff the relation on determined by φ contains an n-cube of cardinality κ. With these languages one can express a variety of combinatorial statements of the type considered by Erdös and his colleagues, as well as concepts in universal algebra which are beyond the scope of first-order logic. The model theory of Lκ<ω has been further developed by Badger [1], Magidor and Malitz [10] and Shelah [12].We refer to a language as being < κ compact if, given any set of sentences Σ of the language, if Σ is finitely satisfiable and ∣Σ∣ < κ, then Σ has a model. The phrase countably compact is used in place of <ℵ1 compact.

The metamathematics of model theory: Discovering language in action

1981 ◽  
Vol 46 (3) ◽  
pp. 490-498
Author(s):  
Douglas E. Miller
Keyword(s):  
Topological Space ◽  
Model Theory ◽  
First Order ◽  
Elementary Classes ◽  
Countable Models

AbstractWe discuss the problem of defining the collection of first-order elementary classes in terms of the natural topological space of countable models.

scholarly journals A Definability Theorem for First Order Logic

1997 ◽  
Vol 4 (3) ◽  
Author(s):  
Carsten Butz ◽  
Ieke Moerdijk
Keyword(s):  
Boolean Algebra ◽  
Topological Space ◽  
Model Theory ◽  
Order Logic ◽  
First Order Logic ◽  
Infinitary Logic ◽  
First Order ◽  
Definable Subset ◽  
Language L ◽  
The One

In this paper, we will present a definability theorem for first order logic.<br />This theorem is very easy to state, and its proof only uses elementary tools. To explain the theorem, let us first observe that if M is a model of a theory T in a language L, then, clearly, any definable subset S M (i.e., a subset S = {a | M |= phi(a)} defined by some formula phi) is invariant under all<br />automorphisms of M. The same is of course true for subsets of M" defined<br />by formulas with n free variables.<br /> Our theorem states that, if one allows Boolean valued models, the converse holds. More precisely, for any theory T we will construct a Boolean valued model M, in which precisely the T-provable formulas hold, and in which every (Boolean valued) subset which is invariant under all automorphisms of M is definable by a formula of L.<br />Our presentation is entirely selfcontained, and only requires familiarity<br />with the most elementary properties of model theory. In particular, we have added a first section in which we review the basic definitions concerning<br />Boolean valued models.<br />The Boolean algebra used in the construction of the model will be presented concretely as the algebra of closed and open subsets of a topological space X naturally associated with the theory T. The construction of this space is closely related to the one in [1]. In fact, one of the results in that paper could be interpreted as a definability theorem for infinitary logic, using topological rather than Boolean valued models.

Sheaves and Boolean valued model theory

1979 ◽  
Vol 44 (2) ◽  
pp. 153-183 ◽  
Author(s):  
George Loullis
Keyword(s):  
Topological Space ◽  
Model Theory ◽  
Topological Spaces ◽  
Local Homeomorphism ◽  
First Order ◽  
Logical Operations ◽  
Boolean Valued Model ◽  
Work Done ◽  
Significant Model

In recent years model theorists have been studying various sheaf-theoretic notions as they apply to model theory. For quite a while however, a sheaf of structures was considered to be just a local homeomorphism between topological spaces such that each stalk Sx = p−1(x) is a model-theoretic structure and such that certain maps are continuous. Some of the model-theoretic work done with this notion of a sheaf of structures are the papers by Carson [2] and Macintyre [7]. Soon came the idea of considering a sheaf of structures not just as a collection of structures glued together in some continuous way, but rather as some sort of generalized structure. A significant model-theoretic study of sheaves in this new sense became possible only after the development of the theory of topoi. As F.W. Lawvere pointed out in [6], this represents the advance of mathematics (in our case the advance of model theory) from metaphysics to dialectics.A topos is the rather ingenious evolution of the notion of a Grothendieck topos [13]. It provides us with the idea that an object of a topos (e.g. the topos of sheaves over a topological space) may be thought of as a generalized set. Furthermore, all first-order logical operations have an interpretation in a topos, hence we may talk about generalized structures. Angus Macintyre suggested that some of his model-theoretic results about sheaves of structures may be understood better and perhaps simplified by doing model theory inside a topos of sheaves.

Boolean-valued structures

2018 ◽  
Author(s):  
Tim Button ◽  
Sean Walsh
Keyword(s):  
Model Theory ◽  
Order Logic ◽  
First Order Logic ◽  
Inference Rules ◽  
Mathematical Concepts ◽  
Semantic Framework ◽  
First Order ◽  
Standard Models ◽  
Boolean Valued Model ◽  
Semantic Values

Chapters 6-12 are driven by questions about the ability to pin down mathematical entities and to articulate mathematical concepts. This chapter is driven by similar questions about the ability to pin down the semantic frameworks of language. It transpires that there are not just non-standard models, but non-standard ways of doing model theory itself. In more detail: whilst we normally outline a two-valued semantics which makes sentences True or False in a model, the inference rules for first-order logic are compatible with a four-valued semantics; or a semantics with countably many values; or what-have-you. The appropriate level of generality here is that of a Boolean-valued model, which we introduce. And the plurality of possible semantic values gives rise to perhaps the ‘deepest’ level of indeterminacy questions: How can humans pin down the semantic framework for their languages? We consider three different ways for inferentialists to respond to this question.

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]).

Representation of symmetric probability models

1969 ◽  
Vol 34 (2) ◽  
pp. 183-193 ◽  
Author(s):  
Peter H. Krauss
Keyword(s):  
Mathematical Theory ◽  
Preceding Paper ◽  
Probability Logic ◽  
Probability Models ◽  
Additional Material ◽  
First Order ◽  
Order Probability ◽  
Joint Publication

This paper is a sequel to the joint publication of Scott and Krauss [8] in which the first aspects of a mathematical theory are developed which might be called “First Order Probability Logic”. No attempt will be made to present this additional material in a self-contained form. We will use the same notation and terminology as introduced and explained in Scott and Krauss [8], and we will frequently refer to the theorems stated and proved in the preceding paper.

Model Theory of Epimorphisms

1974 ◽  
Vol 17 (4) ◽  
pp. 471-477 ◽  
Author(s):  
Paul D. Bacsich
Keyword(s):  
Model Theory ◽  
Order Theory ◽  
First Order ◽  
First Order Theory

Given a first-order theory T, welet be the category of models of T and homomorphisms between them. We shall show that a morphism A→B of is an epimorphism if and only if every element of B is definable from elements of A in a certain precise manner (see Theorem 1), and from this derive the best possible Cowell- power Theorem for .

Some model theory for almost real closed fields

1996 ◽  
Vol 61 (4) ◽  
pp. 1121-1152 ◽  
Author(s):  
Françoise Delon ◽  
Rafel Farré
Keyword(s):  
Model Theory ◽  
Residue Field ◽  
Elementary Equivalence ◽  
First Order ◽  
Valuation Rings ◽  
Closed Fields ◽  
Theory Of Fields ◽  
Model Theory Of Fields ◽  
Elementary Inclusion ◽  
Henselian Valuation

AbstractWe study the model theory of fields k carrying a henselian valuation with real closed residue field. We give a criteria for elementary equivalence and elementary inclusion of such fields involving the value group of a not necessarily definable valuation. This allows us to translate theories of such fields to theories of ordered abelian groups, and we study the properties of this translation. We also characterize the first-order definable convex subgroups of a given ordered abelian group and prove that the definable real valuation rings of k are in correspondence with the definable convex subgroups of the value group of a certain real valuation of k.

An Exact Discrete Analog to a Closed Linear First-Order Continuous-Time System with Mixed Sample

1987 ◽  
Vol 3 (1) ◽  
pp. 143-149 ◽  
Author(s):  
Terence D. Agbeyegbe
Keyword(s):  
Continuous Time ◽  
Discrete Model ◽  
Moving Average ◽  
Discrete Analog ◽  
Time System ◽  
First Order ◽  
Exact Discrete Model ◽  
Asymptotically Efficient ◽  
Order Continuous ◽  
Continuous Time System

This article deals with the derivation of the exact discrete model that corresponds to a closed linear first-order continuous-time system with mixed stock and flow data. This exact discrete model is (under appropriate additional conditions) a stationary autoregressive moving average time series model and may allow one to obtain asymptotically efficient estimators of the parameters describing the continuous-time system.

Sign in / Sign up

Export Citation Format

Share Document