# Tagged Questions

**6**

votes

**11**answers

2k views

### A function that is defined everywhere but has unknown values [closed]

For pedagogical purposes I am looking for a function $\mathbb{N}\to\mathbb{N}$ that is defined everywhere but has most of its values unknown. Although such a function cannot be simple by definition, ...

**1**

vote

**2**answers

421 views

### Uncountability of the “Peculiar” sets:

I call a set PECULIAR, if its elements are uncountable, pairwise disjoint subsets of R (the real number system). As for example, the set {(0,1),(3,5),[8,9]\Q},where Q denotes the set of rationals, is ...

**7**

votes

**2**answers

2k views

### Definition of Function

What is authoritative canonical formal definition of function?
For example,
According to Wolfram MathWorld,
$$isafun_1(f)\;\leftrightarrow\;
\forall a\in f\;(\exists x\exists y \;\langle x,y\rangle ...

**3**

votes

**1**answer

415 views

### What are the oldest illustrations of “Venn” diagrams?

Graphical representations of intersection of sets as logical combinations are much older than Venn.
Euler and Leibniz are often quoted and the current Wikipedia article also quotes Ramon Llull but I ...

**15**

votes

**3**answers

1k views

### Model category structure on Set without axiom of choice

There is a model category structure on Set in which the cofibrations are the monomorphisms, the fibrations are maps which are either epimorphisms or have empty domain, and the weak equivalences are ...

**8**

votes

**5**answers

919 views

### Questions about ordering of reals and irrationals

Three problems from G.Rosenstein "Linear orderings" (from the end of Chapter 2 and beginning of Chapter 4):
1) Is there a nondecreasing function from irrationals onto reals?
2) Is there a ...