✦ LIBER ✦

Index sets of decidable models

✍ Scribed by E. B. Fokina

Publisher: SP MAIK Nauka/Interperiodica
Year: 2007
Tongue: English
Weight: 197 KB
Volume: 48
Category: Article
ISSN: 0037-4466
DOI: 10.1007/s11202-007-0097-y

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automorphism groups of decidable models

✍ A. S. Morozov 📂 Article 📅 1995 🏛 Springer US 🌐 English ⚖ 459 KB

Decidable Kripke models of intuitionisti

Decidable Kripke models of intuitionistic theories

✍ Hajime Ishihara; Bakhadyr Khoussainov; Anil Nerode 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 655 KB

Criteria of autostability for 1-decidabl

Criteria of autostability for 1-decidable models

✍ O. V. Kudinov 📂 Article 📅 1992 🏛 Springer US 🌐 English ⚖ 738 KB

The discrete parts of approximately deci

The discrete parts of approximately decidable sets in Euclidean spaces

✍ Armin Hemmerling 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 112 KB

## Abstract It is shown that the classes of discrete parts, __A__ ∩ ℕ^__k__^, of approximately resp. weakly decidable subsets of Euclidean spaces, __A__ ⊆ ℝ^__k__^, coincide and are equal to the class of __ω__‐r. e. sets which is well‐known as the first transfinite level in Ershov's hierarchy exhau

Decidable fragments of universal theorie

Decidable fragments of universal theories and existentially closed models

✍ O. V. Belegradek 📂 Article 📅 1981 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 434 KB

Number of constructive homogeneous model

Number of constructive homogeneous models of a complete decidable theory

✍ K. Zh. Kudaibergenov 📂 Article 📅 1983 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 501 KB