On conceptual completeness of syntactic-semantical systems
From MaRDI portal
Publication:798654
DOI10.1007/BF01849839zbMath0547.03047MaRDI QIDQ798654
Publication date: 1985
Published in: Periodica Mathematica Hungarica (Search for Journal in Brave)
modelsequational logiclinear logicultraproductinterpretationspreservationsemanticsfirst-order theoriesmodificationscylindric algebrasnatural transformation2-categorysyntaxclonesequational theoriestheoriesconcrete categoriesconceptual completenesssyntactic-semantical system
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Characterizing Mal'cev conditions
- A simple, purely algebraic proof of the completeness of some first order logics
- First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
- On universal algebraic constructions of logics
- Model theory
- Formal category theory: Adjointness for 2-categories
- Every two elementarily equivalent models have isomorphic ultrapowers
- Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures
- Axioms for abstract model theory
- Adjointness in Foundations
- AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
- Representing varieties of algebras by algebras
- Heterogeneous algebras
- Lawvere's elementary theories and polyadic and cylindric algebras
- Logische Kategorien
- Aspects of topoi
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
This page was built for publication: On conceptual completeness of syntactic-semantical systems
