𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Defense of Second-Order Logic

✍ Scribed by Otávio Bueno

Publisher
Springer
Year
2010
Tongue
English
Weight
288 KB
Volume
20
Category
Article
ISSN
1122-1151

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Characterizing Second Order Logic with F
Characterizing Second Order Logic with First Order Quantifiers
✍ David Harel 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 257 KB

CHARACTERIZING SECOND ORDER LOGIC WITH FIRST ORDER QU-4NTIFIERX by DAVID HAREL in Cambridge, Massachusets (U.S.A.) l) ') The author is indebted to W. J. WALKOE, A. R. MEYER, A. SHAMIR and a rcfeiee for comments on previous versions.

Rudimentary Languages and Second-Order L
Rudimentary Languages and Second-Order Logic
✍ Malika More; Frédéric Olive 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 446 KB

## Abstract The aim of this paper is to point out the equivalence between three notions respectively issued from recursion theory, computational complexity and finite model theory. One the one hand, the rudimentary languages are known to be characterized by the linear hierarchy. On the other hand,