
doi: 10.1007/bf00370427
Post algebras of order ω+ as a semantic foundation for ω+-valued predicate calculi were examined in [5]. In this paper Post spaces of order ω+ being a modification of Post spaces of order n≥2 (cf. Traczyk [8], Dwinger [1], Rasiowa [6]) are introduced and Post fields of order ω+ are defined. A representation theorem for Post algebras of order ω+ 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 ω+-valued predicate calculi in order to obtain a topological characterization of open theories.
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 6 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
