A Limiting First Order Realizability Interpretation

by Masahiro Nakata , Susumu Hayashi

Citations:

5 - 0 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	A Limiting First Order Realizability Interpretation	user correction - Legacy Corrections
AUTHOR NAME	Masahiro Nakata	SVM HeaderParse 0.1
AUTHOR AFFIL	Abstract.	SVM HeaderParse 0.2
AUTHOR NAME	Susumu Hayashi	SVM HeaderParse 0.1
AUTHOR AFFIL	Abstract.	SVM HeaderParse 0.2
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.	user correction - Legacy Corrections
CITATIONS	25 found	ParsCit 1.0