First order theories for partial models

DOI10.1007/s11225-005-6779-1zbMath1086.03055OpenAlexW2038131626MaRDI QIDQ813079

Bogdan Staruch, Bożena 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

extensiondefault logicstandard modelspartial algebraScott domaininfallible sets of sentencespartial modelpossible sets of sentences

Mathematics Subject Classification ID

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

Cites Work

• HSP-type characterization of strong equational classes of partial algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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