2 citations · 5 across the 17 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2026
Well-Defined but Not Predetermined Persistent Mathematical Objects, Embedded Observers, and the Provability of P = N P
Rasoul Ramezanian
We develop a foundational distinction between \emph{well-definedness} and \emph{predetermination}. A persistent mathematical or computational object may return a unique answer when…
math.LO2014
Non-predetermined Model Theory
Rasoul Ramezanian
This article introduce a new model theory call non-predetermined model theory where functions and relations need not to be determined already and they are determined through time.