First order theories for partial models

DOI10.1007/S11225-005-6779-1MaRDI QIDQ813079zbMATH OpenOpenAlexFDO

Authors Bożena Staruch, Bogdan Staruch

Publication date 30 January 2006

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-005-6779-1

zbMATH Keywords

extensionpartial algebradefault logicScott domaininfallible sets of sentencespartial modelpossible sets of sentencesstandard models

Mathematics Subject Classification ID

Logic in computer science (03B70) Equational classes, universal algebra in model theory (03C05) Basic properties of first-order languages and structures (03C07) Other algebras related to logic (03G25) Partial algebras (08A55)

Recommendations

• scientific article; zbMATH DE number 3902002
• Partially ordered models
• Dependent first order theories, continued
• A first order theory of functional parthood
• On First-Order Model-Based Reasoning
• Automatic models of first order theories
• Probabilistic characterisation of models of first-order theories
• scientific article; zbMATH DE number 1301853
• scientific article; zbMATH DE number 139760
• Principal types of first-order theories

Cites work

• scientific article; zbMATH DE number 3963900 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 2015270 (Why is no real title available?)
• HSP-type characterization of strong equational classes of partial algebras

Cited in

(6)

• First-order approximation of algorithmic theories
• Finite axiomatizations for existentially closed posets and semilattices
• scientific article; zbMATH DE number 4061212 (Why is no real title available?)
• When a first order \(T\) has limit models
• Ranked partial structures
• A first order theory of functional parthood

This page was built for publication: First order theories for partial models

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