Carlisle, Sylvia, Rose-Hulman Institute of Technology, United States
-
Vol 12 (2020) - Articles
Model theory of R-trees
Abstract 3. [PDF]
Journal of Logic and Analysis ISSN: 1759-9008
Font Size
Keywords
Analytic sets
Automatic continuity
Continua
Continuous logic
Effective completeness
Effective convergence rates.
Effectively open set
Existentially closed models
K-theory
Lusin's Theorem
Polish group, Non-singular transformation
co-analytic sets
collapsing hierarchy
computability
computable analysis
infinite measure-preserving transformation
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
solenoid