Article ; Online: Some independence results related to finite trees.
Philosophical transactions. Series A, Mathematical, physical, and engineering sciences
2023 Volume 381, Issue 2248, Page(s) 20220017
Abstract: We investigate some concrete independence results for systems of reverse mathematics which emerge from monotonicity properties of number-theoretic functions. Natural properties of the less than or equal to relation with respect to sums of natural numbers ...
Abstract | We investigate some concrete independence results for systems of reverse mathematics which emerge from monotonicity properties of number-theoretic functions. Natural properties of the less than or equal to relation with respect to sums of natural numbers lead to independence results for first-order Peano arithmetic. Natural properties of the less than or equal to relation with respect to sums and products of natural numbers lead to independence results for arithmetical transfinite recursion. By considering number-theoretic functions of arbitrary arities, we obtain independence results for systems beyond arithmetical transfinite recursion. We discuss how these embeddability relations are related to tree embeddability relations and we consider variants where the tree embeddability relation is not assumed to preserve infima. The findings of this paper are complementary to results on Kruskal-like theorems proved earlier by the first author. This article is part of the theme issue 'Modern perspectives in Proof Theory'. |
---|---|
Language | English |
Publishing date | 2023-04-10 |
Publishing country | England |
Document type | Journal Article |
ZDB-ID | 208381-4 |
ISSN | 1471-2962 ; 0080-4614 ; 0264-3820 ; 0264-3952 ; 1364-503X |
ISSN (online) | 1471-2962 |
ISSN | 0080-4614 ; 0264-3820 ; 0264-3952 ; 1364-503X |
DOI | 10.1098/rsta.2022.0017 |
Database | MEDical Literature Analysis and Retrieval System OnLINE |
More links
Kategorien
In stock of ZB MED Bonn / Germany
Z 4' 46/25: Show issues | ||||
Z PHI 2: Show issues |
Order via subito
This service is chargeable due to the Delivery terms set by subito. Orders including an article and supplementary material will be classified as separate orders. In these cases, fees will be demanded for each order.
Inter-library loan at ZB MED
Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.