scientific article; zbMATH DE number 3093421
From MaRDI portal
Publication:5833217
zbMath0058.24702MaRDI QIDQ5833217
Publication date: 1955
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (71)
Minimal- und Primmodelle ⋮ Peirce algebras ⋮ Leon Henkin the Reviewer ⋮ Provability with Finitely Many Variables ⋮ Axiomatizable classes with strong homomorphisms ⋮ Finitely axiomatizable quasivarieties of graphs ⋮ The structure of lattices of subframe logics ⋮ Is the principle of contradiction a consequence of \(x^2=x\)? ⋮ A note on the models on general systems ⋮ Tarski's definition and truth-makers ⋮ What languages have Tarski truth definitions? ⋮ Elementary Classes Closed Under Descending Intersection ⋮ FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH ⋮ Is Logic Relevant to Classifications? ⋮ On the variety generated by generalized subreducts of Tarski's algebras of relations ⋮ In defense of logical universalism: taking issue with Jean van Heijenoort ⋮ Some Varieties Containing Relation Algebras ⋮ An optimal construction of Hanf sentences ⋮ On universal positive graphs ⋮ Reduced Products and Horn Classes ⋮ Properties preserved under algebraic constructions ⋮ Carnapian and Tarskian semantics ⋮ Unnamed Item ⋮ Andrzej Mostowski and the Notion of a Model ⋮ Unions of Relational Systems ⋮ Difference measurement spaces ⋮ Note on locally definable classes of structures ⋮ Structural logic and abstract elementary classes with intersections ⋮ Superstability, Noetherian rings and pure-semisimple rings ⋮ THE VARIETY OF COSET RELATION ALGEBRAS ⋮ UNIVERSAL CLASSES NEAR ${\aleph _1}$ ⋮ Pair-Dense Relation Algebras ⋮ Shelah's eventual categoricity conjecture in universal classes. II ⋮ Finite-model theory -- A personal perspective ⋮ The computable kernel of abstract state machines ⋮ On the universal completeness of classes of relational systems ⋮ Über die Axiome Produkt-Abgeschlossener Arithmetischer Klassen ⋮ A remark of representable positive cylindric algebras ⋮ Big mathematical systems ⋮ On algebras of binary relations with conjunctive operations ⋮ The number of finite relational structures ⋮ On generalized subreducts of Tarski's algebras of relations with the operation of bi-directional intersection ⋮ Canonical varieties with no canonical axiomatisation ⋮ Composita, Equations, and Freely Generated Algebras ⋮ 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 \(\omega\)-logic ⋮ On the compatibility between a graph and a simple order ⋮ Limit Ultrapowers ⋮ Relation algebras and function semigroups ⋮ Harmonious logic: Craig's interpolation theorem and its descendants ⋮ Produkttreue Klassen universeller Algebren ⋮ On simplicity of formulas ⋮ The closure operator in partial algebras with distributive operations. Application to set algebra, measure theory and linear spaces ⋮ Key notions of Tarski's methodology of deductive systems ⋮ Pragmatics and intensional logic ⋮ Measurement structures in classes that are not universally axiomatizable ⋮ Algebraic Analysis of Many Valued Logics ⋮ Congruences and ideals on Boolean modules: a heterogeneous point of view ⋮ Unifying threads in Alfred Tarski's work ⋮ Equivalence relations determining useful properties ⋮ Categoricity in multiuniversal classes ⋮ On groupoids of relations with one conjunctive operation of rank 2 ⋮ On Unions of Chains of Models ⋮ On positive and critical theories of some classes of rings ⋮ Model Theory in Algebra, Analysis and Arithmetic: A Preface ⋮ Saturated models of incomplete theories ⋮ A remark on equational completeness ⋮ Several epistemological problems related to the concept of systems ⋮ First-order theories of abstract dependence relations ⋮ Unnamed Item
This page was built for publication:
