Citations of:

Vaught's theorem recursively revisited

Journal of Symbolic Logic 46 (2):397-411 (1981)

You must login to add citations.

A computable ℵ 0 -categorical structure whose theory computes true arithmetic.Bakhadyr Khoussainov & Antonio Montalbán - 2010 - Journal of Symbolic Logic 75 (2):728-740.details We construct a computable ℵ0-categorical structure whose first order theory is computably equivalent to the true first order theory of arithmetic. Download Export citation Bookmark

Applied ethics	Epistemology	History of Western Philosophy	Meta-ethics	Metaphysics	Normative ethics
Philosophy of biology	Philosophy of language	Philosophy of mind	Philosophy of religion	Science Logic and Mathematics	More ...