Switch to: References

Citations of:

Continuous model theory

Princeton,: Princeton University Press. Edited by H. Jerome Keisler (1966)

Add citations

You must login to add citations.
  1. Métascience: Pour un discours général scientifique.François Maurice - 2020 - Mεtascience: Discours Général Scientifique 1:31-77.
    L’humain produit des discours sur le monde : mythologies, religions, mysticismes, philosophies, science. La majorité de ses discours sont de nature transcendante. À la suite d’un clarification conceptuelle fondée sur les notions de réflexion et de discours général, la philosophie apparaît comme un dis- cours général transcendant parmi d’autres ; d’où l’échec de celle-ci à rendre compte du monde et de la science ; d’où la nécessité de disposer d’un discours général non transcendant, un discours général proprement scientifique, une métascience. (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Preservation theorems in linear continuous logic.Seyed-Mohammad Bagheri & Roghieh Safari - 2014 - Mathematical Logic Quarterly 60 (3):168-176.
    Linear continuous logic is the fragment of continuous logic obtained by restricting connectives to addition and scalar multiplications. Most results in the full continuous logic have a counterpart in this fragment. In particular a linear form of the compactness theorem holds. We prove this variant and use it to deduce some basic preservation theorems.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • (1 other version)The Semantical Characterization of de Dicto in Continuous Modal Model Theory.Hirokazu Nishimura - 1981 - Mathematical Logic Quarterly 27 (15):233-240.
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)The Semantical Characterization of de Dicto in Continuous Modal Model Theory.Hirokazu Nishimura - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (15):233-240.
    Download  
     
    Export citation  
     
    Bookmark  
  • First-order fuzzy logic.Vilém Novák - 1987 - Studia Logica 46 (1):87 - 109.
    This paper is an attempt to develop the many-valued first-order fuzzy logic. The set of its truth, values is supposed to be either a finite chain or the interval 0, 1 of reals. These are special cases of a residuated lattice L, , , , , 1, 0. It has been previously proved that the fuzzy propositional logic based on the same sets of truth values is semantically complete. In this paper the syntax and semantics of the first-order fuzzy logic (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Omitting uncountable types and the strength of [0,1]-valued logics.Xavier Caicedo & José N. Iovino - 2014 - Annals of Pure and Applied Logic 165 (6):1169-1200.
    We study a class of [0,1][0,1]-valued logics. The main result of the paper is a maximality theorem that characterizes these logics in terms of a model-theoretic property, namely, an extension of the omitting types theorem to uncountable languages.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Local definability theory.Gonzalo E. Reyes - 1970 - Annals of Mathematical Logic 1 (1):95-137.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • The logic of integration.Seyed-Mohammad Bagheri & Massoud Pourmahdian - 2009 - Archive for Mathematical Logic 48 (5):465-492.
    We develop a model theoretic framework for studying algebraic structures equipped with a measure. The real line is used as a value space and its usual arithmetical operations as connectives. Integration is used as a quantifier. We extend some basic results of pure model theory to this context and characterize measurable sets in terms of zero-sets of formulas.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Linear model theory for Lipschitz structures.Seyed-Mohammad Bagheri - 2014 - Archive for Mathematical Logic 53 (7-8):897-927.
    I study definability and types in the linear fragment of continuous logic. Linear variants of several definability theorems such as Beth, Svenonus and Herbrand are proved. At the end, a partial study of the theories of probability algebras, probability algebras with an aperiodic automorphism and AL-spaces is given.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Key notions of Tarski's methodology of deductive systems.Janusz Czelakowski & Grzegorz Malinowski - 1985 - Studia Logica 44 (4):321 - 351.
    The aim of the article is to outline the historical background and the present state of the methodology of deductive systems invented by Alfred Tarski in the thirties. Key notions of Tarski's methodology are presented and discussed through, the recent development of the original concepts and ideas.
    Download  
     
    Export citation  
     
    Bookmark   7 citations