Kristiansen, Lars, Department of Mathematics University of Oslo, Norway
-
Vol 17 (2025) - Articles
A degree structure on representations of irrational numbers
Abstract FDS2. [PDF]
Journal of Logic and Analysis ISSN: 1759-9008
Font Size
Keywords
Computable presentations
K-theory
Metric structures
approximation algorithms, polynomial-time approximation scheme, traveling salesperson problem, analyst traveling salesman problem
axiom of choice
continuous logic
definable sets
expansions of the real ordered additive group, fractals, monadic second order theory of one successor
iterated ultrapower
levels of infinity
levels of standardness
nonstandard analysis
proof mining
pseudo-arc
rates of convergence
recursive inequalities
semilattices
solenoid
subgradient methods
topometric spaces
ultrafilter