Hostname: page-component-66644f4456-gqvjv Total loading time: 0 Render date: 2025-02-13T07:40:38.528Z Has data issue: true hasContentIssue false
  • English
  • Français

An elimination theorem of uniqueness conditions in the intuitionistic predicate calculus

Published online by Cambridge University Press:  22 January 2016

Nobuyoshi Motohashi
Nobuyoshi Motohashi*
Affiliation:
University of Tsukuba
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

This paper is a sequel to Motohashi [4]. In [4], a series of theorems named “elimination theorems of uniqueness conditions” was shown to hold in the classical predicate calculus LK. But, these results have the following two defects : one is that they do not hold in the intuitionistic predicate calculus LJ, and the other is that they give no nice axiomatizations of some sets of sentences concerned. In order to explain these facts more explicitly, let us introduce some necessary notations and definitions. Let L be a first order classical predicate calculus LK or a first order intuitionistic predicate calculus LJ. n-ary formulas in L are formulas F(ā) in L with a sequence ā of distinct free variables of length n such that every free variable in F occurs in ā.

Type
Research Article
Information
Nagoya Mathematical Journal , Volume 85 , March 1982 , pp. 223 - 230
Copyright
Copyright © Editorial Board of Nagoya Mathematical Journal 1982

References

[ 1 ] Barwise, J., Some applications of Henkin quantifier, Israel J. of Math., 25 (1976), 47–63.CrossRefGoogle Scholar
[ 2 ] Harnik, V. and Makkai, M., Applications of Vaught sentences and the covering theorem, J.S.L., 41 (1976), 171–187.Google Scholar
[ 3 ] Maehara, S., Equality axioms on Hilbert ε-theorem, J. of the Faculty of Science, Uni of v. Tokyo, Sect. 1, 7 (1957), 419–435.Google Scholar
[ 4 ] Motohashi, N., Elimination theorems of uniqueness conditions, to appear in Zeitschrift für Math. Logik und Grundlagen der Math.Google Scholar
[ 5 ] Motohashi, N., Some proof-theoretic results on equivalence conditions, congruence conditions, and uniqueness conditions, to appear.Google Scholar
[ 6 ] Motohashi, N., Approximations of uniqueness conditions by existence conditions, to appear in Fund. Math.Google Scholar
[ 7 ] Smorynski, C., On axiomatizing fragments, J.S.L., 43 (1977), 530–544.Google Scholar
[ 8 ] Smorynski, C., The axiomatization problem for fragments, Ann. of Math. Logic, 14 (1978), 193–221.CrossRefGoogle Scholar
[ 9 ] Takeuti, G., Proof Theory, North-Holland, Amsterdam, 1975.Google Scholar