An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency

By  

The Journal of Symbolic Logic, Vol. 70, Iss. 4, 2005-12 ,pp. : 1171-1209

Cambridge University Press

Access to resources Recommend Favorite

On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency

By  

The Journal of Symbolic Logic, Vol. 71, Iss. 4, 2006-12 ,pp. : 1189-1199

Cambridge University Press

Access to resources Recommend Favorite

PARTIAL ORDERS ON PARTIAL BAER–LEVI SEMIGROUPS

By  

Bulletin of the Australian Mathematical Society, Vol. 81, Iss. 2, 2010-04 ,pp. : 195-207

Cambridge University Press

Access to resources Recommend Favorite

PARTIAL ORDERS ON SEMIGROUPS OF PARTIAL TRANSFORMATIONS WITH RESTRICTED RANGE

By  

Bulletin of the Australian Mathematical Society, Vol. 86, Iss. 1, 2012-02 ,pp. : 100-118

Cambridge University Press

Access to resources Recommend Favorite

Computable and Continuous Partial Homomorphisms on Metric Partial Algebras

By  

Bulletin of Symbolic Logic, Vol. 9, Iss. 3, 2003-09 ,pp. : 299-334

Cambridge University Press

Access to resources Recommend Favorite