Effective Mathematics of the Uncountable
From MaRDI portal
Publication:4928781
DOI10.1017/CBO9781139028592zbMath1297.03006MaRDI QIDQ4928781
No author found.
Publication date: 18 June 2013
Proceedings of conferences of miscellaneous specific interest (00B25) Descriptive set theory (03E15) Foundations of classical theories (including reverse mathematics) (03B30) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Computable structure theory, computable model theory (03C57) Computability and recursion theory (03Dxx)
Related Items (8)
Effectivity and reducibility with ordinal Turing machines ⋮ TRANSFINITE RECURSION IN HIGHER REVERSE MATHEMATICS ⋮ Universal extensions of specialization semilattices ⋮ Recognizable sets and Woodin cardinals: computation beyond the constructible universe ⋮ Finding bases of uncountable free abelian groups is usually difficult ⋮ ON THE NON-ENUMERABILITY OF L ⋮ COMPUTABLE STRUCTURES IN GENERIC EXTENSIONS ⋮ On the decidability of the theory of modules over the ring of algebraic integers
This page was built for publication: Effective Mathematics of the Uncountable
