analysis (differential/integral calculus, functional analysis, topology)
metric space, normed vector space
open ball, open subset, neighbourhood
convergence, limit of a sequence
compactness, sequential compactness
continuous metric space valued function on compact metric space is uniformly continuous
…
…
Given a dense linear order and a countable dense linear order such that , a -indexed locator for an element is an element of the indexed cartesian product of the family of functions
indexed by the cartesian product set
where , , are open intervals in .
A locator is equivalent to having the structure of a Cauchy sequence with modulus of convergence. This is stronger than merely being a modulated Cauchy real number.
That every Dedekind real number has a -indexed locator implies the weak limited principle of omniscience.
Last revised on December 9, 2022 at 20:58:11. See the history of this page for a list of all contributions to it.