Zobrazeno 1 - 10
of 19 899
pro vyhledávání: '"Axiom of Choice"'
Autor:
Nezhad, Babak Jabbar
Bishop's constructive mathematics school rejects the Law of Excluded Middle, but instead vastly makes use of weaker versions of the Choice. In this paper we pioneer an example, which shows that this road is not consistent, as our example provides a p
Externí odkaz:
http://arxiv.org/abs/2412.08667
We investigate the set-theoretic strength of several maximality principles that play an important role in the study of modal and intuitionistic logics. We focus on the well-known Fine and Esakia maximality principles, present two formulations of each
Externí odkaz:
http://arxiv.org/abs/2412.13706
Autor:
Olfati, AliReza, Wajch, Eliza
This article concerns the Herrlich-Chew theorem stating that a Hausdorff zero-dimensional space is $\mathbb{N}$-compact if and only if every clopen ultrafilter with the countable intersection property in this space is fixed. It also concerns Hewitt's
Externí odkaz:
http://arxiv.org/abs/2408.01461
Autor:
Hrbacek, Karel
Publikováno v:
Journal of Logic & Analysis 16:5 (2024) 1-29; Errata: Journal of Logic & Analysis 16:5c (2024) 1-3
Model-theoretic frameworks for Nonstandard Analysis depend on the existence of nonprincipal ultrafilters, a strong form of the Axiom of Choice (AC). Hrbacek and Katz, APAL 72 (2021) formulate axiomatic nonstandard set theories SPOT and SCOT that are
Externí odkaz:
http://arxiv.org/abs/2405.00621
Autor:
Harrison-Trainor, Matthew 1, Kulshreshtha, Dhruv ⁎, 2
Publikováno v:
In Annals of Pure and Applied Logic April 2025 176(4)
Autor:
Serafin, Luke
Social welfare orders seek to combine the disparate preferences of an infinite sequence of generations into a single, societal preference order in some reasonably-equitable way. In [2] Dubey and Laguzzi study a type of social welfare order which they
Externí odkaz:
http://arxiv.org/abs/2406.08684