Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Generalized Kripke's Schema and the Expressive Power of Intuitionistic Real Algebra

Miklós Erdélyi-Szabó

Abstract

We introduce a relativized version of random Kripke's schema and show how it may be applied in the investigation of the expressive power of intuitionistic real algebra by interpreting second-order Heyting arithmetic in it.

Generalized Kripke's Schema and the Expressive Power of Intuitionistic Real Algebra

Abstract

We introduce a relativized version of random Kripke's schema and show how it may be applied in the investigation of the expressive power of intuitionistic real algebra by interpreting second-order Heyting arithmetic in it.
Paper Structure (3 sections, 8 theorems, 17 equations)

This paper contains 3 sections, 8 theorems, 17 equations.

Table of Contents

  1. Introduction
  2. RR-KS - Relativised Random Kripke's Schema and its justification using a creative subject argument
  3. An application: interpretation of intuitionistic second order arithmetic in intuitionistic real algebra

Key Result

Theorem 1

Theorems & Definitions (10)

  • Theorem 1
  • Definition 2
  • Lemma 3
  • Proposition 4
  • Definition 5
  • Lemma 6
  • Lemma 7
  • Lemma 8
  • Lemma 9
  • Theorem 10