Abstract:In 1986, Flagg and Friedman \cite{ff} gave an elegant alternative proof of the faithfulness of Gödel (or Rasiowa-Sikorski) translation $(\cdot)^\Box$ of Heyting arithmetic $\bf HA$ to Shapiro's epistemic arithmetic $\bf EA$. In §2, we shall prove the faithfulness of $(\cdot)^\Box$ without using stability, by introducing another translation from an epistemic system to corresponding intuitionistic system which we shall call \it the modified Rasiowa-Sikorski translation\rm . That is, this introduction of the new translation simplifies the original Flagg and Friedman's proof. In §3, we shall give some applications of the modified one for the disjunction property ($\mathsf{DP}$) and the numerical existence property ($\mathsf{NEP}$) of Heyting arithmetic. In §4, we shall show that epistemic Markov's rule $\mathsf{EMR}$ in $\bf EA$ is proved via $\bf HA$. So $\bf EA$ $\vdash \mathsf{EMR}$ and $\bf HA$ $\vdash \mathsf{MR}$ are equivalent. In §5, we shall give some relations among the translations treated in the previous sections. In §6, we shall give an alternative proof of Glivenko's theorem. In §7, we shall propose several(modal-)epistemic versions of Markov's rule for Horsten's modal-epistemic arithmetic $\bf MEA$. And, as in §4, we shall study some meta-implications among those versions of Markov's rules in $\bf MEA$ and one in $\bf HA$. Friedman and Sheard gave a modal analogue $\mathsf{FS}$ (i.e. Theorem in \cite{fs}) of Friedman's theorem $\mathsf{F}$ (i.e. Theorem 1 in \cite {friedman}): \it Any recursively enumerable extension of $\bf HA$ which has $\mathsf{DP}$ also has $\mathsf{NPE}$\rm . In §8, we shall give a proof of our \it Fundamental Conjecture \rm $\mathsf{FC}$ proposed in Inoué \cite{ino90a} as follows: $\mathsf{FC}: \enspace \mathsf{FS} \enspace \Longrightarrow \enspace \mathsf{F}.$ This is a new type of proofs. In §9, I shall give discussions.

KF, PKF, and Reinhardt's Program

An Elementary Proof of the FMP for Kleene Algebra

Adequate conditionals and Kripke's theory of truth

Axiomatic theories of supervaluational truth: completing the picture

Admissible extensions of subtheories of second order arithmetic

Truth and Subjunctive Theories of Knowledge: No Luck?

Intuitionistic Fixed Point Logic

Going Forth and Drawing Back: an Intensional Approach in Nonmonotonic Inference.

Some consequences of interpreting the associated logic of the first-order Peano Arithmetic PA finitarily

Rich doctrines and Henkin's Theorem

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation

Theories of Frege structure equivalent to Feferman's system $\mathsf{T}_0$

Epistemic systems and Flagg and Friedman's translation

Fregean abstraction in Zermelo-Fraenkel set theory: a deflationary account

On a question of Krajewski's

The Jacobson Radical of a Propositional Theory

Interpretations of syntactic fragments of theories of fields

Truth, Disjunction, and Induction

Kuroda's Translation for Higher-Order Logic