✦ LIBER ✦

Arity and alternation: a proper hierarchy in higher order logics

✍ Scribed by Flavio Antonio Ferrarotti; José María Turull Torres

Publisher: Springer Netherlands
Year: 2007
Tongue: English
Weight: 605 KB
Volume: 50
Category: Article
ISSN: 1012-2443
DOI: 10.1007/s10472-007-9071-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Arity and alternation in second-order lo

Arity and alternation in second-order logic

✍ J.A. Makowsky; Y.B. Pnueli 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 844 KB

Ann. Pure Appl. Logic: Erratum to “Arity

Ann. Pure Appl. Logic: Erratum to “Arity and alternation in second-order logic” 78 (1996) 189–202

📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 52 KB

Unfortunately the paper contains three minor inaccuracies, none of which zlo u$k,v the main results. \* The result wrongly attributed in the proof of Proposition 2 to Ajtai and Fagin [l], is due to R. Fagin in Monadic generalized spectra, Zeitschrift tiir Mathematische Logik and Grundlagen der Mathe