نتایج جستجو برای: nonstandard
تعداد نتایج: 3904 فیلتر نتایج به سال:
Journal:
:Logical Methods in Computer Science
2023
In this paper we propose a new approach to realizability interpretations for nonstandard arithmetic. We deal with analysis in the context of (semi)intuitionistic realizability, focusing on Lightstone-Robinson construction model through an ultrapower. particular, consider extension $\lambda$-calculus memory cell, that contains integer (the state), order indicate which slice ultrapower $\cal{M}^{...
Journal:
:Physical Review D
2006
Journal:
:AL-Rafidain Journal of Computer Sciences and Mathematics
2008
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید