Patterns of resemblance of order 2

Annals of Pure and Applied Logic 158 (1-2):90-124 (2009)
  Copy   BIBTEX

Abstract

We will investigate patterns of resemblance of order 2 over a family of arithmetic structures on the ordinals. In particular, we will show that they determine a computable well ordering under appropriate assumptions.

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2008.10.006

Other Versions

No versions found

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Ordinal arithmetic based on Skolem hulling.Gunnar Wilken - 2007 - Annals of Pure and Applied Logic 145 (2):130-161.
Normal forms for elementary patterns.Timothy J. Carlson & Gunnar Wilken - 2012 - Journal of Symbolic Logic 77 (1):174-194.
Assignment of Ordinals to Patterns of Resemblance.Gunnar Wilken - 2007 - Journal of Symbolic Logic 72 (2):704 - 720.
Pure patterns of order 2.Gunnar Wilken - 2018 - Annals of Pure and Applied Logic 169 (1):54-82.
Elementary patterns of resemblance.Timothy J. Carlson - 2001 - Annals of Pure and Applied Logic 108 (1-3):19-77.
The theory of ceers computes true arithmetic.Uri Andrews, Noah Schweber & Andrea Sorbi - 2020 - Annals of Pure and Applied Logic 171 (8):102811.
Σ 1 -elementarity and Skolem hull operators.Gunnar Wilken - 2007 - Annals of Pure and Applied Logic 145 (2):162-175.
Coding a family of sets.J. F. Knight - 1998 - Annals of Pure and Applied Logic 94 (1-3):127-142.
Totality in applicative theories.Gerhard Jäger & Thomas Strahm - 1995 - Annals of Pure and Applied Logic 74 (2):105-120.
On subrecursive complexity of integration.Ivan Georgiev - 2020 - Annals of Pure and Applied Logic 171 (4):102777.

Analytics

Added to PP
2013-12-22

Downloads
83 (#675,949)

6 months
13 (#928,402)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Open questions in reverse mathematics.Antonio Montalbán - 2011 - Bulletin of Symbolic Logic 17 (3):431-454.
Normal forms for elementary patterns.Timothy J. Carlson & Gunnar Wilken - 2012 - Journal of Symbolic Logic 77 (1):174-194.
Pure Σ2-elementarity beyond the core.Gunnar Wilken - 2021 - Annals of Pure and Applied Logic 172 (9):103001.
Tracking chains of Σ 2 -elementarity.Timothy J. Carlson & Gunnar Wilken - 2012 - Annals of Pure and Applied Logic 163 (1):23-67.

View all 8 citations / Add more citations

References found in this work

Models of Axiomatic Theories Admitting Automorphisms.A. Ehrenfeucht & A. Mostowski - 1966 - Journal of Symbolic Logic 31 (4):644-645.
Ordinal arithmetic and $\Sigma_{1}$ -elementarity.Timothy J. Carlson - 1999 - Archive for Mathematical Logic 38 (7):449-460.
Elementary patterns of resemblance.Timothy J. Carlson - 2001 - Annals of Pure and Applied Logic 108 (1-3):19-77.
Assignment of Ordinals to Patterns of Resemblance.Gunnar Wilken - 2007 - Journal of Symbolic Logic 72 (2):704 - 720.
Σ 1 -elementarity and Skolem hull operators.Gunnar Wilken - 2007 - Annals of Pure and Applied Logic 145 (2):162-175.

View all 7 references / Add more references