OPG-660
Open
L2

F_d versus F_{d+1}

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...