RUS  ENG
Full version
JOURNALS // Algebra i logika // Archive
Algebra Logika, 2006 Volume 45, Number 5, Pages 507–519 (Mi al157)
This article is cited in 6 papers

Complexity of Ehrenfeucht models

A. N. Gavryushkin

Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences

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.

Keywords: Ehrenfeucht theory, constructive model.

UDC: 510.53+510.67

Received: 26.10.2004
Revised: 06.09.2006


 English version: Algebra and Logic, 2006, 45:5, 289–295

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024