Abstract
We look at examples of Ehrenfeucht theories possessing constructive models and countable models of different complexities, and estimate complexity of the Ehrenfeucht theories having constructive models.
- Record Identifier
- 9926529193601891
- Title
- Complexity of Ehrenfeucht models
- Creators
- A Gavryushkin
- Publication Details
- Algebra and logic, Vol.45(5), pp.289-295
- Academic Unit
- Computer Science
- Publisher
- Springer Nature B.V
- Date published ; e-published
- 09/2006
- Language
- English
- Resource Type; Subtype
- Journal article