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
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 +6 more sources
Association between nonstandard work schedules and employees’ self-rated mental health with perceived work stress, work–family conflict and job satisfaction as psychosocial mediators: a national study in China [PDF]
Frontiers in PsychologyBackgroundNonstandard work schedules are prevalent across the industrialized world. While prior research indicates nonstandard work schedules lead to poor mental health, little research has explored the psychosocial pathways underlying the association ...
Zhan Wang +2 more
doaj +2 more sources
Retroreflecting curves in nonstandard analysis [PDF]
, 2009 We present a direct construction of retroreflecting curves by means of Nonstandard Analysis. We construct non self-intersecting curves which are of class C(1), except for a hyper-finite set of values, such that the probability of a particle being ...
Almeida, R, Neves, V, Plakhov, A
core +3 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
On Infinitesimal L_ω-smooth Functions.
Zanco Journal of Pure and Applied Sciences, 2022 The aim of this paper is to study smoothness, approximate continuity, and approximate derivative in a nonstandard manner with respect to infinitesimal parameters.
Ibrahim O. Hamad
doaj +3 more sources
Improved Definition of NonStandard Neutrosophic Logic and Introduction to Neutrosophic Hyperreals (Fifth version) [PDF]
Neutrosophic Sets and Systems, 2022 In the fifth version of our response-paper [26] to Imamura’s criticism, we recall that NonStandard Neutrosophic Logic was never used by neutrosophic community in no application, that the quarter of century old neutrosophic operators (1995-1998 ...
Florentin Smarandache
doaj +1 more source
Nonstandard analysis in topology: nonstandard and standard compactifications [PDF]
Journal of Symbolic Logic, 2000 AbstractLet (X, T) be a topological space and *X a nonstandard extension of X. Sets of the form *G. where G ∈ T, form a base for the “standard” topology ST on *X. The topological space (*X, ST) will be used to study compactifications of (X, T) in a systematic way.
Salbany, S., Todorov, Todor D.
openaire +3 more sources
Pθ-Topological Groups in Nonstandard Analysis [PDF]
Al-Rafidain Journal of Computer Sciences and Mathematics, 2012 The aim of this paper is to introduce and study a new class of topological groups called Pθ-topological group. By using some nonstandard techniques, we investigated some properties of Pθ-monads in Pθ-topological group.
Tahir Ismail +2 more
doaj +1 more source