Results 61 to 70 of about 3,715 (167)
Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience [PDF]
, 2013 Michael Rathjen
openalex +2 more sources
Ordinal analysis and the set existence property for intuitionistic set theories. [PDF]
Philos Trans A Math Phys Eng Sci, 2023 Rathjen M.
europepmc +1 more source
PARACONSISTENT AND PARACOMPLETE ZERMELO–FRAENKEL SET THEORY [PDF]
, 2023 Yurii Khomskii, Hrafn Valtýr Oddsson
openalex +1 more source
Ordering infinite utility streams comes at the cost of a non-Ramsey set. [PDF]
The existence of a Paretian and finitely anonymous ordering in the set of infnite utility streams implies the existence of a non-Ramsey set (a nonconstructive object whose existence requires the axiom of choice).
Lauwers, Luc
core +3 more sources
Logics and admissible rules of constructive set theories. [PDF]
Philos Trans A Math Phys Eng Sci, 2023 Iemhoff R, Passmann R.
europepmc +1 more source
Combining Higher-Order Logic with Set Theory Formalizations. [PDF]
J Autom Reason, 2023 Kaliszyk C, Pąk K.
europepmc +1 more source
What's wrong with classes? The theory of Knowledge
, 2015 This paper wants to investigate the deepest meaning of the word class that is often used in machine learning and classification as a well-defined concept. This adventure will lead the reader to the fundamentals of Mathematics like set theory from Zermelo-
Chiancone, Alessandro
core
Steps Toward a Philosophy for Mathematicians. [PDF]
Math Intell, 2023 Fenstad JE.
europepmc +1 more source
Can intergenerational equity be operationalized? [PDF]
A long Utilitarian tradition has the ideal of equal regard for all individuals, both those now living and those yet to be born. The literature formalizes this ideal as asking for a preference relation on the space of infinite utility streams that is ...
Zame, William R.
core +1 more source
Modern perspectives in Proof Theory. [PDF]
Philos Trans A Math Phys Eng Sci, 2023 Aguilera JP, Pakhomov F, Weiermann A.
europepmc +1 more source