Pelupessy, Florian Monomial ideals and independence of \(\mathsf{I}\Sigma_2\). (English) Zbl 1437.03166 Math. Log. Q. 63, No. 1-2, 59-65 (2017). MSC: 03F30 03F15 03D20 05D10 06A06 13F20 PDFBibTeX XMLCite \textit{F. Pelupessy}, Math. Log. Q. 63, No. 1--2, 59--65 (2017; Zbl 1437.03166) Full Text: DOI arXiv
Raffer, Sidney 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). Reviewer: Roman Kossak (New York) MSC: 03F30 03C64 08C10 11U10 13J25 PDFBibTeX XMLCite \textit{S. Raffer}, Lect. Notes Log. 36, 93--111 (2011; Zbl 1255.03053) Full Text: arXiv
Korec, Ivan 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). MSC: 03F30 11U99 11U05 13L05 PDFBibTeX XMLCite \textit{I. Korec}, in: 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; Zbl 0877.03026)