On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency
['Dan E. Willard']
On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency