Note on generalizing theorems in algebraically closed fields

DOI10.1007/S001530050100zbMath0905.03038OpenAlexW2033995317MaRDI QIDQ1267838

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

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

Related Items (1)

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