A note on the internal logic of constructive mathematics: the Gel'fond-Schneider theorem in transcendental number theory

DOI10.1007/978-3-319-15368-1_13MaRDI QIDQ5350338zbMATH OpenOpenAlexFDO

Authors Yvon Gauthier

Publication date 28 August 2017

Published in Studies in Universal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-15368-1_13

zbMATH Keywords

constructive mathematicsfinitisminfinite descentnumber theory

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Transcendence (general theory) (11J81)

Recommendations

• Proofs and constructions
• Foundational problems of number theory
• Internal logic. Foundations of mathematics from Kronecker to Hilbert
• Constructivism and Metamathematics
• Cantor's paradise regained: constructive mathematics from Brouwer to Kolmogorov to Gelfond

Cites work

• Constructivism in mathematics. An introduction. Volume II
• Hilbert and the internal logic of mathematics
• Hilbert programme and applied proof theory
• scientific article; zbMATH DE number 3841940 (Why is no real title available?)
• scientific article; zbMATH DE number 3465382 (Why is no real title available?)
• scientific article; zbMATH DE number 3570417 (Why is no real title available?)
• scientific article; zbMATH DE number 1478228 (Why is no real title available?)
• scientific article; zbMATH DE number 3014816 (Why is no real title available?)
• scientific article; zbMATH DE number 3014817 (Why is no real title available?)
• scientific article; zbMATH DE number 3225350 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• scientific article; zbMATH DE number 3309179 (Why is no real title available?)
• scientific article; zbMATH DE number 3325567 (Why is no real title available?)
• Internal logic. Foundations of mathematics from Kronecker to Hilbert
• Kronecker in contemporary mathematics, general arithmetic as a foundational programme
• On the Riemann Hypothesis in Function-Fields

Cited in

(1)

• Foundational problems of number theory

This page was built for publication: A note on the internal logic of constructive mathematics: the Gel'fond-Schneider theorem in transcendental number theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5350338)