Generalizing theorems in real closed fields

DOI10.1016/0168-0072(94)00054-7zbMath0829.03033OpenAlexW1977680017MaRDI QIDQ1899140

Matthias Baaz, Richard Zach

Publication date: 21 January 1996

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(94)00054-7

zbMATH Keywords

real closed fieldsproof lengthGentzen's sequent calculusArtin-Schreier axiomatization

Mathematics Subject Classification ID

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

Related Items (5)

The lengths of proofs: Kreisel's conjecture and Gödel's speed-up theorem ⋮ Towards a clausal analysis of cut-elimination ⋮ Herbrand's theorem and term induction ⋮ 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02 ⋮ Controlling witnesses

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof theory. 2nd ed
• The number of proof lines and the size of proofs in first order logic
• Some results on speed-up
• An Efficient Unification Algorithm
• Sets of theorems with short proofs
• Some Results on the Length of Proofs

This page was built for publication: Generalizing theorems in real closed fields