5 citations · 5 across the 2 of their papers we have counts for
2 papers
math.LO2017
Definable Continuous Induction on Ordered Abelian Groups
Jafar S. Eivazloo
As mathematical induction is applied to prove statements on natural numbers, {\it continuous induction} (or, {\it real induction}) is a tool to prove some statements in real analys…
math.GN2002★ 5 cited
Using nets in Dedekind, monotone, or Scott incomplete ordered fields and definability issues
Mojtaba Moniri, Jafar S. Eivazloo
Given a Dedekind incomplete ordered field, a pair of convergent nets of gaps which are respectively increasing or decreasing to the same point is used to obtain a further equivalen…