✦ LIBER ✦

Separations of first and second order theories in bounded arithmetic

✍ Scribed by Masahiro Yasumoto

Publisher: Springer
Year: 2005
Tongue: English
Weight: 128 KB
Volume: 44
Category: Article
ISSN: 0933-5846
DOI: 10.1007/s00153-005-0281-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On first- and second-order moderate rota

On first- and second-order moderate rotation theories of laminated plates

✍ E. Sacco; J. N. Reddy 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 898 KB

On arithmetical first-order theories all

On arithmetical first-order theories allowing encoding and decoding of lists

✍ Patrick Cegielski; Denis Richard 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 1023 KB

Turing machines with linear alternation,

Turing machines with linear alternation, theories of bounded concatenation and the decision problem of first order theories

✍ Hugo Volger 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 467 KB

Interpretations of the first-order theor

Interpretations of the first-order theory of diagonalizable algebras in peano arithmetic

✍ Franco Montagna 📂 Article 📅 1980 🏛 Springer Netherlands 🌐 English ⚖ 455 KB

Perception of first- and second-order mo

Perception of first- and second-order motion: Separable neurological mechanisms?

✍ Lucia M. Vaina; Alan Cowey; David Kennedy 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 709 KB

An unresolved issue in visual motion perception is how distinct are the processes underlying "first-order" and "second-order" motion. The former is defined by spatiotemporal variations of luminance and the latter by spatiotemporal variations in other image attributes, such as contrast or depth. Here

Lebesgue numbers and Atsuji spaces in su

Lebesgue numbers and Atsuji spaces in subsystems of second-order arithmetic

✍ Mariagnese Giusto; Alberto Marcone 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 210 KB