Σ2 induction and infinite injury priority arguments, Part II Tame Σ2 coding and the jump operator

Σ2 induction and infinite injury priority arguments, Part II Tame Σ2 coding and the jump operator

Annals of Pure and Applied Logic

Saved in:
Bibliographic Details
Main Authors: Chong, C.T., Yang, Y.
Other Authors: MATHEMATICS
Format: Article
Published: 2014
Online Access:http://scholarbank.nus.edu.sg/handle/10635/104488
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
Description
Summary:Annals of Pure and Applied Logic

Similar Items