Premium
Factors of Functions, AC and Recursive Analogues
Author(s) -
Degen Wolfgang
Publication year - 2002
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/1521-3870(200201)48:1<73::aid-malq73>3.0.co;2-c
Subject(s) - unary operation , mathematics , axiom of choice , axiom , set (abstract data type) , zermelo–fraenkel set theory , discrete mathematics , primitive recursive function , mathematical economics , combinatorics , set theory , computer science , geometry , programming language
We investigate certain statements about factors of unary functions (in particular,factors of permutations) 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 (which concerns bireflectivity of permutations) from [4]. Some of our set‐theoretic results have also interesting recursive versions.