« first day (3452 days earlier)      last day (447 days later) » 

12:24 AM
0
Q: Clarification on the relationship of dream mathematics to ZFC and its potential as a synthetic measure theory

Alexander PraehauserI'm interested in dream mathematics (https://ncatlab.org/nlab/show/dream+mathematics) as a foundation of "synthetic measure theory" in a similar vein as synthetic differential geometry, but I'm unclear on its relationship to ordinary mathematics, particularly as expressed through topos theory. As...

 
 
8 hours later…
8:43 AM
71
A: What are some important but still unsolved problems in mathematical logic?

Noah SchweberYes, there are several. Here's a few which I personally care about (described in varying amounts of precision). This is not meant to be an exhaustive list, and reflects my own biases and interests. I am focusing here on questions which have been open for a long amount of time, rather than questi...

@NoahSchweber Link diku.dk/hjemmesider/ansatte/neil/SpectraSubmitted.pdf is broken and also what is the reference for $NEXP$ and spectra? — VS. Nov 30, 2019 at 0:38
Same comment, the link in the comment above is still broke, would be interested in reading that article ... thanks! — EGME Jan 18, 2020 at 14:21
@NoahSchweber: Where can I find the paper diku.dk/hjemmesider/ansatte/neil/SpectraSubmitted.pdf ? The link does not work anymore. — Joel Adler Mar 8, 2020 at 10:14
The link is saved in the Wayback Machine: web.archive.org/web/20110805073010/http://www.diku.dk/…
I'm holding off on editing the community wiki answer so that I can check for any other links that can be fixed.
 
This seems to be the same paper: arXiv:0907.5495
These versions seem to be behind paywall (only for the subscriberts) projecteuclid.org/journals/bulletin-of-symbolic-logic/volume-18/… and doi.org/10.2178/bsl.1804020
Trying Google and Google Scholar, the paper seems to be available in various places. This one seems to be a website of one of the authors: webusers.imj-prg.fr/~arnaud.durand/papers/DJMMbsl11.pdf
This has a link to: users.miamioh.edu/larsonpb/omegalogicmaster5.pdf It seem to be moved here: paulblarson.github.io/omegalogicmaster5.pdf The paper is listed here: paulblarson.github.io/papers.html as: "An Omega-logic primer, with Joan Bagaria and Neus Castells, Set Theory, CRM 2003-2004, Birkhauser 2006, pp. 1-28"
Interestingly, I do not see this paper among top results in Google Scholar. Google gives at least some hits.
 
 
10 hours later…
6:46 PM
4
Q: List of Casimir elements of low dimensional Lie algebras

Aureliano TinajeroI am interested in explicit formulae for the Casimir elements (or "Casimir operators") of low-dimensional, real, non-Abelian Lie algebras (d=2,3, and possibly 4). I am wondering if there is any reference with a list of, at least some, expressions for such Casimir elements. Even a few explicit exp...

4
Q: The Casimir invariant of an irreducible representation of a compact Lie group

B KLet $G$ be a compact Lie group (not necessarily connected) and $\rho:G\to \mathrm{End}(V)$ an irreducible (hence finite-dimensional) unitary representation of $G$. Let $\mathfrak{g}$ be the Lie algebra of $G$, $\mathfrak{U}(\mathfrak{g})$ the universal enveloping algebra, and write also $\rho$ fo...

2
Q: Casimir operators for Jacobi Lie algebra

Arnold NeumaierI am looking for a complete description (if possible with proof) of the Casimir operators (i.e., generators and relations for the center of the universal enveloping algebra) for the Jacobi Lie algebra over the complex numbers, the semidirect product of the symplectic Lie algebra with a Heisenberg...

8
Q: How to find Casimir operators?

cylGiven a general Lie algebra, is there a general procedure to find all its Casimir operator?

 

« first day (3452 days earlier)      last day (447 days later) »