Author: nLab edit announcer Format: MarkdownItexstarting page on the notion of field defined by Anders Kock
Anonymous
<a href="https://ncatlab.org/nlab/revision/Kock+field/1">v1</a>, <a href="https://ncatlab.org/nlab/show/Kock+field">current</a>
starting page on the notion of field defined by Anders Kock
Author: Urs Format: MarkdownItexI have
- added specific pointer to where in David's article this notion is considered (since a string search for "Kock field" returns empty).
- added a line defining the notation"$Fin(n)$".
<a href="https://ncatlab.org/nlab/revision/diff/Kock+field/2">diff</a>, <a href="https://ncatlab.org/nlab/revision/Kock+field/2">v2</a>, <a href="https://ncatlab.org/nlab/show/Kock+field">current</a>
I have
added specific pointer to where in David’s article this notion is considered (since a string search for “Kock field” returns empty).
Author: nLab edit announcer Format: MarkdownItexadded clarfication that a Kock field is a commutative ring which satisfies Anders Kock's Postulate K. David Jaz Myers called these objects "field in the sense of Kock" in section 4.1 of his article.
Anonymous
<a href="https://ncatlab.org/nlab/revision/diff/Kock+field/3">diff</a>, <a href="https://ncatlab.org/nlab/revision/Kock+field/3">v3</a>, <a href="https://ncatlab.org/nlab/show/Kock+field">current</a>
added clarfication that a Kock field is a commutative ring which satisfies Anders Kock’s Postulate K. David Jaz Myers called these objects “field in the sense of Kock” in section 4.1 of his article.