|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 3 van 4 gevonden artikelen
| Titel: |
On maximum conservative extensions |
| Auteur: |
Towsner, Henry |
| Verschenen in: |
Computability |
| Paginering: | Jaargang 4 (2015) nr. 1 pagina's 57-68 |
| Jaar: |
2015-02-19 |
| Inhoud: |
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. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 3 van 4 gevonden artikelen
| << vorige | volgende >> |
Toegankelijkheidsverklaring