# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• Page created, but author did not leave any comments.

• a stub, for the moment just so as to make the link work.

• Created page, work in progress

• B. A. Dubrovin, S. P. Novikov, A. T. Fomenko, corollary 15.3.4 of Modern Geometry — Methods and Applications: Part II: The Geometry and Topology of Manifolds, Graduate Texts in Mathematics 104, Springer-Verlag New York, 1985
• Add Kanamori reference (from David Roberts's blog)

• added section on definitions in structural set theories, and added links to subset and improper subset

Anonymous

Anonymous

• a stub entry, for the moment just to make the link work

• created a currently fairly empty entry quantum measurement, just so as to have a place where to give a commented pointer to the article

• Klaas Landsman, Robin Reuvers, A Flea on Schrödinger’s Cat, Found. Phys. 43, 373-407 (2013) (arXiv:1210.2353)
• brief category:people-entry for hyperlinking references

• added a sentence on entanglement and this historical reference:

• Created page to record statements and the relation between them.

• starting article on Mostowski set theory, which Mike Shulman proved in

to be equivalent in strength to ETCS

Anonymous

• for completeness

• I have been trying to collect some information at Coq.

• a stub enty, for the moment just to give a home to:

• brief category:people-entry for hyperlinking references

• I created a stub certified programming.

That’s motivated from me having expanded the Idea-section at type theory. I enjoyed writing the words “is used in industry”. There are not many $n$Lab pages where I can write these words.

I am saying this only half-jokingly. Somehow there is something deep going on.

Anyway, in (the maybe unlikely) case that somebody reading this here has lots of information about the use and relevance of certified programming in industry, I’d enjoy seeing more information added to that entry.

• I added to excluded middle a discussion of the constructive proof of double-negated LEM and how it is a sort of “continuation-passing” transform.

• added type theory rules for the sharp modality

Anonymous

• Who I am and what I do.

• brief category:people-entry for hyperlinking references

• started entry on stabilization (in the sense of sending an (oo,1)-category to its free stable (infinity,1)-category)

I want to eventually state more properties of the effect of stabilization on objects here.

• Jamie Vicary is kindly adding information to the $n$Lab on the higher-category-theory-proof-assistant that he and collaborators are developing, at:

And I have changed the page name from lower case “globular” to upper case “Globular” to fit our conventions on entry titles.

Currently, lower case “globular” still redirects to the entry. But if anyone has links to the lower case version from elsewhere, please consider changing them, for eventually the lower case “globular” really ought to go to a page that disambiguates all sorts of globular-related entries on the nLab, such as globe and globular set, etc.

• Add Mike's stack semantics paper to the references (for its classification of axioms of material set theories).

• I started an article about Martin-Löf dependent type theory. I hope there aren't any major mistakes!

One minor point: I overloaded $\mathrm{cases}$ by using it for both finite sum types and dependent sum types. Can anyone think of a better name for the operation for finite sum types?

• I found the organization at Zorn’s lemma a bit rough, so I have tried to smoothen it out a bit

For instance

• at one point it had suddenly said “proof of the converse” without a clear statement of the other direction having appeared before. I have created two Theorem-environments and tried to make the statements clearer.

• the Idea-section had started out saying that “Zorn’s lemma is a trick”. I think that’s misleading or at least misses the important nature of the thing, so I rewrote that and expanded a bit.

But the foundationalists among you please check!

• starting something, to go alongside necessity and possibility

(will adjust page name in a second)

not much here yet, though, under construction

• brief category:people-entry for hyperlinking references

• Changed typo’d “pyschoaccoustics” to correct “psychoacoustics”.

Anonymous

and the reactions to it made me realize that apparently there is no comprehensive list either in print or online of all the insights into QFT in general and observed standard model physics in particular, that have been obtained via results in string theory.

So I have entertained myself with starting to collect notes for such a list:

In the process I have created a bunch of new entries, most of them stubs, linked to from there.

• I have given necessity and possibility (which used to redirect to S4-modal logc) an entry of their own.

The entry presently

• first recalls the usual axioms;

• then complains that these are arguably necessary but not sufficient to characterize the idea of necessity/possibility;

• and then points out that if one passes from propositional logic to first-order logic (hyperdoctrines) and/or to dependent type theory, then there is a way to axiomatize modalities that actually have the correct interpretation, namely by forming the reflection (co)monads of $\exists$ and $\forall$, respectively.

You may possibly complain, but not necessarily. Give it a thought. I was upset about the state of affairs of the insufficient axiomatics considered in modal logic for a long time, and this is my attempt to make my peace with it.

• A stub entry, for the moment just to make links work

• A brief note on the definition of quantum paralellism, according to me.

I trust this is completely uncontroversial once you see it and think about it, but I have not found an analogous decent account of “quantum parallelism” in the literature. If you know one, please drop a note.

• brief category:people-entry for hyperlinking references

• brief category:people-entry for hyperlinking references

• David Corfield and I came to start something at EPR paradox

• brief category:people-entry for hyperlinking references

(I was looking for references which one might point to concerning the term “quantum/classical divide”. For instance, who actually introduced that specific term? People use it to refer to Bohr’s writings, but Bohr never wrote down the specific words “quantum/classical divide”, did he?)

• starting page on the type theory which appears in the HoTT book

Anonymous

• starting page on typed predicate logic and its formulation as a two-layered type theory in natural deduction.

Anonymous

• starting page for this mathematician

Anonymous

• a stub entry, for the moment just in order to make the link work