## A Limiting First Order Realizability Interpretation

by
Masahiro Nakata
,
Susumu Hayashi

Citations: | 5 - 0 self |

### BibTeX

@MISC{Nakata_alimiting,

author = {Masahiro Nakata and Susumu Hayashi},

title = {A Limiting First Order Realizability Interpretation},

year = {}

}

### OpenURL

### Abstract

Constructive Mathematics might be regarded as a fragment of classical mathematics in which any proof of an existence theorem is equipped with a computable function giving the solution of the theorem. Limit Computable Mathematics (LCM) considered in this note is a fragment of classical mathematics in which any proof of an existence theorem is equipped with a function computing the solution of the theorem in the limit.