𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Simplifying the signature in second-order unification

✍ Scribed by Jordi Levy; Mateu Villaret

Publisher
Springer
Year
2009
Tongue
English
Weight
440 KB
Volume
20
Category
Article
ISSN
0938-1279

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A Simplified Proof of the 0–1 Law for Ex
A Simplified Proof of the 0–1 Law for Existential Second-Order Ackermann Sentences
✍ Thierry Lacoste πŸ“‚ Article πŸ“… 1997 πŸ› John Wiley and Sons 🌐 English βš– 378 KB

## Abstract Recently we gave a finitistic proof of the 0–1 law for βˆ‘~1~^1^ (Ackermann) sentences, which relied as much as possible on the original argument of Kolaitis and Vardi. Here we present another version of our proof which, on the contrary, is self‐contained. Finitism allows us to use the be

The Recursively Mahlo Property in Second
The Recursively Mahlo Property in Second Order Arithmetic
✍ Michael Rathjen πŸ“‚ Article πŸ“… 1996 πŸ› John Wiley and Sons 🌐 English βš– 388 KB

## Abstract The paper characterizes the second order arithmetic theorems of a set theory that features a recursively Mahlo universe; thereby complementing prior proof‐theoretic investigations on this notion. It is shown that the property of being recursively Mahlo corresponds to a certain kind of Ξ²