Approximation theory of uniqueness conditions by existence conditions

DOI10.4064/FM-120-2-127-142zbMath0582.03004OpenAlexW994080563MaRDI QIDQ3705419

Nobuyoshi Motohashi

Publication date: 1984

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/211460

zbMATH Keywords

Skolem functionsintuitionistic predicate calculuselimination theorems of uniqueness conditionsapproximation theorem on Henkin quantifiersVaught sentences

Mathematics Subject Classification ID

Classical first-order logic (03B10) Cut-elimination and normal-form theorems (03F05) Logic with extra quantifiers and operators (03C80) Intuitionistic mathematics (03F55)

This page was built for publication: Approximation theory of uniqueness conditions by existence conditions