Showing 1–8 of 8 results for author: Hrbacek, K

Multi-level Nonstandard Analysis and the Axiom of Choice

Authors: Karel Hrbacek

Abstract: Model-theoretic frameworks for Nonstandard Analysis depend on the existence of nonprincipal ultrafilters, a strong form of the Axiom of Choice (AC). Hrbacek and Katz, APAL 72 (2021) formulate axiomatic nonstandard set theories SPOT and SCOT that are conservative extensions of respectively ZF and ZF + ADC (the Axiom of Dependent Choice), and in which a significant part of Nonstandard Analysis can b… ▽ More Model-theoretic frameworks for Nonstandard Analysis depend on the existence of nonprincipal ultrafilters, a strong form of the Axiom of Choice (AC). Hrbacek and Katz, APAL 72 (2021) formulate axiomatic nonstandard set theories SPOT and SCOT that are conservative extensions of respectively ZF and ZF + ADC (the Axiom of Dependent Choice), and in which a significant part of Nonstandard Analysis can be developed. The present paper extends these theories to theories with many levels of standardness, called respectively SPOTS and SCOTS. It shows that Jin's recent nonstandard proof of Szemerédi's Theorem can be carried out in SPOTS. The theory SCOTS is a conservative extension of ZF + ADC. △ Less

Submitted 24 September, 2024; v1 submitted 1 May, 2024; originally announced May 2024.

MSC Class: 26E35

Journal ref: Journal of Logic & Analysis 16:5 (2024) 1-29; Errata: Journal of Logic & Analysis 16:5c (2024) 1-3

Peano and Osgood theorems via effective infinitesimals

Authors: Karel Hrbacek, Mikhail G. Katz

Abstract: We provide choiceless proofs using infinitesimals of the global versions of Peano's existence theorem and Osgood's theorem on maximal solutions. We characterize all solutions in terms of infinitesimal perturbations. Our proofs are more effective than traditional non-infinitesimal proofs found in the literature. The background logical structure is the internal set theory SPOT, conservative over ZF. We provide choiceless proofs using infinitesimals of the global versions of Peano's existence theorem and Osgood's theorem on maximal solutions. We characterize all solutions in terms of infinitesimal perturbations. Our proofs are more effective than traditional non-infinitesimal proofs found in the literature. The background logical structure is the internal set theory SPOT, conservative over ZF. △ Less

Submitted 30 November, 2023; v1 submitted 2 November, 2023; originally announced November 2023.

Comments: 19 pages, Journal of Logic and Analysis

MSC Class: 26E35; 34A12

Journal ref: Journal of Logic and Analysis 15:6 (2023), 1-19

Effective infinitesimals in R

Authors: Karel Hrbacek, Mikhail G. Katz

Abstract: We survey the effective foundations for analysis with infinitesimals developed by Hrbacek and Katz in 2021, and detail some applications. Theories SPOT and SCOT are conservative over respectively ZF and ZF+ADC. The range of applications of these theories illustrates the fact that analysis with infinitesimals requires no more choice than traditional analysis. The theory SCOT incorporates in particu… ▽ More We survey the effective foundations for analysis with infinitesimals developed by Hrbacek and Katz in 2021, and detail some applications. Theories SPOT and SCOT are conservative over respectively ZF and ZF+ADC. The range of applications of these theories illustrates the fact that analysis with infinitesimals requires no more choice than traditional analysis. The theory SCOT incorporates in particular all the axioms of Nelson's Radically Elementary Probability Theory, which is therefore conservative over ZF+ADC. △ Less

Submitted 23 May, 2023; v1 submitted 8 May, 2023; originally announced May 2023.

Comments: 15 pages, to appear in Real Analysis Exchange

MSC Class: 26E35; 03A05; 03C25; 03C62; 03E70; 03H05

Journal ref: Real Analysis Exchange 48 (2023), no. 2, 365-380

Constructing nonstandard hulls and Loeb measures in internal set theories

Authors: Karel Hrbacek, Mikhail G. Katz

Abstract: Currently the two popular ways to practice Robinson's nonstandard analysis are the model-theoretic approach and the axiomatic/syntactic approach. It is sometimes claimed that the internal axiomatic approach is unable to handle constructions relying on external sets. We show that internal frameworks provide successful accounts of nonstandard hulls and Loeb measures. The basic fact this work relies… ▽ More Currently the two popular ways to practice Robinson's nonstandard analysis are the model-theoretic approach and the axiomatic/syntactic approach. It is sometimes claimed that the internal axiomatic approach is unable to handle constructions relying on external sets. We show that internal frameworks provide successful accounts of nonstandard hulls and Loeb measures. The basic fact this work relies on is that the ultrapower of the standard universe by a standard ultrafilter is naturally isomorphic to a subuniverse of the internal universe. △ Less

Submitted 1 January, 2023; originally announced January 2023.

Comments: 34 pages, to appear in Bulletin of Symbolic Logic

MSC Class: 26E35

Trees and Homogeneous LOTS

Authors: Ethan Akin, Karel Hrbacek

Abstract: We describe those complete linearly ordered topological spaces $X$ which are homogeneous (=CHLOTS). That is, $X$ is order isomorphic with any nonempty open interval in $X$. Using countable tail-like ordinals as indices, we build towers of distinct CHLOTS. Using tree constructions we are able to extend the towers and to describe an inductive procedure which yields every CHLOTS. We describe those complete linearly ordered topological spaces $X$ which are homogeneous (=CHLOTS). That is, $X$ is order isomorphic with any nonempty open interval in $X$. Using countable tail-like ordinals as indices, we build towers of distinct CHLOTS. Using tree constructions we are able to extend the towers and to describe an inductive procedure which yields every CHLOTS. △ Less

Submitted 20 September, 2021; v1 submitted 28 July, 2021; originally announced July 2021.

MSC Class: 54F05; 06A05; 05C05; 06F30

Infinitesimal analysis without the Axiom of Choice

Authors: Karel Hrbacek, Mikhail G. Katz

Abstract: It is often claimed that analysis with infinitesimals requires more substantial use of the Axiom of Choice than traditional elementary analysis. The claim is based on the observation that the hyperreals entail the existence of nonprincipal ultrafilters over N, a strong version of the Axiom of Choice, while the real numbers can be constructed in ZF. The axiomatic approach to nonstandard methods ref… ▽ More It is often claimed that analysis with infinitesimals requires more substantial use of the Axiom of Choice than traditional elementary analysis. The claim is based on the observation that the hyperreals entail the existence of nonprincipal ultrafilters over N, a strong version of the Axiom of Choice, while the real numbers can be constructed in ZF. The axiomatic approach to nonstandard methods refutes this objection. We formulate a theory SPOT in the st-$\in$-language which suffices to carry out infinitesimal arguments, and prove that SPOT is a conservative extension of ZF. Thus the methods of Calculus with infinitesimals are just as effective as those of traditional Calculus. The conclusion extends to large parts of ordinary mathematics and beyond. We also develop a stronger axiomatic system SCOT, conservative over ZF+ADC, which is suitable for handling such features as an infinitesimal approach to the Lebesgue measure. Proofs of the conservativity results combine and extend the methods of forcing developed by Enayat and Spector. △ Less

Submitted 14 February, 2021; v1 submitted 10 September, 2020; originally announced September 2020.

Comments: 44 pages. To appear in Annals of Pure and Applied Logic

MSC Class: 26E35; 03A05; 03C25; 03C62; 03E70; 03H05

Journal ref: Annals of Pure and Applied Logic 172 (2021), no. 6, 102959

On factoring of unlimited integers

Authors: Karel Hrbacek

Abstract: A. Boudaoud asked whether every unlimited integer is a sum of a limited integer and a product of two unlimited integers. Assuming Dickson's Conjecture, the answer is negative. The erroneous proof of claim (2) on page 5 of the published version is replaced by a correct one (see pages 6 - 7) and an answer to another question of Boudaoud and Bellaouar is given. \end{abstract} A. Boudaoud asked whether every unlimited integer is a sum of a limited integer and a product of two unlimited integers. Assuming Dickson's Conjecture, the answer is negative. The erroneous proof of claim (2) on page 5 of the published version is replaced by a correct one (see pages 6 - 7) and an answer to another question of Boudaoud and Bellaouar is given. \end{abstract} △ Less

Submitted 1 May, 2023; v1 submitted 5 October, 2019; originally announced October 2019.

MSC Class: 26E35; 03H05; 03H15; 11A51; 11U10

Journal ref: Journal of Logic and Analysis 12 5 (2020) 1-6

Approaches to analysis with infinitesimals following Robinson, Nelson, and others

Authors: Peter Fletcher, Karel Hrbacek, Vladimir Kanovei, Mikhail G. Katz, Claude Lobry, Sam Sanders

Abstract: This is a survey of several approaches to the framework for working with infinitesimals and infinite numbers, originally developed by Abraham Robinson in the 1960s, and their constructive engagement with the Cantor-Dedekind postulate and the Intended Interpretation hypothesis. We highlight some applications including (1) Loeb's approach to the Lebesgue measure, (2) a radically elementary approach… ▽ More This is a survey of several approaches to the framework for working with infinitesimals and infinite numbers, originally developed by Abraham Robinson in the 1960s, and their constructive engagement with the Cantor-Dedekind postulate and the Intended Interpretation hypothesis. We highlight some applications including (1) Loeb's approach to the Lebesgue measure, (2) a radically elementary approach to the vibrating string, (3) true infinitesimal differential geometry. We explore the relation of Robinson's and related frameworks to the multiverse view as developed by Hamkins. Keywords: axiomatisations, infinitesimal, nonstandard analysis, ultraproducts, superstructure, set-theoretic foundations, multiverse, naive integers, intuitionism, soritical properties, ideal elements, protozoa. △ Less

Submitted 1 March, 2017; originally announced March 2017.

Comments: 54 pages, to appear in Real Analysis Exchange

Journal ref: Real Analysis Exchange 42 (2017), no. 2, 193-252