Topological representations of Post algebras of order \(\omega ^ +\) and open theories based on \(\omega ^ +\)-valued Post logic (Q1820764)

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.