Local characterization theorems for some classes of structures

MaRDI QIDQ2707243zbMATH OpenFDO

Authors Janusz Czelakowski, Raimon Elgueta

Publication date 1 April 2001

Published in Acta Scientiarum Mathematicarum (Search for Journal in Brave)

zbMATH Keywords

algebraic closure systemequality-free sentencesfirst order structuresuniversal Horn classes

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07) Other model constructions (03C30) Properties of classes of models (03C52)

Recommendations

• On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions
• Some characterization theorems for infinitary universal Horn logic without equality
• scientific article; zbMATH DE number 1004875
• Algebraic Characterizations for Universal Fragments of Logic
• On the Expressive Power of Equality-Free First Order Languages

Cited in

(15)

• On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions
• On the closure properties of the class of full G-models of a deductive system
• On the Expressive Power of Equality-Free First Order Languages
• scientific article; zbMATH DE number 4181608 (Why is no real title available?)
• scientific article; zbMATH DE number 3857074 (Why is no real title available?)
• scientific article; zbMATH DE number 5657723 (Why is no real title available?)
• On local classification of Goursat structures
• Algebraic Characterizations for Universal Fragments of Logic
• scientific article; zbMATH DE number 1873279 (Why is no real title available?)
• scientific article; zbMATH DE number 2109646 (Why is no real title available?)
• Kuran'S Regularity Criterion and Localization in Excessive Structures
• scientific article; zbMATH DE number 6256958 (Why is no real title available?)
• Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems
• Local characterization of polyhedral spaces
• Locally finite countably-categorical Horn theories

This page was built for publication: Local characterization theorems for some classes of structures

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