|
| << previous | next >> |
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
Details for article 40 of 59 found articles
| Title: |
On maximum conservative extensions |
| Author: |
Towsner, Henry |
| Appeared in: |
Computability |
| Paging: | Volume 4 (2015) nr. 1 pages 57-68 |
| Year: |
2015-02-19 |
| Contents: |
We investigate the set of Π12 sentences which are Π11 conservative over theories of second order arithmetic. We exhibit new elements of these sets and conclude that the sets are Π2 complete. Along the way, we show that, over the theory RCA0, induction for Σn formulas has essentially no consequences for Δn+1 formulas. |
| Publisher: |
IOS Press |
| Source file: |
Elektronische Wetenschappelijke Tijdschriften |
Details for article 40 of 59 found articles
| << previous | next >> |