An Extension of the Notion of Relativization to Hilbert's ε-Symbol

DOI10.1002/malq.19800263103zbMath0445.03011OpenAlexW2002171017MaRDI QIDQ3889027

Masazumi Hanazawa

Publication date: 1980

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.19800263103

zbMATH Keywords

Skolem functionsrelativizationHilbert's epsilon symbol

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

This page was built for publication: An Extension of the Notion of Relativization to Hilbert's ε-Symbol