Results 221 to 230 of about 823,936 (268)
Correction to "Combining Density Functional Embedding Theory and DMRG-NEVPT2 to Treat Large Active Spaces: Addressing Electronic Structure Complexity in Single-Atom Alloys". [PDF]
J Chem Theory ComputHutchison P, Wei Z, Carter EA.
europepmc +1 more source
Semantic Algorithmic Information Theory: From Kolmogorov Complexity to Semantic Equivalence. [PDF]
Entropy (Basel)Wu J, Wang S, Niu K, She Y, Zhang P.
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
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
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
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
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