Dag Normann - The extensional realizability model of continuous functionals and three weakly non-constructive classical theorems

lmcs:1174 - Logical Methods in Computer Science, March 16, 2015, Volume 11, Issue 1 - https://doi.org/10.2168/LMCS-11(1:8)2015
The extensional realizability model of continuous functionals and three weakly non-constructive classical theoremsArticle

Authors: Dag Normann

We investigate wether three statements in analysis, that can be proved classically, are realizable in the realizability model of extensional continuous functionals induced by Kleene's second model $K_2$. We prove that a formulation of the Riemann Permutation Theorem as well as the statement that all partially Cauchy sequences are Cauchy cannot be realized in this model, while the statement that the product of two anti-Specker spaces is anti-Specker can be realized.

https://doi.org/10.2168/LMCS-11(1:8)2015
Source: arXiv.org:1502.02388
Volume: Volume 11, Issue 1
Secondary volumes: Special Festschrift Issue in Honor of Dieter Spreen
Published on: March 16, 2015
Imported on: March 29, 2013
Keywords: Computer Science - Logic in Computer Science, Mathematics - Logic
Licence: arXiv.org - Non-exclusive license to distribute

Classifications

Mathematics Subject Classification 20201
Sources:
  • [1] zbMATH Open.

1 Document citing this article

Share and export

Consultation statistics

This page has been seen 2301 times.
This article's PDF has been downloaded 663 times.