Last Updated：2022/12/24
We finish this section by briefly addressing how the reduction procedure for mathsf EMU described so far can be formalized in the transfinitely iterated fixed point theory widehat mathsf ID_(<ε₀) of [18] in order to yield conservativity of mathsf EMU over widehat mathsf ID_(<ε₀) with respect to arithmetic statements.
音声機能が動作しない場合はこちらをご確認ください
Edit Histories（0）
Source Sentence
We
finish
this
section
by
briefly
addressing
how
the
reduction
procedure
for
mathsf
EMU
described
so
far
can
be
formalized
in
the
transfinitely
iterated
fixed
point
theory
widehat
mathsf
ID_(<ε₀)
of
[18]
in
order
to
yield
conservativity
of
mathsf
EMU
over
widehat
mathsf
ID_(<ε₀)
with
respect
to
arithmetic
statements.
