Controlling witnesses

DOI10.1016/j.apal.2005.05.003zbMath1090.03033OpenAlexW4213261824MaRDI QIDQ2566063

Matthias Baaz

Publication date: 22 September 2005

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

Full work available at URL: https://doi.org/10.1016/j.apal.2005.05.003

zbMATH Keywords

translationHerbrand's theoremconstructivityconstructive provability

Mathematics Subject Classification ID

Classical first-order logic (03B10) Other constructive mathematics (03F65) Metamathematics of constructive systems (03F50)

Related Items

Note on Conditional Constructivity

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof theory. 2nd ed
• The number of proof lines and the size of proofs in first order logic
• Constructivism in mathematics. An introduction. Volume I
• Generalizing theorems in real closed fields