✦ LIBER ✦

A Model Theoretic Characterization of Effective Operations

✍ Scribed by M. H. Löb

Book ID: 124971842
Publisher: Association for Symbolic Logic
Year: 1970
Tongue: English
Weight: 550 KB
Volume: 35
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2270512

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Correction to `A Model Theoretic Charact

Correction to `A Model Theoretic Characterisation of Effective Operations'

✍ M. H. Löb 📂 Article 📅 1974 🏛 Association for Symbolic Logic 🌐 English ⚖ 154 KB

A graph-theoretic model of symmetric giv

A graph-theoretic model of symmetric givens operations and its implications

✍ D.E. Stewart 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 403 KB

A probability-theoretical characterizati

A probability-theoretical characterization of summing operators

✍ V. Linde; V. I. Tarieladze; S. A. Chobanyan 📂 Article 📅 1981 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 431 KB

A model-theoretic characterization of th

A model-theoretic characterization of the weak pigeonhole principle

✍ Neil Thapen 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 196 KB

We bring together some facts about the weak pigeonhole principle (WPHP) from bounded arithmetic, complexity theory, cryptography and abstract model theory. We characterize the models of arithmetic in which WPHP fails as those which are determined by an initial segment and prove a conditional separat

Order-theoretic characterization of Hilb

Order-theoretic characterization of Hilbert-Schmidt operators

✍ Ulf Schlotterbeck 📂 Article 📅 1973 🏛 Springer 🌐 English ⚖ 193 KB

A game-theoretic model of reinsurance

✍ V. V. Morozov 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 296 KB