Schuster, Peter
-
Vol 3 (2011) - Articles
Minima and best approximations in constructive analysis
Details 5. [PDF] -
Vol 3 (2011) - Articles
Unique paths as formal points
Details 6. [PDF]
Journal of Logic and Analysis ISSN: 1759-9008
Font Size
Keywords
Computable presentations
Continua
Continuous logic
K-theory
Metric structures
approximation algorithms, polynomial-time approximation scheme, traveling salesperson problem, analyst traveling salesman problem
axiom of choice
continuous logic
definable sets
effective infinitesimals
levels of infinity
levels of standardness
nonstandard analysis
proof mining
pseudo-arc
rates of convergence
recursive inequalities
semilattices
solenoid
topometric spaces
ultrafilter