✦ LIBER ✦

The recursive sets in certain monadic second order fragments of arithmetic

✍ Scribed by Siefkes, Dirk

Publisher: Springer-Verlag
Year: 1975
Weight: 593 KB
Volume: 17
Category: Article
ISSN: 0003-9268
DOI: 10.1007/bf02280817

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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 β

The monadic second-order logic of graphs

The monadic second-order logic of graphs XIV: uniformly sparse graphs and edge set quantifications

✍ Bruno Courcelle 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 342 KB

We consider the class US k of uniformly k-sparse simple graphs, i.e., the class of ÿnite or countable simple graphs, every ÿnite subgraph of which has a number of edges bounded by k times the number of vertices. We prove that for each k, every monadic second-order formula (intended to express a grap

Infinite games in the Cantor space and s

Infinite games in the Cantor space and subsystems of second order arithmetic

✍ Takako Nemoto; MedYahya Ould MedSalem; Kazuyuki Tanaka 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 202 KB

## Abstract In this paper we study the determinacy strength of infinite games in the Cantor space and compare them with their counterparts in the Baire space. We show the following theorems: 1. RCA~0~ ⊢ $ \Delta^0\_1 $‐Det\* ↔ $ \Sigma^0\_1 $‐Det\* ↔ WKL~0~. 2. RCA~0~ ⊢ ($ \Sigma^0\_1 $)2‐Det\* ↔

On a second order method for the simulta

On a second order method for the simultaneous inclusion of polynomial complex zeros in rectangular arithmetic

✍ Miodrag S. Petković; Lidija V. Stefanović 📂 Article 📅 1986 🏛 Springer Vienna 🌐 English ⚖ 582 KB

Similar critical behaviour of certain si

✍ N. Boccara 📂 Article 📅 1969 🏛 Elsevier Science 🌐 English ⚖ 158 KB

On the Size of the Exceptional Set in Ne

On the Size of the Exceptional Set in Nevanlinna's Second Fundamental Theorem for Certain Classes of Meromorphic Functions

✍ Francisco Rodríguez 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 362 KB 👁 1 views

## Abstract Some conditions on the size of the exceptional set that arise in Nevanlinna's Second Fundamental Theorem are established, showing that previous sharp results can be improved by restricting the class of functions considered and suggesting a close relationship between the size of the exce