1. History

2. Introduction

3. See also

4. References

Computable model theory is a branch of model theory which deals with questions of computability as they apply to model-theoretical structures.

History

It was developed almost simultaneously by mathematicians in the West, primarily located in the United States and Australia, and Soviet Russia during the middle of the 20th century. Because of the Cold War there was little communication between these two groups and so a number of important results were discovered independently.

Introduction

Computable model theory introduces the ideas of computable and decidable models and theories and one of the basic problems is discovering whether or not computable or decidable models fulfilling certain model-theoretic conditions can be shown to exist.

See also

• Vaught conjecture

References

• {{citation|last=Harizanov|first=V. S.|authorlink=Valentina Harizanov|contribution=Pure Computable Model Theory|pages=3–114|title=Handbook of Recursive Mathematics, Volume 1: Recursive Model Theory|series=Studies in Logic and the Foundations of Mathematics|volume=138|editor-first=Iurii Leonidovich|editor-last=Ershov|publisher=North Holland|year=1998|isbn=978-0-444-50003-8|mr=1673621}}.

• Nerekhtskiy
• Nerekhtskiy District
• Nerekhtskiy Raion
• Nerekhtskoye
• Nerekhtsky
• Nerekhtsky District
• Nerekhtsky Raion
• Nerela (Delhi Assembly constituency)
• Nere language
• Nerela (Vidhan Sabha constituency)
• NER electric locomotives
• NER electric locomotives (disambiguation)
• NER electric multiple units
• NER electric units
• NERELLA ANJANEYULU
• Nerella Anjaneyulu
• Nerello Campotu
• Neremic
• Neremić
• Nerengan
• Nereo
• Nereo Bolzon
• Nereo (disambiguation)
• Nereo Fernandez
• Nerepisacanthus