scientific article

zbMATH Open1183.03062MaRDI QIDQ3635861

Ulrich Kohlenbach

Publication date: 6 July 2009

Title of this publication is not available (Why is that?)

zbMATH Keywords

mean ergodic theorymetric fixed-point theoryapproximation of algebraic numbersHerbrand disjunctions

Mathematics Subject Classification ID

Probability distributions: general theory (60E05) Contraction-type mappings, nonexpansive mappings, (A)-proper mappings, etc. (47H09) Cut-elimination and normal-form theorems (03F05) Approximation to algebraic numbers (11J68)

Related Items (6)

On extracting variable Herbrand disjunctions ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Herbrand Confluence for First-Order Proofs with Π₂-Cuts ⋮ Understanding Resolution Proofs through Herbrand’s Theorem

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3635861)