OPG-37444
Open
L1
Blatter-Specker Theorem for ternary relations
Category:Logic
Set:OpenGarden
Problem Statement
Background
About Logic: Problems in mathematical logic, model theory, proof theory, and finite model theory.
Discussion (0)
No comments yet. Be the first to discuss this problem!
Sign in to start the conversation.
Checking sign-in status...