✦ LIBER ✦

Computability of the set of computable indexing schemes of the class of constructable models

✍ Scribed by V. P. Dobritsa

Publisher: SP MAIK Nauka/Interperiodica
Year: 1994
Tongue: English
Weight: 338 KB
Volume: 55
Category: Article
ISSN: 0001-4346
DOI: 10.1007/bf02110373

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Computability of some subclasses of the

Computability of some subclasses of the computable class of constructive models

✍ V. P. Dobritsa 📂 Article 📅 1990 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 438 KB

The number of computable indexations of

The number of computable indexations of finite classes of constructive models

✍ V. P. Dobritsa 📂 Article 📅 1986 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 247 KB

Semilattices of computable indexations o

Semilattices of computable indexations of classes of constructive models

✍ V. P. Dobritsa 📂 Article 📅 1987 🏛 Springer US 🌐 English ⚖ 901 KB

Conditions of effective infinity for the

Conditions of effective infinity for the set of computable indexings of a class of constructive models

✍ V. P. Dobritsa 📂 Article 📅 1994 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 227 KB

Computable classes of constructive model

Computable classes of constructive models with non-limit-equivalent indexations

✍ V. P. Dobritsa 📂 Article 📅 1989 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 316 KB

Computing characteristic classes of proj

Computing characteristic classes of projective schemes

✍ Paolo Aluffi 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 238 KB

We discuss an algorithm computing the push-forward to projective space of several classes associated to a (possibly singular, reducible, non-reduced) projective scheme. For example, the algorithm yields the topological Euler characteristic of the support of a projective scheme S, given the homogeneo