Results 11 to 20 of about 251,787 (265)
Notions of Anonymous Existence in Martin-L\"of Type Theory [PDF]
Logical Methods in Computer Science, 2017 As the groupoid model of Hofmann and Streicher proves, identity proofs in intensional Martin-L\"of type theory cannot generally be shown to be unique. Inspired by a theorem by Hedberg, we give some simple characterizations of types that do have unique ...
Nicolai Kraus +3 more
doaj +1 more source
Five Theories of the Human Existence [PDF]
The Scientific World JOURNAL, 2003 Soren Ventegodt*, Niels Jorgen Andersen, and Joav Merrick The Quality of Life Research Center, Teglgardstraede 4-8, DK-1452 Copenhagen K, Denmark; Norwegian School of Management, Sandvika, Norway; National Institute of Child Health and Human Development, Office of the Medical Director, Division for Mental Retardation, Ministry of Social Affairs ...
Søren Ventegodt +2 more
openaire +3 more sources
Stability Results for a Coupled System of Impulsive Fractional Differential Equations
Mathematics, 2019 In this paper, we establish sufficient conditions for the existence, uniqueness and Ulam−Hyers stability of the solutions of a coupled system of nonlinear fractional impulsive differential equations. The existence and uniqueness results are carried
Akbar Zada +4 more
doaj +1 more source
A comparative Study of Predicating the Essence and the Flimsy from the Viewpoint of Mulla Sadra and Ibn Arabi [PDF]
آموزههای فلسفه اسلامي, 2021 Predicating the Essence and the Flimsy is one of Mulla Sadra's important innovations. The implication of this theory is that imperfect existence in perfect existence is more fully realized, so that the higher order encompasses all the lower perfections ...
Ramin Golmakani +2 more
doaj +1 more source
On an Existence Lemma in Valuation Theory [PDF]
Nagoya Mathematical Journal, 1953 Recently one of the writers used, in proving a theorem on the commutativity of certain division rings, the following lemma :I. Let L be a field and K be its proper subfield. Except either when L is of characteristic p ≠ O and absolutely algebraic or ivhen L is algebraic and purely inseparable over K, there exists a pair of distinct (special exponential)
Nagata, Masayoshi +2 more
openaire +3 more sources
The Stability of Parabolic Problems with Nonstandard p(x, t)-Growth
Mathematics, 2017 In this paper, we study weak solutions to the following nonlinear parabolic partial differential equation ∂ t u − div a ( x , t , ∇ u ) + λ ( | u | p ( x , t ) − 2 u ) = 0 in Ω T , where λ ≥ 0 and ∂ t u denote ...
André H. Erhardt
doaj +1 more source
Ontological Evaluation of the Theory of Eexplaining Plurality in Mulla Sadra's Unificationist System [PDF]
حکمت صدرایی, 2023 Mulla Sadra has based his philosophical system on a number of principles, which will have important implications for each of them; the most important of which is the "Originality of Being", whose belief will lead to the adoption of the well-known theory ...
Roohollah Nadali +1 more
doaj +1 more source
Explanation of Stephen Hawking’s fallacy of the Big Bang Theory and denial of the existence of God [PDF]
Journal of Philosophical Investigations, 2021 Hawking emphasizes the big bang theory as a practical theory, thus answering the question of how the universe began. It has been emphasized by Stephan Hawking.
Mikaeel Jamalpoor +1 more
doaj +1 more source
Mathematics, 2019 This manuscript deals with the existence theory, uniqueness, and various kinds of Ulam–Hyers stability of solutions for a class and coupled system of fractional order differential equations involving Caputo derivatives. Applying Schaefer and Banach&
Zeeshan Ali +3 more
doaj +1 more source
Fractal–Fractional Analysis of a Water Pollution Model Using Fractional Derivatives
Fractal and FractionalWater pollution is a significant threat for human health, particularly in developed countries. This study advances the mathematical understanding of WP transmission dynamics by developing a fractional–fractal derivative framework with non-singular ...
Lamia Loudahi +5 more
doaj +1 more source