Results 41 to 50 of about 496,419 (187)
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
The Essence of Intuitive Set Theory [PDF]
, 2001 Intuitive Set Theory (IST) is defined as the theory we get, when we add Axiom of Monotonicity and Axiom of Fusion to Zermelo-Fraenkel set theory. In IST, Continuum Hypothesis is a theorem, Axiom of Choice is a theorem, Skolem paradox does not appear ...
Nambiar, Kannan
core +2 more sources
Noûs, Volume 58, Issue 2, Page 306-332, June 2024.Abstract Mathematical pluralism can take one of three forms: (1) every consistent mathematical theory consists of truths about its own domain of individuals and relations; (2) every mathematical theory, consistent or inconsistent, consists of truths about its own (possibly uninteresting) domain of individuals and relations; and (3) the principal ...
Edward N. Zalta
wiley +1 more source
Contractive Maps in Locally Transitive Relational Metric Spaces
The Scientific World Journal, Volume 2014, Issue 1, 2014., 2014 Some fixed point results are given for a class of Meir‐Keeler contractive maps acting on metric spaces endowed with locally transitive relations. Technical connections with the related statements due to Berzig et al. (2014) are also being discussed.
Mihai Turinici +4 more
wiley +1 more source
Weyl and two kinds of potential domains
Noûs, Volume 58, Issue 2, Page 409-430, June 2024.Abstract According to Weyl, “‘inexhaustibility’ is essential to the infinite”. However, he distinguishes two kinds of inexhaustible, or merely potential, domains: those that are “extensionally determinate” and those that are not. This article clarifies Weyl's distinction and explains its enduring logical and philosophical significance.
Laura Crosilla, Øystein Linnebo
wiley +1 more source