Notes on some second-order systems of iterated inductive definitions and Π11-comprehensions and relevant subsystems of set theory.
- Submitting institution
-
University of Bristol
- Unit of assessment
- 30 - Philosophy
- Output identifier
- 89555195
- Type
- D - Journal article
- DOI
-
10.1016/j.apal.2014.11.001
- Title of journal
- Annals of Pure and Applied Logic
- Article number
- -
- First page
- 409
- Volume
- 166
- Issue
- 4
- ISSN
- 0168-0072
- Open access status
- Out of scope for open access requirements
- Month of publication
- December
- Year of publication
- 2014
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
0
- Research group(s)
-
-
- Proposed double-weighted
- Yes
- Double-weighted statement
- This long article is a result of many years intensive work on impredicative ordinal analysis, one of the most technical areas in mathematical logic. This area was started by the study of inductive definitions and \Pi^1_1-comprehensions in 1970s, which have since been the central notions in the area, and this article gives a number of new results about these notions and thereby provides a fairly comprehensive picture of a variety of theories related to these notions.
- Reserve for an output with double weighting
- No
- Additional information
- -
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -
