A decidable Ehrenfeucht theory with exactly two hyperarithmetic models

Article Properties
Journal Categories
Science
Mathematics
Technology
Technology (General)
Industrial engineering
Management engineering
Applied mathematics
Quantitative methods
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
Foundations of recursive model theory 1978
Persistently finite theories with hyperarithmetic models Transactions of the American Mathematical Society
  • Science: Mathematics
 1983
On complete theories with a finite number of denumerable models 1973
Decidable Ehrenfeucht theories 1985
Model Theory 1973