Lubarsky, Robert S.
-
Logic and Analysis Vol 1 (2007-8) - Articles
On the constructive Dedekind reals
Details 131-152
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