Paper Info
Title
Forcing for hat inductive definitions in arithmetic.
Abstract
By forcing, we give a direct interpretation of I (D) over cap (omega) into Avigad's FP. To the best of the author's knowledge, this is one of the simplest applications of forcing to real problems. (C) 2014 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim
Year
DOI
Venue
2014
10.1002/malq.201300044
MATHEMATICAL LOGIC QUARTERLY
Field
DocType
Volume
Algebra,Computer science,Forcing (mathematics)
Journal
60
Issue
ISSN
Citations 
4-5
0942-5616
0
PageRank 
References 
Authors
0.34
2
1
Name
Order
Citations
PageRank
Kentaro Sato142.17