« first day (2283 days earlier)      last day (1111 days later) » 

8:16 AM
4
Q: Are there structures in a finite signature that are recursively categorically axiomatizable in SOL but not finitely categorically axiomatizable?

Beau Madison MountRecall that a structure $\mathcal{M} = \langle M, I^\sigma_M \rangle$ in a signature $\sigma$ is categorically axiomatized by a second-order theory $T$ when, for any $\sigma$-structure $\mathcal{N} = \langle N, I^\sigma_N \rangle$, $\langle N, \mathcal{P}(N), I^\sigma_N \rangle \vDash T$ just in ...

 
 
15 hours later…
10:47 PM
2
Q: Function whose sets of discontinuities and zeros are the rationals

tj_Question: Is there a real valued function $f:\mathbb{R}\to\mathbb{R}$ such that its set of discontinuities is $\mathbb{Q}$ and its set of zeros $\{x\in \mathbb{R}\mid f(x)=0\}$ is also $\mathbb{Q}$? It's well known that the Thomae function has as discontinuities the rationals. However, its zero s...

 

« first day (2283 days earlier)      last day (1111 days later) »