Suslin tree

Em matemática, uma árvore Suslin é uma árvore de altura ω1 de tal forma que todos os ramos e a anticadeia sejam no máximo contável. A árvore é nomeada em homenagem Toda árvore de Suslin é uma árvore de Aronszajn A existência de uma árvore de Suslin é independente de ZFC, e é equivalente a existência de uma (provador por ) ou a . O Princípio diamante, uma consequência de V=L, implica que existe uma árvore de Suslin, e Axioma de Martin MA(ℵ1) implica que não há nenhuma árvore de Suslin.

Suslin tree

Em matemática, uma árvore Suslin é uma árvore de altura ω1 de tal forma que todos os ramos e a anticadeia sejam no máximo contável. A árvore é nomeada em homenagem Toda árvore de Suslin é uma árvore de Aronszajn A existência de uma árvore de Suslin é independente de ZFC, e é equivalente a existência de uma (provador por ) ou a . O Princípio diamante, uma consequência de V=L, implica que existe uma árvore de Suslin, e Axioma de Martin MA(ℵ1) implica que não há nenhuma árvore de Suslin.