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.

Agafonov's Proof of Agafonov's Theorem: A Modern Account and New Insights

The lost proof of Fermat's last theorem

The Adian-Rabin Theorem -- An English translation

Thirty years after: insights on the cultural origins of Kolmogorov's 1954 theorem from a short conversation with Arnold

A simple proof of the Abel-Ruffini theorem

On some recent developments in Kähler geometry

A Self-Contained and Easily Accessible Discussion of the Method of Descente Infinie and Fermat's Only Explicitly Known Proof by Descente Infinie

The Many Faces of the Subspace Theorem (after Adamczewski, Bugeaud, Corvaja, Zannier...)

On the theorem of Amitsur--Levitzki

On Egorov's Theorem for Infinite Measure

A Proof of Brouwer's Conjecture

Proof of Aharoni Berger Conjecture

Fermat’s last theorem proved in Hilbert arithmetic. I. From the proof by induction to the viewpoint of Hilbert arithmetic

Deducing the multidimensional Szemeredi Theorem from an infinitary removal lemma

Theorems, Problems and Conjectures

Notes on Chern’s Affine Bernstein Conjecture

Combinatorial proof of a Non-Renormalization Theorem

A Modern Gauss-Markov Theorem? Really?

A short proof of the Fundamental Theorem of Algebra

Epistemic systems and Flagg and Friedman's translation

On A Proof of the ADKMV Conjecture