Infinite $k$-SAT: bounded variable occurrence implies a global satisfying assignment, at any cardinality

Initializing...

Infinite $k$-SAT: bounded variable occurrence implies a global satisfying assignment, at any cardinality · Prove2Me