nLab
logical scheme

Idea

Logical schemes are geometric entities which relate to first-order logical theories in much the same way that algebraic schemes relate to commutative rings. In this framework conceptual completeness can be established.

References

Last revised on January 28, 2018 at 14:31:41. See the history of this page for a list of all contributions to it.