𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Subharmonic Functions of Order Less than One

✍ Scribed by Raphaële Supper

Publisher
Springer Netherlands
Year
2005
Tongue
English
Weight
309 KB
Volume
23
Category
Article
ISSN
0926-2601

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

One unary function says less than two in
One unary function says less than two in existential second order logic
✍ Bernd Loescher 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 643 KB

We show that the set of square numbers is the spectrum of an ~' ,,,-sentence (existential second order logic with quantification over unary function variables) with two unary function variables, but it is not the spectrum of IQ;,,-sentences with only one unary function variable. @ 1997 Elsevier Scie