Non-constructive Properties of the Real Numbers

, &
Mathematical Logic Quarterly 47 (3):423-431 (2001)
  Copy   BIBTEX

Abstract

We study the relationship between various properties of the real numbers and weak choice principles

Categories

Keywords

Reprint years

DOI

10.1002/1521-3870(200108)47:3

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

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

Properties of the real line and weak forms of the Axiom of Choice.Omar De la Cruz, Eric Hall, Paul Howard, Kyriakos Keremedis & Eleftherios Tachtsis - 2005 - Mathematical Logic Quarterly 51 (6):598-609.
Why Topology in the Minimalist Foundation Must be Pointfree.Maria Emilia Maietti & Giovanni Sambin - 2013 - Logic and Logical Philosophy 22 (2):167-199.
Choice principles from special subsets of the real line.E. Tachtsis & K. Keremedis - 2003 - Mathematical Logic Quarterly 49 (5):444.
Some Weak Forms of the Axiom of Choice Restricted to the Real Line.Kyriakos Keremedis & Eleftherios Tachtsis - 2001 - Mathematical Logic Quarterly 47 (3):413-422.
Some axioms for constructive analysis.Joan Rand Moschovakis & Garyfallia Vafeiadou - 2012 - Archive for Mathematical Logic 51 (5-6):443-459.
Relations between some cardinals in the absence of the axiom of choice.Lorenz Halbeisen & Saharon Shelah - 2001 - Bulletin of Symbolic Logic 7 (2):237-261.
Real numbers and other completions.Fred Richman - 2008 - Mathematical Logic Quarterly 54 (1):98-108.
Unions and the axiom of choice.Omar De la Cruz, Eric J. Hall, Paul Howard, Kyriakos Keremedis & Jean E. Rubin - 2008 - Mathematical Logic Quarterly 54 (6):652-665.
Order‐free Recursion on the Real Numbers.Vasco Brattka - 1997 - Mathematical Logic Quarterly 43 (2):216-234.
Primitive recursive real numbers.Qingliang Chen, Kaile Su & Xizhong Zheng - 2007 - Mathematical Logic Quarterly 53 (4‐5):365-380.
Partition Principles and Infinite Sums of Cardinal Numbers.Masasi Higasikawa - 1995 - Notre Dame Journal of Formal Logic 36 (3):425-434.
Versions of Normality and Some Weak Forms of the Axiom of Choice.Paul Howard, Kyriakos Keremedis, Herman Rubin & Jean E. Rubin - 1998 - Mathematical Logic Quarterly 44 (3):367-382.
What Numbers Are Real?Kenneth L. Manders - 1986 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1986:253 - 269.
Combinatorial properties of filters and open covers for sets of real numbers.Claude Laflamme & Marion Scheepers - 1999 - Journal of Symbolic Logic 64 (3):1243-1260.
Frege meets dedekind: A neologicist treatment of real analysis.Stewart Shapiro - 2000 - Notre Dame Journal of Formal Logic 41 (4):335--364.

Analytics

Added to PP
2013-12-01

Downloads
34 (#456,993)

6 months
6 (#522,885)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On sequentially closed subsets of the real line in.Kyriakos Keremedis - 2015 - Mathematical Logic Quarterly 61 (1-2):24-31.

Add more citations

References found in this work

[Omnibus Review].Thomas Jech - 1992 - Journal of Symbolic Logic 57 (1):261-262.
[Omnibus Review].Kenneth Kunen - 1969 - Journal of Symbolic Logic 34 (3):515-516.

Add more references