Results 31 to 40 of about 3,715 (167)
Hierarchies Ontological and Ideological [PDF]
, 2012 Godel claimed that Zermelo-Fraenkel set theory is `what becomes of the theory of types if certain superfluous restrictions are removed'. The aim of this paper is to develop a clearer understanding of Godel's remark, and of the surrounding philosophical
Linnebo, Øystein, Rayo, A.
core +3 more sources
Constructive set theory and Brouwerian principles [PDF]
, 2005 The paper furnishes realizability models of constructive Zermelo-Fraenkel set theory, CZF, which also validate Brouwerian principles such as the axiom of continuous choice (CC), the fan theorem (FT), and monotone bar induction (BIM), and thereby ...
Rathjen, M
core +2 more sources
The Universe in Leśniewski’s Mereology: Some Comments on Sobociński’s Reflections
Axioms, 2016 Stanisław Leśniewski’s mereology was originally conceived as a theory of foundations of mathematics and it is also for this reason that it has philosophical connotations. The ‘philosophical significance’ of mereology was upheld by Bolesław Sobociński who
Marcin Łyczak +2 more
doaj +1 more source
La hipótesis generalizada del continuo (HGC) y su relación con el axioma de elección (AE)
Crítica, 2018 The so called Generalized Continuum Hypothesis (GCH) is the sentence: "If A is an infinile set whose cardinal number is K and 2K denotes the cardinal number of the set P(A) of subsets of A (the power set of A), and K + denotes the succesor cardinal of K,
José Alfredo Amor
doaj +1 more source
Naturality and definability II
Cubo, 2019 We regard an algebraic construction as a set-theoretically defined map taking structures A to structures B which have A as a distinguished part, in such a way that any isomorphism from A to A' lifts to an isomorphism from B to B'.
Wilfrid Hodges, Saharon Shelah
doaj +1 more source
Non-deterministic inductive definitions
, 2012 We study a new proof principle in the context of constructive Zermelo-Fraenkel set theory based on what we will call "non-deterministic inductive definitions".
Berg, Benno van den
core +1 more source
, 2020 ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik, Volume 100, Issue 6, June 2020.
Reinhard Siegmund‐Schultze
wiley +1 more source
, 2014 Import 06/11/2014Práce je zaměřena na axiomatické teorie množin. Jsou v ní přehledně zpracovány a popsány nejznámější teorie jako Zermelo-Fraenkelova teorie množin, Gödel-Bernaysova teorie množin a Kelley-Morseova teorie množin.
Nemček, Martin
core
Journal of the London Mathematical Society, Volume 112, Issue 3, September 2025.Abstract How many permutations are needed so that every infinite–coinfinite set of natural numbers with asymptotic density can be rearranged to no longer have the same density? We prove that the density number dd${\mathfrak {dd}}$, which answers this question, is equal to the least size of a nonmeager set of reals, non(M)${\mathsf {non}}({\mathcal {M}})
Christina Brech +2 more
wiley +1 more source
Selectively Pseudocompact Groups without Infinite Separable Pseudocompact Subsets
Axioms, 2018 We give a “naive” (i.e., using no additional set-theoretic assumptions beyond ZFC, the Zermelo-Fraenkel axioms of set theory augmented by the Axiom of Choice) example of a Boolean topological group G without infinite separable pseudocompact subsets ...
Dmitri Shakhmatov, Víctor Hugo Yañez
doaj +1 more source