Model Theory for Lam Logic
Miodrag Rašković (1985)
Publications de l'Institut Mathématique
Similarity:
Miodrag Rašković (1985)
Publications de l'Institut Mathématique
Similarity:
Markovic, Zoran (1981)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Marković, Zoran (1984)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Itaï Ben Yaacov, Alexander Usvyatsov (2007)
Fundamenta Mathematicae
Similarity:
We observe that certain classical results of first order model theory fail in the context of continuous first order logic. We argue that this happens since finite tuples in a continuous structure may behave as infinite tuples in classical model theory. The notion of a d-finite tuple attempts to capture some aspects of the classical finite tuple behaviour. We show that many classical results involving finite tuples are valid in continuous logic upon replacing "finite" with "d-finite"....
Shira Elqayam (2005)
Philosophia Scientiae
Similarity:
Andrzej Mostowski, Y. Suzuki (1969)
Fundamenta Mathematicae
Similarity:
G. Cherlin (1979)
Fundamenta Mathematicae
Similarity:
Farah, Ilijas (1992)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Wilfrid Hodges (1980)
Fundamenta Mathematicae
Similarity:
Gebhard Fuhrken (1968)
Colloquium Mathematicae
Similarity:
J. Łoś (1955)
Fundamenta Mathematicae
Similarity:
Dana Scott (1968)
Compositio Mathematica
Similarity:
Wiesław Kułaga (1978)
Colloquium Mathematicae
Similarity:
W. Klonecki (1976)
Applicationes Mathematicae
Similarity: