Derived rules related to a constructive theory of metric spaces in intuitionistic higher order arithmetic without countable choice

Annals of Mathematical Logic 19 (1):33 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(80)90019-4

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,347

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Consequences of the failure of the axiom of choice in the theory of Lindelof metric spaces.Kyriakos Keremedis - 2004 - Mathematical Logic Quarterly 50 (2):141.
Compact Metric Spaces and Weak Forms of the Axiom of Choice.E. Tachtsis & K. Keremedis - 2001 - Mathematical Logic Quarterly 47 (1):117-128.
On countable choice and sequential spaces.Gonçalo Gutierres - 2008 - Mathematical Logic Quarterly 54 (2):145-152.
On Lindelof Metric Spaces and Weak Forms of the Axiom of Choice.Kyriakos Keremedis & Eleftherios Tachtsis - 2000 - Mathematical Logic Quarterly 46 (1):35-44.
The failure of the axiom of choice implies unrest in the theory of Lindelöf metric spaces.Kyriakos Keremedis - 2003 - Mathematical Logic Quarterly 49 (2):179-186.
Countable sums and products of metrizable spaces in ZF.Kyriakos Keremedis & Eleftherios Tachtsis - 2005 - Mathematical Logic Quarterly 51 (1):95-103.
Linear independence without choice.Douglas Bridges, Fred Richman & Peter Schuster - 1999 - Annals of Pure and Applied Logic 101 (1):95-102.
Some new results on decidability for elementary algebra and geometry.Robert M. Solovay, R. D. Arthan & John Harrison - 2012 - Annals of Pure and Applied Logic 163 (12):1765-1802.
Comments On The Logic Of Constructible Falsity.Allen Hazen - 1980 - Bulletin of the Section of Logic 9 (1):10-13.
Lifschitz realizability for intuitionistic Zermelo–Fraenkel set theory.Ray-Ming Chen & Michael Rathjen - 2012 - Archive for Mathematical Logic 51 (7-8):789-818.
Provably recursive functions of constructive and relatively constructive theories.Morteza Moniri - 2010 - Archive for Mathematical Logic 49 (3):291-300.
Metamathematical Properties of a Constructive Multi-typed Theory.Farida Kachapova - 2017 - Studia Logica 105 (3):587-610.
Realizability models refuting Ishiharaʼs boundedness principle.Peter Lietz & Thomas Streicher - 2012 - Annals of Pure and Applied Logic 163 (12):1803-1807.
A Negationless Interpretation Of Intuitionistic Theories.Victor N. Krivtsov - 2000 - Erkenntnis 53 (1-2):155-172.
Paracompactness of Metric Spaces and the Axiom of Multiple Choice.Paul Howard, K. Keremedis & J. E. Rubin - 2000 - Mathematical Logic Quarterly 46 (2):219-232.

Analytics

Added to PP
2014-01-17

Downloads
22 (#713,531)

6 months
5 (#648,315)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Disjunctive properties of intuitionistic systems.B. Scarpellini - 1974 - Archive for Mathematical Logic 16 (3-4):147-158.

Add more references