Abstract
Svenonius’ definability theorem and its generalizations to the infinitary logic Lω1ω or to a second order logic with countable conjunctions and disjunctions have been studied by Kochen [1], Motohashi [2], [3] or Harnik and Makkai [4], independently. In this paper, we consider a (Svenonius-type) definability theorem for the intuitionistic predicate logic IL with equality.
Publisher
Cambridge University Press (CUP)
Reference5 articles.
1. A new theorem on definability in a positive second order logic with countable conjunctions and disjunctions
2. Application of Vaught sentences and the covering theorem;Harnik;J.S.L.,1976
3. Interpolation theorem and characterization theorem;Motohashi;Ann. Japan Assoc. Philos. Soc,1972