Unified Approach to Real Numbers in Various Mathematical Settings
@inproceedings{Levsnik2013UnifiedAT, title={Unified Approach to Real Numbers in Various Mathematical Settings}, author={Davorin Levsnik}, year={2013} }
We provide a setting-independent definition of reals by introducing the notion of a streak. We show that various standard constructions of reals satisfy our definition. We study the structure of reals by noting that its pieces correspond to reflections on the category of streaks.
References
SHOWING 1-10 OF 15 REFERENCES
Real numbers and other completions
- Chemistry, MathematicsMath. Log. Q.
- 2008
A notion of completeness and completion suitable for use in the absence of countable choice is developed. This encompasses the construction of the real numbers as well as the completion of an…
A universal characterization of the closed Euclidean interval
- MathematicsProceedings 16th Annual IEEE Symposium on Logic in Computer Science
- 2001
A notion of interval object in a category with finite products is proposed, providing a universal property for closed and bounded real line segments, and it is proved that an interval object exists in and elementary topos with natural numbers object.
Models for smooth infinitesimal analysis
- Mathematics
- 1990
The aim of this book is to construct categories of spaces which contain all the C?-manifolds, but in addition infinitesimal spaces and arbitrary function spaces. To this end, the techniques of…
Synthetic Topology and Constructive Metric Spaces
- Mathematics
- 2010
The thesis presents the subject of synthetic topology, especially with relation to metric spaces. A model of synthetic topology is a categorical model in which objects possess an intrinsic topology…
The Dedekind reals in abstract Stone duality
- MathematicsMathematical Structures in Computer Science
- 2009
The core of the paper constructs the real line using two-sided Dedekind cuts, and shows that the closed interval is compact and overt, where these concepts are defined using quantifiers.
Continuous Lattices and Domains
- Mathematics
- 2003
Preface Acknowledgements Foreword Introduction 1. A primer on ordered sets and lattices 2. Order theory of domains 3. The Scott topology 4. The Lawson Topology 5. Morphisms and functors 6. Spectral…
A primer of infinitesimal analysis
- Mathematics
- 1998
Introduction 1. Basic features of smooth worlds 2. Basic differential calculus 3. First applications of the differential calculus 4. Applications to physics 5. Multivariable calculus and applications…
Constructive Set Theory
- PhilosophyJ. Symb. Log.
- 1975
There is a widespread current impression that the theory of Godel functionals, with quantifiers and choice, is the appropriate formalism for Bishop's book [1], but this is not so, and in more advanced mathematics the complexities become intolerable.
The realizability approach to computable analysis and topology
- Philosophy
- 2000
In this dissertation, I explore aspects of computable analysis and topology in the framework of relative realizability. The computational models are partial combinatory algebras with subalgebras of…