𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A note on the Σ1 spectrum of a theory

✍ Scribed by Michael Möllerfeld; Michael Rathjen

Publisher
Springer
Year
2002
Tongue
English
Weight
51 KB
Volume
41
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A note on the Σ1 collection scheme and f
A note on the Σ1 collection scheme and fragments of bounded arithmetic
✍ Zofia Adamowicz; Leszek Aleksander Kołodziejczyk 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 115 KB

Bounded arithmetic, collection principle, weak pigeonhole principle. ## MSC (2000) 03F30 We show that for each n ≥ 1, if T n 2 does not prove the weak pigeonhole principle for Σ b n functions, then the collection scheme BΣ1 is not finitely axiomatizable over T n 2 . The same result holds with S n

The fluorescence spectrum of HCN (A≈1 A′
The fluorescence spectrum of HCN (A≈1 A′' → X≈1 Σ+) using ArF laser excitation
✍ A.P. Baronavski 📂 Article 📅 1979 🏛 Elsevier Science 🌐 English ⚖ 470 KB

The fiuorescence spectrum of HCN A( t A") -G(' x') is reported using a tuned ArF laser as the excitation source-Assignments for the fluorescence spectra from two upper state vibrational levels are given. Fran&-Condon factors for the absorption and fluorescence spectra are cakuhted-A !aser-induced ff