Note on generalizing theorems in algebraically closed fields

DOI10.1007/S001530050100zbMATH Open0905.03038OpenAlexW2033995317MaRDI QIDQ1267838FDOQ1267838

Matthias Baaz, Richard Zach

Publication date: 13 October 1998

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001530050100

zbMATH Keywords

algebraically closed fieldsanalogs of Kreisel's Conjecturefinite term basessequent calculus with blocks of quantifiersterm bases with primality constraints

Mathematics Subject Classification ID

Structure of proofs (03F07) Complexity of proofs (03F20) Connections between field theory and logic (12L99)

Cited In (4)

• A Note on the Algebraic Closure of a Field
• A note on cohomology over non algebraically closed fields
• An implicit function theorem for algebraically closed fields
• The lengths of proofs: Kreisel's conjecture and Gödel's speed-up theorem

This page was built for publication: Note on generalizing theorems in algebraically closed fields

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