Pages that link to "Item:Q3822154"
From MaRDI portal
The following pages link to Herbrand-Analysen zweier Beweise des Satzes von Roth: Polynomiale Anzahlschranken (Q3822154):
Displayed 20 items.
- Fluctuations, effective learnability and metastability in analysis (Q392289) (← links)
- Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation (Q688431) (← links)
- New formally undecidable propositions: Non-trivial lower bounds on proof complexity and related theorems (Q804570) (← links)
- CERES: An analysis of Fürstenberg's proof of the infinity of primes (Q944367) (← links)
- On the form of witness terms (Q982183) (← links)
- Describing proofs by short tautologies (Q1023053) (← links)
- Remarks on Herbrand normal forms and Herbrand realizations (Q1813063) (← links)
- A normal form for logical derivations implying one for arithmetic derivations (Q2367413) (← links)
- Towards a clausal analysis of cut-elimination (Q2457341) (← links)
- Extracting Herbrand disjunctions by functional interpretation (Q2486989) (← links)
- Herbrand analyses (Q2641297) (← links)
- Towards a proof theory for quantifier macros (Q2672659) (← links)
- A finitization of Littlewood's Tauberian theorem and an application in Tauberian remainder theory (Q2683776) (← links)
- (Q3384900) (← links)
- On the Number of Good Rational Approximations to Algebraic Numbers (Q3829618) (← links)
- (Q4009397) (← links)
- Effectiveness and provability (Q4318898) (← links)
- Some logical metatheorems with applications in functional analysis (Q4819747) (← links)
- Herbrand Sequent Extraction (Q5505525) (← links)
- Cut-elimination and redundancy-elimination by resolution (Q5927981) (← links)