Compactness=JEP in any logic
Daniele Mundici (1983)
Fundamenta Mathematicae
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “A generalization of abstract model theory”
Compactness=JEP in any logic
Embeddings, amalgamation and elementary equivalence: the representation of compact logics
Daniele Mundici (1984)
Fundamenta Mathematicae
Similarity:
A complete first-order logic with infinitary predicates
H. Keisler (1963)
Fundamenta Mathematicae
Similarity:
A modal logic of consistency
N. Brunner (1995)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Some observations on Uniform Reduction for properties invariant on the range of definable relations
J. Makowsky (1978)
Fundamenta Mathematicae
Similarity:
Finite models and finitely many variables
Anuj Dawar (1999)
Banach Center Publications
Similarity:
This paper is a survey of results on finite variable logics in finite model theory. It focusses on the common underlying techniques that unite many such results.
Reasoning in Basic Description Logics and Description Logics with Modal Operators
Milenko Mosurović, Tatjana Stojanović, Ana Kaplarević-Mališić (2009)
Zbornik Radova
Similarity:
On axiomatizability and preservation in Kripke models.
Markovic, Zoran (1981)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Undecidability of intuitionistic theories formulated with the apartness relation
Dov Gabbay (1977)
Fundamenta Mathematicae
Similarity:
Remarks on predicate logic with infinitely long expressions
Alfred Tarski (1958)
Colloquium Mathematicum
Similarity: