3 papers
math.LO2023
The Craig Interpolation Property in First-order Gödel Logic
Seyed Mohammad Amin Khatami, Massoud Pourmahdian, Nazanin R. Tavana
In this article, a model-theoretic approach is proposed to prove that the first-order Gödel logic, , as well as its extension associated with first-order…
cs.LO2020
A recursion theoretic foundation of computation over real numbers
Keng Meng Ng, Nazanin R. Tavana, Yue Yang
We define a class of computable functions over real numbers using functional schemes similar to the class of primitive and partial recursive functions defined by Gödel and Kleene.…
cs.LO2020
An effective version of definability in metric model theory
Nazanin Roshandel Tavana
In this paper, a computably definable predicate is defined and characterized. Then, it is proved that every separable infinite-dimensional Hilbert structure in an effectively prese…