Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
made a few cosmetic adjustments, such as adding more hyperlinks to technical terms.
Where it said: “Peter Johnstone defined” I made it a reference link saying: “Johnstone (1977) defined”.
Where it referred to the “axioms above” I gave them a labeled Definition-environement and changed it to the “axioms in Def. 1.1”.
Adding reference
which defines “weak Heyting fields” as Heyting fields which only satisfy axioms 1 and 3; i.e. what Peter Johnstone called “residue fields”, but residue field is an overloaded term primarily used elsewhere in algebra as the quotient field of a local ring.
Anonymouse
changed higher algebra - contents to algebra - contents in context sidebar
Anonymouse
Replaced false statement that
“A Heyting field with decidable equality is a discrete field.”
with the true statement that
“A Heyting field with decidable tight apartness is a discrete field.”
Anonymouse
1 to 5 of 5