Realms

[Dennis Müller]

FLaTeX/FLOMDoc needs support for realms, see here.

Examples:

1. Groups. Face: theory of groups. Pillars: e.g. "Monoid with inverses" and "associative loop". This is fully solved by \extendmodule, see #2 - where the theory of groups would extend both monoid and loop => No two separate pillar modules even needed...?
2. Real Numbers. Face: Theory of archimedian topologically closed totally ordered fields. Pillars: e.g. Dedekind cuts, equivalence classes on Cauchy sequences. Maybe \extendmodule also solves these instances?

Question: What do we need on the MMT side to support this systematically?