Interior Algebra - Metamathematics

Metamathematics

Grzegorczyk proved the elementary theory of closure algebras undecidable.

Read more about this topic:  Interior Algebra