Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
173 tokens/sec
GPT-4o
7 tokens/sec
Gemini 2.5 Pro Pro
46 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
38 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

Infinitary logic and basically disconnected compact Hausdorff spaces (1709.08397v2)

Published 25 Sep 2017 in math.LO and math.FA

Abstract: We extend \L ukasiewicz logic obtaining the infinitary logic $\mathcal{IR}\L$ whose models are algebras $C(X,[0,1])$, where $X$ is a basically disconnected compact Hausdorff space. Equivalently, our models are unit intervals in $\sigma$-complete Riesz spaces with strong unit. The Lindenbaum-Tarski algebra of $\mathcal{IR}\L$ is, up to isomorphism, an algebra of $[0,1]$-valued Borel functions. Finally, our system enjoys standard completeness with respect to the real interval $[0,1]$.

Summary

We haven't generated a summary for this paper yet.