scientific article; zbMATH DE number 3093421

Cited in

(76)

Harmonious logic: Craig's interpolation theorem and its descendants
First-order theories of abstract dependence relations
Axiomatizable classes with strong homomorphisms
A note on the models on general systems
Difference measurement spaces
The number of finite relational structures
Unifying threads in Alfred Tarski's work
Peirce algebras
The structure of lattices of subframe logics
On positive and critical theories of some classes of rings
Is the principle of contradiction a consequence of $x^2=x$?
Carnapian and Tarskian semantics
On generalized subreducts of Tarski's algebras of relations with the operation of bi-directional intersection
Key notions of Tarski's methodology of deductive systems
Finitely axiomatizable quasivarieties of graphs
In defense of logical universalism: taking issue with Jean van Heijenoort
On algebras of binary relations with conjunctive operations
On groupoids of relations with one conjunctive operation of rank 2
Superstability, Noetherian rings and pure-semisimple rings
A remark of representable positive cylindric algebras
Categoricity in multiuniversal classes
A comparison of the meaning and uses of models in mathematics and the empirical sciences
Universally axiomatizable subclasses of locally finite classes of models
Some model theoretic results for -logic
On the compatibility between a graph and a simple order
Relation algebras and function semigroups
Produkttreue Klassen universeller Algebren
The closure operator in partial algebras with distributive operations. Application to set algebra, measure theory and linear spaces
Pragmatics and intensional logic
Measurement structures in classes that are not universally axiomatizable
Equivalence relations determining useful properties
On universal positive graphs
Congruences and ideals on Boolean modules: a heterogeneous point of view
Algebraic Analysis of Many Valued Logics
Properties preserved under algebraic constructions
scientific article; zbMATH DE number 3148408 (Why is no real title available?)
On Unions of Chains of Models
Leon Henkin the reviewer
Some Varieties Containing Relation Algebras
Über die Axiome Produkt-Abgeschlossener Arithmetischer Klassen
Pair-Dense Relation Algebras
Note on locally definable classes of structures
An optimal construction of Hanf sentences
Andrzej Mostowski and the notion of a model
The variety of coset relation algebras
UNIVERSAL CLASSES NEAR ${\aleph _1}$
Saturated models of incomplete theories
First-order axiomatisations of representable relation algebras need formulas of unbounded quantifier depth
Shelah's eventual categoricity conjecture in universal classes. II
Model theory in algebra, analysis and arithmetic: a preface
Structural logic and abstract elementary classes with intersections
Canonical varieties with no canonical axiomatisation
Elementary Classes Closed Under Descending Intersection
A remark on equational completeness
scientific article; zbMATH DE number 3259043 (Why is no real title available?)
Minimal- und Primmodelle
Unions of Relational Systems
Reduced Products and Horn Classes
Provability with Finitely Many Variables
Composita, Equations, and Freely Generated Algebras
On the universal completeness of classes of relational systems
Limit Ultrapowers
Big mathematical systems
Tarski's definition and truth-makers
What languages have Tarski truth definitions?
Is Logic Relevant to Classifications?
On the variety generated by generalized subreducts of Tarski's algebras of relations
Constraint satisfaction, graph isomorphism, and the pebbling comonad
When locality meets preservation
On the Year of Publication of Tarski's ‘Der Wahrheitsbegriff in den formalisierten Sprachen’
Finite-model theory -- A personal perspective
Representable distributive quasi relation algebras
Equi-rank homomorphism preservation theorem on finite structures
On simplicity of formulas
Several epistemological problems related to the concept of systems
The computable kernel of abstract state machines

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5833217)