Results 21 to 30 of about 7,063,405 (274)

Reduced Set Theory

open access: yes, 2023
We present a new fragment of axiomatic set theory for pure sets and for the iteration of power sets within given transitive sets. It turns out that this formal system admits an interesting hierarchy of models with true membership relation and with only finite or countably infinite ordinals.
openaire   +4 more sources

Set Theory and Many Worlds

open access: yesQuantum Reports, 2023
The 2022 Tel Aviv conference on the many-worlds interpretation of quantum mechanics highlighted many differences between theorists. A very significant dichotomy is between Everettian fission (splitting) and Saunders–Wallace–Wilson divergence. For fission,
Paul Tappenden
doaj   +1 more source

Orthomodular-Valued Models for Quantum Set Theory [PDF]

open access: yes, 2017
In 1981, Takeuti introduced quantum set theory by constructing a model of set theory based on quantum logic represented by the lattice of closed linear subspaces of a Hilbert space in a manner analogous to Boolean-valued models of set theory, and showed ...
Araki   +11 more
core   +2 more sources

Gravity and Matter in Causal Set Theory [PDF]

open access: yes, 2007
The goal of this paper is to propose an approach to the formulation of dynamics for causal sets and coupled matter fields. We start from the continuum version of the action for a Klein-Gordon field coupled to gravity, and rewrite it first using ...
Bombelli L Henson J Sorkin R   +9 more
core   +3 more sources

Neutrosophic Crisp Set Theory [PDF]

open access: yesNeutrosophic Sets and Systems, 2014
The purpose of this paper is to introduce new types of neutrosophic crisp sets with three types 1, 2, 3. After given the fundamental definitions and operations, we obtain several properties, and discussed the relationship between neutrosophic crisp sets ...
A. A. Salama, Florentin Smarandache
doaj  

Metaphysics and mathematics: Perspectives on reality

open access: yesHTS Teologiese Studies/Theological Studies, 2017
The essence of number was regarded by the ancient Greeks as the root cause of the existence of the universe, but it was only towards the end of the 19th century that mathematicians initiated an in-depth study of the nature of numbers.
Gideon J. Kühn
doaj   +1 more source

Implication functions in interval-valued fuzzy set theory [PDF]

open access: yes, 2013
Interval-valued fuzzy set theory is an extension of fuzzy set theory in which the real, but unknown, membership degree is approximated by a closed interval of possible membership degrees.
Deschrijver, Glad
core   +1 more source

Simulation-based verification of bounded-horizon safety for hybrid systems using dynamic number of simulations

open access: yesIET Cyber-Physical Systems, 2019
The authors present a simulation-based bounded-horizon verification framework for hybrid systems with Lipschitz continuity on the continuous dynamics. In this framework, the bounded initial set is covered by a finite set of representative states, whose ...
Hao Ren, Ratnesh Kumar, Ratnesh Kumar
doaj   +1 more source

Nikolai Nikolaevich Luzin at the crossroads of the dramatic events of the European history of the first half of the 20th century

open access: yesStudia Historiae Scientiarum, 2021
Nikolai Nikolaevich Luzin’s life (1883–1950) and work of this outstanding Russian mathematician, member of the USSR Academy of Sciences and foreign member of the Polish Academy of Arts and Sciences, coincides with a very difficult period in Russian ...
Sergeĭ S. Demidov
doaj   +1 more source

On the Syntax of Logic and Set Theory [PDF]

open access: yes, 2010
We introduce an extension of the propositional calculus to include abstracts of predicates and quantifiers, employing a single rule along with a novel comprehension schema and a principle of extensionality, which are substituted for the Bernays ...
Schoenbaum, Lucius T.
core   +1 more source

Home - About - Disclaimer - Privacy