Definability theorem for the intuitionistic predicate logic with equality

DOI10.1017/S0027763000019917zbMath0497.03019OpenAlexW1506905040MaRDI QIDQ3960671

Chiharu Mizutani

Publication date: 1982

Published in: Nagoya Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0027763000019917

zbMATH Keywords

proof theorydefinabilityintuitionistic logic

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Interpolation, preservation, definability (03C40)

Cites Work

• A new theorem on definability in a positive second order logic with countable conjunctions and disjunctions

This page was built for publication: Definability theorem for the intuitionistic predicate logic with equality