Results 31 to 40 of about 496,419 (187)
Ontologia disorientata agli oggetti: Processualità e transiti nella matematica contemporanea [PDF]
Kaiak, 2023 As well as playing a foundational role in mathematics, set theory formalises the possibility of working with collections of objects. Intuitive, vague and general before Cantor, the set-theoretic approach would assume a central role in twentieth-century ...
Nicola Turrini
doaj
Black Holes and Complexity via Constructible Universe
Universe, 2020 The relation of randomness and classical algorithmic computational complexity is a vast and deep subject by itself. However, already, 1-randomness sequences call for quantum mechanics in their realization.
Jerzy Król, Paweł Klimasara
doaj +1 more source
Infinite sequential Nash equilibrium [PDF]
Logical Methods in Computer Science, 2013 In game theory, the concept of Nash equilibrium reflects the collective stability of some individual strategies chosen by selfish agents. The concept pertains to different classes of games, e.g. the sequential games, where the agents play in turn.
Stephane Le Roux
doaj +1 more source
On the structure of completely useful topologies
Applied General Topology, 2002 Let X be an arbitrary set. Then a topology t on X is completely useful if every upper semicontinuous linear preorder on X can be represented by an upper semicontinuous order preserving real-valued function.
Gianni Bosi, Gerhard Herden
doaj +1 more source
On the structure of classical realizability models of ZF [PDF]
, 2014 The technique of "classical realizability" is an extension of the method of "forcing"; it permits to extend the Curry-Howard correspondence between proofs and programs, to Zermelo-Fraenkel set theory and to build new models of ZF, called "realizability ...
Krivine, Jean-Louis
core +2 more sources
Uncountable dichromatic number without short directed cycles
Journal of Graph Theory, Volume 94, Issue 1, Page 113-116, May 2020., 2020 Abstract Hajnal and Erdős proved that a graph with uncountable chromatic number cannot avoid short cycles, it must contain, for example, C4 (among other obligatory subgraphs). It was shown recently by Soukup that, in contrast of the undirected case, it is consistent that for any n<ω there exists an uncountably dichromatic digraph without directed ...
Attila Joó
wiley +1 more source
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