Pages that link to "Item:Q4149449"
From MaRDI portal
The following pages link to Internal set theory: A new approach to nonstandard analysis (Q4149449):
Displaying 50 items.
- Reverse formalism 16 (Q2054114) (← links)
- On rapidly oscillating solutions of a nonlinear elliptic equation (Q2063358) (← links)
- Smooth approximations by continuous choice-functions (Q2100427) (← links)
- The explicit formula for Gauss-Jordan elimination applied to flexible systems (Q2148851) (← links)
- On real resonances for three-dimensional Schrödinger operators with point interactions (Q2167454) (← links)
- An algebraic model for the propagation of errors in matrix calculus (Q2175185) (← links)
- A new approach to the \(Z\)-transform through infinite computation (Q2207702) (← links)
- The monotonic sequence theorem and measurement of lengths and areas in axiomatic non-standard hyperrational analysis (Q2306310) (← links)
- Generalized solutions of variational problems and applications (Q2311819) (← links)
- On mathematical realism and applicability of hyperreals (Q2323044) (← links)
- The strength of compactness in computability theory and nonstandard analysis (Q2326415) (← links)
- On flexible sequences (Q2337354) (← links)
- Averaging on slow and fast cycles of a three time scale system (Q2338713) (← links)
- Nonstandardness and the bounded functional interpretation (Q2344622) (← links)
- Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective (Q2354911) (← links)
- On the extension principle in internal set theory (Q2366337) (← links)
- A Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiography (Q2391944) (← links)
- Periodic words connected with the tribonacci-Lucas numbers (Q2414402) (← links)
- The Caccioppoli ultrafunctions (Q2417250) (← links)
- A theory of hyperfinite sets (Q2433742) (← links)
- Ultrafunctions and applications (Q2438044) (← links)
- Ultralarge lotteries: analyzing the lottery paradox using non-standard analysis (Q2446677) (← links)
- The Dickson conjecture and special classes of integers (Q2469442) (← links)
- Model approach to nonstandard analysis in the context of axiomatic set theory (Q2473643) (← links)
- Contractions of 2-dimensional Jordan algebras (Q2474278) (← links)
- An alternative mathematical foundation for statistics (Q2492718) (← links)
- Noise: a nonstandard analysis. (Q2495725) (← links)
- Canards existence in Memristor's circuits (Q2628041) (← links)
- A boundary value problem for a nonstandard difference operator (Q2638500) (← links)
- Nonstandard finite-dimensional analogs of operators in \(L_ 2(R^ n)\) (Q2639322) (← links)
- General theory of infinitesimals (Q2639852) (← links)
- Theory extension in ACL2(r) (Q2642461) (← links)
- An axiomatics for nonstandard set theory, based on von Neumann-Bernays-Gödel theory (Q2758061) (← links)
- An alternative method for the calculation of joint probability distributions. Application to the expectation of the triplet invariant (Q2810215) (← links)
- A Topological Approach to Non-Archimedean Mathematics (Q2832786) (← links)
- A simple algebraic characterization of nonstandard extensions (Q2845565) (← links)
- Nonstandard central limit theorems for Markov chains (Q2907971) (← links)
- An irreducible component of the variety of Leibniz algebras having trivial intersection with the variety of Lie algebras (Q2929484) (← links)
- Discretisations of higher order and the theorems of Faà di Bruno and DeMoivre-Laplace (Q2930868) (← links)
- On uniform spaces with invariant nonstandard hulls (Q2930871) (← links)
- Near equivalence on metric spaces and a nonstandard central limit theorem (Q2941118) (← links)
- Functions of limited accumulation (Q2987770) (← links)
- From Nonstandard Analysis to Various Flavours of Computability Theory (Q2988850) (← links)
- Relative arithmetic (Q3066289) (← links)
- Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL (Q3102733) (← links)
- A New Approach to Nonstandard Analysis (Q3120153) (← links)
- EDWARD NELSON (1932–2014) (Q3195593) (← links)
- The short-range expansion for multiple well scattering theory (Q3223282) (← links)
- Weyl and Intuitionistic Infinitesimals (Q3297255) (← links)
- Nonstandard Analysis of the Behavior of Ergodic Means of Dynamical Systems on Very Big Finite Probability Spaces (Q3460647) (← links)
