Annals of Pure and Applied Logic 108 (1-3):19-77 (2001)
Abstract |
We will study patterns which occur when considering how Σ 1 -elementary substructures arise within hierarchies of structures. The order in which such patterns evolve will be seen to be independent of the hierarchy of structures provided the hierarchy satisfies some mild conditions. These patterns form the lowest level of what we call patterns of resemblance . They were originally used by the author to verify a conjecture of W. Reinhardt concerning epistemic theories 449–460; Ann. Pure Appl. Logic, to appear), but their relationship to axioms of infinity and usefulness for ordinal analysis were manifest from the beginning. This paper is the first part of a series which provides an introduction to an extensive program including the ordinal analysis of set theories. Future papers will conclude the introduction and establish, among other things, that notations we will derive from the patterns considered here represent the proof-theoretic ordinal of the theory KPℓ 0 or, equivalently, Π 1 1 −CA 0
|
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
DOI | 10.1016/s0168-0072(00)00040-3 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Recent Advances in Ordinal Analysis: Π1 2 — CA and Related Systems.Michael Rathjen - 1995 - Bulletin of Symbolic Logic 1 (4):468-485.
Recent Advances in Ordinal Analysis: Π 21-CA and Related Systems.Michael Rathjen - 1995 - Bulletin of Symbolic Logic 1 (4):468 - 485.
Ordinal Arithmetic and $\sigma_{1}$ -Elementarity.Timothy J. Carlson - 1999 - Archive for Mathematical Logic 38 (7):449-460.
Ordinal Arithmetic and [Mathematical Formula]-Elementarity.Timothy J. Carlson - 1999 - Archive for Mathematical Logic 38 (7):449-460.
Knowledge, Machines, and the Consistency of Reinhardt's Strong Mechanistic Thesis.Timothy J. Carlson - 2000 - Annals of Pure and Applied Logic 105 (1--3):51--82.
Citations of this work BETA
Normal Forms for Elementary Patterns.Timothy J. Carlson & Gunnar Wilken - 2012 - Journal of Symbolic Logic 77 (1):174-194.
Patterns of Resemblance of Order 2.Timothy J. Carlson - 2009 - Annals of Pure and Applied Logic 158 (1-2):90-124.
The Bachmann-Howard Structure in Terms of Σ1-Elementarity.Gunnar Wilken - 2006 - Archive for Mathematical Logic 45 (7):807-829.
Σ 1 -Elementarity and Skolem Hull Operators.Gunnar Wilken - 2007 - Annals of Pure and Applied Logic 145 (2):162-175.
View all 15 citations / Add more citations
Similar books and articles
Normal Forms for Elementary Patterns.Timothy J. Carlson & Gunnar Wilken - 2012 - Journal of Symbolic Logic 77 (1):174-194.
Patterns of Resemblance of Order 2.Timothy J. Carlson - 2009 - Annals of Pure and Applied Logic 158 (1-2):90-124.
Assignment of Ordinals to Patterns of Resemblance.Gunnar Wilken - 2007 - Journal of Symbolic Logic 72 (2):704 - 720.
Paradigms and Russell's Resemblance Regress.Gonzalo Rodriguez-Pereyra - 2004 - Australasian Journal of Philosophy 82 (4):644 – 651.
Resemblance Nominalism and Russell's Regress.Gonzalo Rodriguez-Pereyra - 2001 - Australasian Journal of Philosophy 79 (3):395 – 408.
Pictures and Properties.Ben Blumson - 2014 - In Resemblance and Representation. Open Book Publishers. pp. 179-198.
Is the Partial Identity Account of Property Resemblance Logically Incoherent?Sophie Gibb - 2007 - Dialectica 61 (4):539-558.
Resemblance Nominalism and Counterparts: Reply to Bird.Gonzalo Rodriguez-Pereyra - 2003 - Analysis 63 (3):229–237.
Analytics
Added to PP index
2014-01-16
Total views
13 ( #772,150 of 2,517,917 )
Recent downloads (6 months)
1 ( #409,045 of 2,517,917 )
2014-01-16
Total views
13 ( #772,150 of 2,517,917 )
Recent downloads (6 months)
1 ( #409,045 of 2,517,917 )
How can I increase my downloads?
Downloads