\(\Sigma_2\)-constructions and \(\text{I}\Sigma_1\)

DOI10.1016/S0168-0072(97)00055-9zbMath0926.03043MaRDI QIDQ1295390

V. Pereyra

Publication date: 23 November 1999

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

embeddingpriorityfragments of arithmeticrecursively enumerable degreesrecursive partial order

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Recursively (computably) enumerable sets and degrees (03D25)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Iterated trees and fragments of arithmetic
• Independence Results on the Global Structure of the Turing Degrees
• Σ₂-collection and the infinite injury priority method
• Finite injury and Σ₁-induction
• Splitting an α-Recursively Enumerable Set
• The combinatorics of the splitting theorem
• The Sacks density theorem and Σ₂-bounding
• Recursive Enumerability and the Jump Operator

This page was built for publication: \(\Sigma_2\)-constructions and \(\text{I}\Sigma_1\)