Results 271 to 280 of about 1,084,937 (314)
Some of the next articles are maybe not open access.
Synthese, 1997
The authors trace some manifestations of Hilbert's concern with set theory: dealing with the paradoxes, variant forms of the axiom of choice, proving the continuum hypothesis, and model-theoretic aspects of categoricity (where however the profound influence from Hilbert through E. H. Moore to Oswald Veblen in the early 1900s is missed on pp.
Burton Dreben, Akihiro Kanamori
openaire +1 more source
The authors trace some manifestations of Hilbert's concern with set theory: dealing with the paradoxes, variant forms of the axiom of choice, proving the continuum hypothesis, and model-theoretic aspects of categoricity (where however the profound influence from Hilbert through E. H. Moore to Oswald Veblen in the early 1900s is missed on pp.
Burton Dreben, Akihiro Kanamori
openaire +1 more source
-Sets as a possibilistic set theory
Fuzzy Sets and Systems, 2004zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Sossai, C.
openaire +3 more sources
Journal of Symbolic Logic, 1967
We are concerned here with the set theory given in [1], which we call BL (Bernays-Levy). This theory can be given an elegant syntactical presentation which allows most of the usual axioms to be deduced from the reflection principle. However, it is more convenient here to take the usual Von Neumann-Bernays set theory [3] as a starting point, and to ...
openaire +1 more source
We are concerned here with the set theory given in [1], which we call BL (Bernays-Levy). This theory can be given an elegant syntactical presentation which allows most of the usual axioms to be deduced from the reflection principle. However, it is more convenient here to take the usual Von Neumann-Bernays set theory [3] as a starting point, and to ...
openaire +1 more source
The Bulletin of Symbolic Logic, 2014
Paul Erdős (26 March 1913—20 September 1996) was a mathematicianpar excellencewhose results and initiatives have had a large impact and made a strong imprint on the doing of and thinking about mathematics. A mathematician of alacrity, detail, and collaboration, Erdős in his six decades of work moved and thought quickly, entertained increasingly many ...
openaire +1 more source
Paul Erdős (26 March 1913—20 September 1996) was a mathematicianpar excellencewhose results and initiatives have had a large impact and made a strong imprint on the doing of and thinking about mathematics. A mathematician of alacrity, detail, and collaboration, Erdős in his six decades of work moved and thought quickly, entertained increasingly many ...
openaire +1 more source
MLQ, 2005
Summary: This paper is concerned with topological set theory, and particularly with Skala's and Manakos' systems, for which we give a topological characterization of the models. This enables us to answer natural questions about those theories, reviewing previous results and proving new ones.
Libert, Thierry, Esser, Olivier
openaire +3 more sources
Summary: This paper is concerned with topological set theory, and particularly with Skala's and Manakos' systems, for which we give a topological characterization of the models. This enables us to answer natural questions about those theories, reviewing previous results and proving new ones.
Libert, Thierry, Esser, Olivier
openaire +3 more sources
Mathematical Logic Quarterly, 1984
It is proved that the axiom schemes for \textit{H. L. Skala's} set theory [Z. Math. Logik Grundlagen Math. 20, 233-237 (1974; Zbl 0301.02072)] are equivalent to the existence of the union and the intersection of all sets satisfying an arbitrary predicate.
openaire +2 more sources
It is proved that the axiom schemes for \textit{H. L. Skala's} set theory [Z. Math. Logik Grundlagen Math. 20, 233-237 (1974; Zbl 0301.02072)] are equivalent to the existence of the union and the intersection of all sets satisfying an arbitrary predicate.
openaire +2 more sources
Studia Logica, 1991
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Analytic sets in Descriptive Set Theory and NP sets in Complexity Theory
Fundamenta Informaticae, 2002Motivated by the analogy ``(NP/Poly)∼analytic'', we propose a co-analytic set W whose finite equivalent W_finite is coNP-complete. The complement of W is in fact a variant of ``infinite clique''. A combinatorial proof of the non-analyticity of W is produced and studied in order to be (eventually) ``finitized'' into a probabilistic proof of ``W_finite ∉
openaire +3 more sources
Learning Theory and Descriptive Set Theory
Journal of Logic and Computation, 1993Kevin T. Kelly. Learning Theory and Descriptive Set Theory.
openaire +2 more sources
Archive for Mathematical Logic, 2016
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources