Find link

language:

Find link is a tool written by Edward Betts.

searching for Computable model theory 2 found (9 total)

Terry Millar (249 words) [view diff] exact match in snippet view article find links to article

was considered to be one of the world's foremost researchers in computable model theory. He earned a bachelor’s degree in mathematics from Cornell University

Tennenbaum's theorem (1,081 words) [view diff] case mismatch in snippet view article find links to article

American Mathematical Society. 6: 270. V. Harizanov, "Chapter 1: Pure Computable Model Theory, in Handbook of Recursive Mathematics, edited by Yu. L. Ershov