symmetric monoidal (∞,1)-category of spectra
A definition of ordered field in constructive mathematics which uses denial inequality. It is primarily used in synthetic differential geometry.
An ordered Kock field is a Kock field with a strict weak order which is not necessarily connected:
for all ,
for all and , if , then
for all , , and , if , then or
for all and , if and , then
for all and , if and , then
for all , if and only if or
Archimedean ordered Kock field?
Last revised on March 2, 2024 at 15:54:38. See the history of this page for a list of all contributions to it.