Binary Refinement Implies Discrete Exponentiation

Author： Aczel Peter Crosilla Laura Ishihara Hajime Palmgren Erik Schuster Peter

ISSN： 0039-3215

Source： Studia Logica, Vol.84, Iss.3, 2006-12, pp. : 361-368

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

"A Mathematical Proof Must Be Surveyable" What Wittgenstein Meant by This and What It Implies

By Mühlhölzer Felix

Grazer Philosophische Studien, Vol. 71, Iss. 1, 2006-04 ,pp. : 57-86

Rodopi

Access to resources Recommend Favorite

Presentism/Eternalism and Endurantism/Perdurantism: why the Unsubstantiality of the first debate implies that of the second

By Dorato Mauro

Philosophia Naturalis, Vol. 49, Iss. 1, 2012-05 ,pp. : 25-41

Klostermann, Vittorio

Access to resources Recommend Favorite

Moral Rights and the Limits of the Ought‐Implies‐Can Principle: Why Impeccable Precautions are No Excuse

By Kramer Matthew

Inquiry, Vol. 48, Iss. 4, 2005-08 ,pp. : 307-355

Routledge Ltd

Access to resources Recommend Favorite

A Refinement of de Bruijn's Formal Language of Mathematics

By Kamareddine Fairouz Nederpelt Rob

Journal of Logic, Language and Information, Vol. 13, Iss. 3, 2004-22 ,pp. : 287-340

Springer Publishing Company

Access to resources Recommend Favorite

Distance and Discrete Space

By Mcdaniel K.

Synthese, Vol. 155, Iss. 1, 2007-03 ,pp. : 157-162

Springer Publishing Company

Access to resources Recommend Favorite