Pages that link to "Item:Q4149449"

The following pages link to Internal set theory: A new approach to nonstandard analysis (Q4149449):

Displaying 50 items.

• Non-standard analysis and representation of reality (Q3542988) (← links)
• Fragment of Nonstandard Analysis with a Finitary Consistency Proof (Q3594485) (← links)
• Systemic yoyo structure in human thoughts and the fourth crisis in mathematics (Q3639466) (← links)
• Arithmetization of a Circular Arc (Q3648797) (← links)
• European Summer Meeting of the Association for Symbolic Logic (Q3677726) (← links)
• The strength of nonstandard methods in arithmetic (Q3714082) (← links)
• Standard foundations for nonstandard analysis (Q4032655) (← links)
• Nonstandard set theory (Q4206726) (← links)
• Special Model Axiom in Nonstandard Set Theory (Q4264537) (← links)
• Singularité analytique et perturbation singulière en dimension 2 (Q4301848) (← links)
• Pseudo-superstructures as nonstandard universes (Q4391432) (← links)
• (Q4555793) (← links)
• A New Extension of the Riemann Integral (Q4576995) (← links)
• STRICT FINITISM, FEASIBILITY, AND THE SORITES (Q4577997) (← links)
• Forcing in Proof Theory (Q4678943) (← links)
• (Q4695119) (← links)
• Transient behaviour of a Galton–Watson process with a large number of types (Q4819512) (← links)
• Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof (Q4836046) (← links)
• Uniqueness, collection, and external collapse of cardinals in IST and models of Peano arithmetic (Q4836057) (← links)
• On Discourses Addressed by Infidel Logicians (Q4912983) (← links)
• SCALE-FREE ANALYSIS AND THE PRIME NUMBER THEOREM (Q4931723) (← links)
• Standardization principle of nonstandard universes (Q4948533) (← links)
• (Q5015363) (← links)
• A characterization of singular Schrödinger operators on the half-line (Q5019199) (← links)
• Procedures of Leibnizian infinitesimal calculus: an account in three modern frameworks (Q5030479) (← links)
• A Nonstandard Functional Programming Language (Q5056008) (← links)
• (Q5087791) (← links)
• Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic (Q5108095) (← links)
• On the Herbrand functional interpretation (Q5112393) (← links)
• Representation of integers: a nonclassical point of view (Q5145848) (← links)
• Almost Equal: the Method of Adequality from Diophantus to Fermat and Beyond (Q5171470) (← links)
• Periodic wave shock solutions of Burgers equations (Q5193251) (← links)
• On a sequence formed by iterating a divisor operator (Q5206469) (← links)
• COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS (Q5207560) (← links)
• A parameter method for linear algebra and optimization with uncertainties (Q5207734) (← links)
• Periodic Wave Shock solutions of Burgers equations (Q5218453) (← links)
• Elementary stochastic calculus for finance with infinitesimals (Q5270024) (← links)
• Champs lents-rapides complexes à une dimension lente (Q5285852) (← links)
• Standard sets in nonstandard set theory (Q5311717) (← links)
• (Q5378091) (← links)
• A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis (Q5458871) (← links)
• CONSTRUCTING NONSTANDARD HULLS AND LOEB MEASURES IN INTERNAL SET THEORIES (Q5884256) (← links)
• Realism, nonstandard set theory, and large cardinals (Q5940142) (← links)
• The surfaces capable of division into infinitesimal squares by their curves of curvature: a nonstandard-analysis approach to classical differential geometry. (Q5949253) (← links)
• Spectral aspect subconvex bounds for \(U_{n+1} \times U_n\) (Q6040625) (← links)
• RIGOUR AND PROOF (Q6041347) (← links)
• Stateful Realizers for Nonstandard Analysis (Q6135755) (← links)
• Nonstandard proof methods in toposes (Q6151820) (← links)
• Effective infinitesimals in \(\mathbb{R}\) (Q6183681) (← links)
• Generalised solutions to linear and non-linear Schrödinger-type equations with point defect: Colombeau and non-Colombeau regimes (Q6197580) (← links)