Infinite Combinatorics and Definability.

Arnold W. Miller

Published in: Ann. Pure Appl. Log. (1989)

Keyphrases

fixed point
graph theory
finitely representable
search algorithm
propositional logic
data sets
pairwise
graphical models
sufficient conditions
infinite dimensional
finite sets