Results 1 to 10 of about 25,343,404 (305)
The computational content of Nonstandard Analysis [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Kohlenbach's proof mining program deals with the extraction of effective information from typically ineffective proofs. Proof mining has its roots in Kreisel's pioneering work on the so-called unwinding of proofs.
Sam Sanders
doaj +8 more sources
Grilliot's trick in Nonstandard Analysis [PDF]
Logical Methods in Computer Science, 2017 The technique known as Grilliot's trick constitutes a template for explicitly defining the Turing jump functional $(\exists^2)$ in terms of a given effectively discontinuous type two functional. In this paper, we discuss the standard extensionality trick:
Sam Sanders
doaj +3 more sources
Stateful Realizers for Nonstandard Analysis [PDF]
Logical Methods in Computer Science, 2023 In this paper we propose a new approach to realizability interpretations for nonstandard arithmetic. We deal with nonstandard analysis in the context of (semi)intuitionistic realizability, focusing on the Lightstone-Robinson construction of a model for ...
Bruno Dinis, Étienne Miquey
doaj +6 more sources
Axiomatics for the external numbers of nonstandard analysis [PDF]
Journal of Logic and Analysis, 2016 Neutrices are additive subgroups of a nonstandard model of the real numbers. An external number is the algebraic sum of a nonstandard real number and a neutrix.
Bruno Miguel Antunes Dinis, I. Berg
semanticscholar +5 more sources
Dynamical and nonstandard computational analysis of heroin epidemic model
Results in Physics, 2022 Numerical modelling of real-world problems has a significant role in different disciplines like biology, physics, chemistry, economics, and many more. The numerical results are the authentication of the results of the dynamical analysis.
Ali Raza +6 more
doaj +2 more sources
A New Approach to Nonstandard Analysis [PDF]
Sahand Communications in Mathematical Analysis, 2018 In this paper, we propose a new approach to nonstandard analysis without using the ultrafilters. This method is very simple in practice. Moreover, we construct explicitly the total order relation in the new field of the infinitesimal numbers.
Saghe Abdeljalil
doaj +2 more sources
On the connection between Nonstandard Analysis and Constructive Analysis [PDF]
, 2013 Constructive Analysis and Nonstandard Analysis are often characterized as completely antipodal approaches to analysis. We discuss the possibility of capturing the central notion of Constructive Analysis (i.e.
Sam Sanders
semanticscholar +3 more sources
Journal of Family Research, 2020 Many children live in households where either one or both parents work nonstandard schedules in the evening, night or weekend. Using a mixed methods design, this study examined whether nonstandard work schedules were linked to lower social and emotional ...
Jianghong Li +3 more
doaj +2 more sources
Singular perturbations and nonstandard analysis [PDF]
Transactions of the American Mathematical Society, 1979 We study by methods of nonstandard analysis second order differential operators with zero order coefficients which are too singular to be defined by standard functions. In particular we study perturbations of the Laplacian in R 3 {R^3} given by potentials of the form λ
Albeverio, Sergio +2 more
openaire +2 more sources
Fuzzy Mathematics and Nonstandard Analysis Application to the Theory of Relativity [PDF]
Transactions on Fuzzy Sets and Systems, 2022 In this paper, we extend some results of nonstandard analysis to include concepts from fuzzy mathematics. Then we apply our results to issues from special and general relativity and the theory of light-clocks.
John N Mordeson, Sunil Mathew
doaj +1 more source