| Issue | Title | |
| Logic and Analysis Vol 1 (2007-8) | Topometric spaces and perturbations of metric structures | Details 235-272 |
| Itaï Ben Yaacov | ||
| Vol 6 (2014) | Ultrafilters maximal for finite embeddability | Abstract 6. [PDF] |
| Lorenzo Luperi Baglini | ||
| Vol 3 (2011) | Uniform liftings of continuous mappings | Details 4. [PDF] |
| Alexander P Pyshchev | ||
| Vol 3 (2011) | Unique paths as formal points | Details 6. [PDF] |
| Thierry Coquand, Peter Schuster | ||
| Vol 11 (2019) | Value groups and residue fields of models of real exponentiation | Abstract 1. [PDF] |
| Lothar Sebastian Krapp | ||
| 151 - 155 of 155 Items | << < 1 2 3 4 5 6 7 | |
Font Size
Keywords
Computable presentations
Continua
Continuous logic
Effective completeness
Existentially closed models
K-theory
Metric structures
co-analytic sets
collapsing hierarchy
effective infinitesimals
expansions of the real ordered additive group, fractals, monadic second order theory of one successor
intuitionistic separation theorems
model theory, von Neumann algebra, free entropy, random matrix, strongly 1-bounded, ultraproduct
nonstandard analysis
o-minimal structures, log-analytic functions, exponential number, preparation theorems
proof mining
pseudo-arc
rates of convergence
recursive inequalities
solenoid
subgradient methods