Factors of Functions, AC and Recursive Analogues

Mathematical Logic Quarterly 48 (1):73-86 (2002)
  Copy   BIBTEX

Abstract

We investigate certain statements about factors of unary functions which have connections with weak forms of the axiom of choice. We discuss more extensively the fine structure of Howard and Rubin's Form 314 from [4]. Some of our set-theoretic results have also interesting recursive versions

Categories

Keywords

Reprint years

DOI

10.1002/1521-3870(200201)48:1

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

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

Rigit Unary Functions and the Axiom of Choice.Wolfgang Degen - 2001 - Mathematical Logic Quarterly 47 (2):197-204.
Pigeonhole and Choice Principles.Wolfgang Degen - 2000 - Mathematical Logic Quarterly 46 (3):313-334.
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.
The Axiom of Choice in Second‐Order Predicate Logic.Christine Gaßner - 1994 - Mathematical Logic Quarterly 40 (4):533-546.
The axiom of choice and the law of excluded middle in weak set theories.John L. Bell - 2008 - Mathematical Logic Quarterly 54 (2):194-201.
Degrees of Relative Provability.Mingzhong Cai - 2012 - Notre Dame Journal of Formal Logic 53 (4):479-489.
Unary primitive recursive functions.Daniel E. Severin - 2008 - Journal of Symbolic Logic 73 (4):1122-1138.
A characterization of the $\Sigma_1$ -definable functions of $KP\omega + $.Wolfgang Burr & Volker Hartung - 1998 - Archive for Mathematical Logic 37 (3):199-214.
Choice principles from special subsets of the real line.E. Tachtsis & K. Keremedis - 2003 - Mathematical Logic Quarterly 49 (5):444.
Weak Forms of the Axiom of Choice and the Generalized Continuum Hypothesis.Arthur L. Rubin & Jean E. Rubin - 1993 - Mathematical Logic Quarterly 39 (1):7-22.

Analytics

Added to PP
2013-12-01

Downloads
9 (#1,281,906)

6 months
1 (#1,516,603)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Some Aspects and Examples of Infinity Notions.J. W. Degen - 1994 - Mathematical Logic Quarterly 40 (1):111-124.
There Can Be a Permutation Which Is Not The Product of Two Reflections.J. W. Degen - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (1):65-66.

Add more references