19 research outputs found
A fundamental effect in computations on real numbers
Get PDFAbstractFor several elementary constructions which often occur in computations on real numbers we prove that they possess unavoidable intensionalities. Our examples give sharp bounds for constructive extensional choices and Skolem functors in theories of order ⩾2
Ein Henkin-Vollständigkeitsbeweis für die intuitionistische Prädikatelogik bezüglich der Kripke-Semantik.
No full text
