This work is licensed under a Creative Commons Attribution 3.0 License.
Journal of Logic and Analysis ISSN: 1759-9008
This work is licensed under a Creative Commons Attribution 3.0 License.
Font Size
Keywords
Computable presentations
Continua
Continuous logic
Effective completeness
Existentially closed models
K-theory
Metric structures
approximation algorithms, polynomial-time approximation scheme, traveling salesperson problem, analyst traveling salesman problem
continuous logic
definable sets
effective infinitesimals
expansions of the real ordered additive group, fractals, monadic second order theory of one successor
model theory, von Neumann algebra, free entropy, random matrix, strongly 1-bounded, ultraproduct
nonstandard analysis
proof mining
pseudo-arc
recursive inequalities
semilattices
solenoid
subgradient methods
topometric spaces
This work is licensed under a Creative Commons Attribution 3.0 License.