The Rank Function and Hilbert'S Second ε-Theorem

DOI10.1002/MALQ.19890350410zbMath0661.03002OpenAlexW1991108336MaRDI QIDQ3809764

Pier Luigi Ferrari

Publication date: 1989

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19890350410

zbMATH Keywords

rank functionelimination of \(\epsilon\)-termsextended version of Hilbert's second \(\epsilon\)- theoremHilbert's \(\epsilon \) selection operatorimproper formulastructural complexity of formulas

Mathematics Subject Classification ID

Classical first-order logic (03B10) Axiom of choice and related propositions (03E25)

This page was built for publication: The Rank Function and Hilbert'S Second ε-Theorem