Herbrand-Analysen zweier Beweise des Satzes von Roth: Polynomiale Anzahlschranken
From MaRDI portal
Publication:3822154
DOI10.2307/2275028zbMath0669.03024OpenAlexW2112145021MaRDI QIDQ3822154
Publication date: 1989
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275028
Related Items (20)
A normal form for logical derivations implying one for arithmetic derivations ⋮ Herbrand analyses ⋮ Some logical metatheorems with applications in functional analysis ⋮ Fluctuations, effective learnability and metastability in analysis ⋮ Towards a proof theory for quantifier macros ⋮ Effectiveness and provability ⋮ A finitization of Littlewood's Tauberian theorem and an application in Tauberian remainder theory ⋮ Unnamed Item ⋮ Towards a clausal analysis of cut-elimination ⋮ CERES: An analysis of Fürstenberg's proof of the infinity of primes ⋮ Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation ⋮ Cut-elimination and redundancy-elimination by resolution ⋮ Extracting Herbrand disjunctions by functional interpretation ⋮ On the form of witness terms ⋮ Unnamed Item ⋮ Remarks on Herbrand normal forms and Herbrand realizations ⋮ Describing proofs by short tautologies ⋮ Herbrand Sequent Extraction ⋮ New formally undecidable propositions: Non-trivial lower bounds on proof complexity and related theorems ⋮ On the Number of Good Rational Approximations to Algebraic Numbers
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Dyson's lemma for polynomials in several variables (and the theorem of Roth)
- On equations in S-units and the Thue-Mahler equation
- On the Thue-Siegel-Dyson theorem
- An inequality for the discriminant of a polynomial
- The approximation to algebraic numbers by rationals
- Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
- A note on Thue's theorem
- AN EFFECTIVE REFINEMENT OF THE EXPONENT IN LIOUVILLE'S THEOREM
- Rational approximations to algebraic numbers
This page was built for publication: Herbrand-Analysen zweier Beweise des Satzes von Roth: Polynomiale Anzahlschranken
