Results 61 to 70 of about 496,419 (187)
A survey of computable set theory
Le Matematiche, 1988 This paper surveys various decidability results in the set theory. In the first part, we focus on certain classes of unquantified set-theoretic formulae involving the relations ∊ “membership”, = “equality”, and the operators ...
Domenico Cantone
doaj
Topological set theories and hyperuniverses [PDF]
, 2012 We give a new set theoretic system of axioms motivated by a topological intuition: The set of subsets of any set is a topology on that set. On the one hand, this system is a common weakening of Zermelo-Fraenkel set theory ZF, the positive set theory GPK ...
Fackler, Andreas
core
Fragments of Frege's Grundgesetze and G\"odel's Constructible Universe [PDF]
, 2015 Frege's Grundgesetze was one of the 19th century forerunners to contemporary set theory which was plagued by the Russell paradox. In recent years, it has been shown that subsystems of the Grundgesetze formed by restricting the comprehension schema are ...
Walsh, Sean
core
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
Fregean abstraction in Zermelo-Fraenkel set theory: a deflationary account [PDF]
, 2022 Joel David Hamkins
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
Paraconsistent models of Zermelo-Fraenkel set theory [PDF]
, 2022 Aldo Figallo-Orellano +1 more
openalex +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
Combining Higher-Order Logic with Set Theory Formalizations. [PDF]
J Autom Reason, 2023 Kaliszyk C, Pąk K.
europepmc +1 more source