Topological representations of Post algebras of order ^ + and open theories based on ^ +-valued Post logic

DOI10.1007/BF00370427MaRDI QIDQ1820764zbMATH OpenFDO

Authors Helena Rasiowa

Publication date 1985

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF00370427

zbMATH Keywords

\(\omega ^ +\)-valued predicate calculiLindenbaum-Tarski algebras of elementary theoriesPost algebrasPost fieldsPost spacesrepresentation theoremtopological characterization of open theories

Mathematics Subject Classification ID

Many-valued logic (03B50) Logical aspects of ?ukasiewicz and Post algebras (03G20)

Review text

Post algebras of order \(\omega^+\) as a semantic foundation for \(\omega^+\)-valued predicate calculi were examined in an earlier paper of the author [Bull. Acad. Pol. Sci., Ser. Sci. Math. Astron. Phys. 21, 209-219 (1973; Zbl 0261.02012)]. In this paper Post spaces of order \(\omega^+\) being a modification of Post spaces of order \(n\geq 2\) are introduced and Post fields of order \(\omega^+\) are defined. A representation theorem for Post algebras of order \(\omega^+\) as Post fields of sets is proved. Moreover necessary and sufficient conditions for the existence of representations preserving a given set of infinite joins and infinite meets are established and applied to Lindenbaum-Tarski algebras of elementary theories based on \(\omega\) \({}^+\)-valued predicate calculi in order to obtain a topological characterization of open theories.

Recommendations

• Post algebras in the work of Helena Rasiowa
• A partially ordered extension of the integers
• scientific article; zbMATH DE number 14393
• scientific article; zbMATH DE number 1209821
• Plain semi-Post algebras as a poset-based generalization of Post algebras and their representability

Cites work

• An algebraic approach to non-classical logics
• Aximos and some properties of Post algebras
• scientific article; zbMATH DE number 3468782 (Why is no real title available?)
• scientific article; zbMATH DE number 3468833 (Why is no real title available?)
• scientific article; zbMATH DE number 3440432 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)

Cited in

(6)

• Subalgebras and homomorphisms of semi-Post algebras
• Approximating sets with equivalence relations
• Algebraization of quantifier logics, an introductory overview
• A partially ordered extension of the integers
• Post algebras in the work of Helena Rasiowa
• Plain semi-Post algebras as a poset-based generalization of Post algebras and their representability

This page was built for publication: Topological representations of Post algebras of order \(\omega ^ +\) and open theories based on \(\omega ^ +\)-valued Post logic

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