Results 51 to 60 of about 3,715 (167)
Paraconsistent and Paracomplete Zermelo-Fraenkel Set Theory [PDF]
, 2022 Yurii Khomskii, Hrafn Valtýr Oddsson
openalex +1 more source
Set Matrix Theory as a Physically Motivated Generalization of\n Zermelo-Fraenkel Set Theory [PDF]
, 2012 Marcoen J. T. F. Cabbolet +1 more
openalex +2 more sources
The continuum hypothesis: Its independence from Zermelo-Fraenkel set theory and impact on mathematical foundations [PDF]
, 2023 Yaming Zheng
openalex +1 more source
Application of formative processes to the decision problem in set theory
Le Matematiche, 2004 As part of a project aimed at the implementation of a proof-checker based on the set-theoretic formalism, the decision problem in set theory has been studied very intensively, starting in the late seventies.Several results have been produced in the ...
Domenico Cantone, Pietro Ursino
doaj
The concept of strong and weak virtual reality
, 2006 We approach the virtual reality phenomenon by studying its relationship to set theory, and we investigate the case where this is done using the wellfoundedness property of sets.
A. Baltag +7 more
core +1 more source
A positive function with vanishing Lebesgue integral in Zermelo-Fraenkel set theory [PDF]
, 2017 Vladimir Kanovei, Mikhail G. Katz
+4 more sources
Fregean abstraction in Zermelo-Fraenkel set theory: a deflationary account [PDF]
, 2022 Joel David Hamkins
openalex +1 more source
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