Generalizing theorems in real closed fields
type: Item
instance of: scholarly article
title: Generalizing theorems in real closed fields
zbMATH Open document ID: 0829.03033
DOI: 10.1016/0168-0072(94)00054-7
author: Matthias Baaz
author: Richard Zach
published in: Annals of Pure and Applied Logic
publication date: 1996-01-21T00:00:00Z
Mathematics Subject Classification ID: 03F20
Mathematics Subject Classification ID: 12L99
zbMATH DE Number: 802544
zbMATH Keywords: Artin-Schreier axiomatization
zbMATH Keywords: Gentzen's sequent calculus
zbMATH Keywords: proof length
zbMATH Keywords: real closed fields
MaRDI profile type: Publication
full work available at URL: 0168-0072(94)00054-7
OpenAlex ID: W1977680017
cites work: Q4304753
cites work: Q4283227
cites work: Q3140629
cites work: Q3997615
cites work: The number of proof lines and the size of proofs in first order logic
cites work: An Efficient Unification Algorithm
cites work: Some Results on the Length of Proofs
cites work: Sets of theorems with short proofs
cites work: Proof theory. 2nd ed
cites work: Some results on speed-up
description: scientific article; zbMATH DE number 802544