Forcing for hat inductive definitions in arithmetic
| Data(s) |
2014
|
|---|---|
| Resumo |
By forcing, we give a direct interpretation of inline image into Avigad's inline image. To the best of the author's knowledge, this is one of the simplest applications of forcing to “real problems”. |
| Formato |
application/pdf |
| Identificador |
http://boris.unibe.ch/61788/1/malq201300044.pdf Sato, Kentaro (2014). Forcing for hat inductive definitions in arithmetic. Mathematical logic quarterly, 60(4-5), pp. 314-318. Wiley-VCH 10.1002/malq.201300044 <http://dx.doi.org/10.1002/malq.201300044> doi:10.7892/boris.61788 info:doi:10.1002/malq.201300044 urn:issn:0942-5616 |
| Idioma(s) |
eng |
| Publicador |
Wiley-VCH |
| Relação |
http://boris.unibe.ch/61788/ |
| Direitos |
info:eu-repo/semantics/restrictedAccess |
| Fonte |
Sato, Kentaro (2014). Forcing for hat inductive definitions in arithmetic. Mathematical logic quarterly, 60(4-5), pp. 314-318. Wiley-VCH 10.1002/malq.201300044 <http://dx.doi.org/10.1002/malq.201300044> |
| Palavras-Chave | #000 Computer science, knowledge & systems #510 Mathematics |
| Tipo |
info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion PeerReviewed |
