×

Found 3 Documents (Results 1–3)

Diophantine correct open induction. (English) Zbl 1255.03053

Kennedy, Juliette (ed.) et al., Set theory, arithmetic, and foundations of mathematics. Theorems, philosophies. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-1-107-00804-5/hbk). Lecture Notes in Logic 36, 93-111 (2011).
PDFBibTeX XMLCite
Full Text: arXiv

Definability of addition from multiplication and neighbourhood relation and some related results. (English) Zbl 0877.03026

Nowak, W. G. (ed.) et al., Proceedings of the conference on analytic and elementary number theory: a satellite conference of the European Congress on Mathematics ’96, Vienna, July 18–20, 1996. Dedicated to the honour of the 80th birthday of E. Hlawka. Wien: Universität Wien, Institut für Mathematik, Institut für Mathematik und Statistik, 137-148 (1996).
PDFBibTeX XMLCite

Filter Results by …

Document Type

Year of Publication

all top 3

Main Field