A bounded ultrasheaf is a nonstandard universe constructed from a superstructure in a Boolean valued model of set theory. We consider the bounded elementary embeddings between bounded ultrasheaves. Then the standardization principle is true if and only if the ultrafilters are comparable by the Rudin-Frolik order. The base concept is that the bounded elementary embeddings correspond to the complete Boolean homomorphisms. We represent this by the Rudin-Keisler order of ultrafilters of Boolean algebras.

It is known (see [1, 3.1.5]) that the order type of the nonstandard natural number system * N has the form ω + (ω * + ω) θ, where θ is a dense order type without first or last element and ω is the order type of N. Concerning this, Zakon [2] examined * N more closely and investigated the nonstandard real number system * R, as an ordered set, as an additive group and as a uniform space. He raised (...) five questions which remained unsolved. These questions are concerned with the cofinality and coinitiality of θ (which depend on the underlying nonstandard universe * U). In this paper, we shall treat nonstandard models where the cofinality and coinitiality of θ coincide with some appropriated cardinals. Using these nonstandard models, we shall give answers to three of these questions and partial answers to the other to questions in [2]. (shrink)

SummaryWe present a systematic discussion of the structural and conceptual simplifications of proofs of standard theorems afforded by nonstandard methods and examine to what extent the resulting nonstandard proofs satisfy the informal criterion of “plausibility”. We introduce the concept of a “standard detour” and show that all nonstandard proofs considered avoid such detours. Among the proofs examined are proofs of the Intermediate Value Theorem, the Riemann Integration Theorem, the Spectral Theorem for compact Hermitian operators, and the Arzela‐Ascoli Theorem.RésuméNous discutons systématiquement (...) les simplifications structurelles et conceptuelles apportées par des méthodes non standard aux démonstrations de théorèmes standard et examinons jusQuà quel point de telles démonstrations non standard satisfont à un critère informel de plausibilityé. Nous introduisons la notion de détour standard et montrons que toutes les démonstrations non standard considérées évitent de tels détours. Parmi les démonstrations examinées: celles du théoréme de la valeur intermédiate, du théorème ?on;intégration de Riemann, du théorème spectral pour les opérateurs hermitiques compacts et du théorème ?on;Arzelà‐Arcoli.ZusammenfassungWir stellen eine systematische Betrachtung der durch die Nichtstandard‐Methoden gegebe‐nen strukturellen und begrifflichen Vereinfachungen von Beweisen von Standardsätzen an, und untersuchen, wie weit die entstandenen Nichtstandard‐Beweise das informelle Kriterium der Plausibilität erfüllen. Wir führen den Begriff eines Standard‐Umweges ein, und zeigen, dass alle betrachteten Nichtstandard‐Beweise solche Umwege vermeiden. Unter den betrachteten Beweisen befinden sich Beweise des Zwischenwertsatzes, des Riemannschen lntegralsatzes, des Spektralsatzes für kompakte, hermitische Operatoren, und des Theorems von Arzelà‐Ascoli. (shrink)

This paper presents an overview of several years of my research into individuals’ reasoning, argumentation, and bias when addressing problems, scenarios, and symbols related to mathematical infinity. There is a long history of debate around what constitutes “objective truth” in the realm of mathematical infinity, dating back to ancient Greece. Modes of argumentation, hindrances, and intuitions have been largely consistent over the years and across levels of expertise. This presentation examines the interrelated complexities of notions of objectivity, bias, and argumentation (...) as manifested in different presentations and normative interpretations or resolutions of well-known paradoxes of infinity. Paradoxes have been described as occasioning major epistemological reconstructions, and I highlight such occasions as they emerged for both novices and experts with connection to current conceptualisations of objectivity. Of interest is the perception that one single objective truth about “actual” mathematical infinity exists – indeed, this is brought to question at an axiomatic level with both theoretical and empirical research implications. (shrink)