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_13zbMath1376.03057OpenAlexW954997257MaRDI QIDQ5350338

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 mathematicsnumber theoryfinitisminfinite descent

Mathematics Subject Classification ID

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

Cites Work

• Constructivism in mathematics. An introduction. Volume II
• Hilbert and the internal logic of mathematics
• Internal logic. Foundations of mathematics from Kronecker to Hilbert
• On the Riemann Hypothesis in Function-Fields
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item