Results 31 to 40 of about 7,057,242 (319)
, 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
Gravity and Matter in Causal Set Theory [PDF]
, 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
Non-Gaussianity and Excursion Set Theory: Halo Bias [PDF]
, 2012 We study the impact of primordial non-Gaussianity generated during inflation on the bias of halos using excursion set theory. We recapture the familiar result that the bias scales as $k^{-2}$ on large scales for local type non-Gaussianity but explicitly ...
Adam Lidz +4 more
core +4 more sources
An Attempt of Object Reduction in Rough Set Theory [PDF]
, 2019 Attribute reduction is a popular topic in rough set theory; however, object reduction is not considered popularly. In this paper, from a viewpoint of computing all relative reducts, we introduce a concept of object reduction that reduces the number of ...
KUDO Yasuo, MURAI Tetsuya
core +2 more sources
Neutrosophic Crisp Set Theory [PDF]
Neutrosophic 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
HTS 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
De Jongh's Theorem for Intuitionistic Zermelo-Fraenkel Set Theory [PDF]
, 2019 We prove that the propositional logic of intuitionistic set theory IZF is intuitionistic propositional logic IPC. More generally, we show that IZF has the de Jongh property with respect to every intermediate logic that is complete with respect to a class
Passmann, Robert
core +3 more sources
IET 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
Studia 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
Consequences of arithmetic for set theory
, 1993 In this paper, we consider certain cardinals in ZF (set theory without AC, the Axiom of Choice). In ZFC (set theory with AC), given any cardinals C and D, either C
Halbeisen, Lorenz, Shelah, Saharon
core +5 more sources