Universal functions
From MaRDI portal
Abstract: A function of two variables F(x,y)is universal iff for every other function G(x,y) there exists functions h(x) and k(y) with G(x,y) = F(h(x),k(y)) Sierpinski showed that assuming the continuum hypothesis there exists a Borel function F(x,y) which is universal. Assuming Martin's Axiom there is a universal function of Baire class 2. A universal function cannot be of Baire class 1. We show that it is consistent that for each countable ordinal alpha>2 there is a universal function of class alpha but none of smaller class. We show that it is consistent with ZFC that there is no universal function (Borel or not) on the reals, and we show that it is consistent that there is a universal function but no Borel universal function. We also prove some results concerning higher arity universal functions. For example, the existence of an F such that for every G there are unary h,k,j such that G(x,y,z) = F(h(x),k(y),j(z)) is equivalent to the existence of a 2-ary universal F. However the existence of an F such that for every G there are h,k,j such that G(x,y,z) = F(h(x,y),k(x,z),j(y,z)) follows from a 2-ary universal F but is strictly weaker. Results obtained Mar-June 2009, Nov 2010. Last revised April 2012 LaTex2e: 28 pages Latest version at: www.math.wisc.edu/~miller
Recommendations
Cites work
- A graph which embeds all small graphs on any large set of vertices
- A model of set-theory in which every set of reals is Lebesgue measurable
- A Separation Theorem for ∑ 1 1 Sets
- Cofinality spectrum theorems in model theory, set theory, and general topology
- Combinatorial Cardinal Characteristics of the Continuum
- Extraspecial p-groups
- Generic Souslin sets
- Model theory.
- Mutual generics and perfect free subsets
- On Ciesielski's Problems
- On discrete Borel spaces and projective sets
- On the combinatorial principle P(c)
- On the length of Borel hierarchies
- On universal graphs without instances of CH
- Remarks on analytic sets
- Representation of functions of two variables as sums of rectangular functions, I
- Sets generated by rectangles
- Shorter Notes: The Solution to One of Ulam's Problems Concerning Analytic Sets. II
- Universal graphs and universal functions
- Universal graphs without instances of CH: Revisited
- Universal sets for pointsets properly on the \(n^{\mathrm{th}}\) level of the projective hierarchy
- Universal structures in power ℵ1
Cited in
(12)- On universal functions
- Universal graphs and functions on \(\omega_1\)
- Universal functions of two variables for special values of k
- A short proof of the existence of universal functions
- scientific article; zbMATH DE number 3878916 (Why is no real title available?)
- Universal Functions and Generalized Classes of Functions
- Functions universal with respect to the trigonometric system
- On $(1,\omega _{1})$-weakly universal functions
- Universal functions are automatically universal in the sense of Menchoff
- On universal functions representing certain classes of functions
- Higher dimensional universal functions from lower dimensional ones
- Universality is a \(\Sigma^1_1\)-complete property
This page was built for publication: Universal functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2921812)
