This HTML5 document contains 62 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n11https://global.dbpedia.org/id/
dbpedia-hehttp://he.dbpedia.org/resource/
n17http://elibrary.matf.bg.ac.rs/handle/123456789/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
dbpedia-pthttp://pt.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Kurepa_tree
dbo:wikiPageWikiLink
dbr:Suslin_tree
Subject Item
dbr:Glossary_of_set_theory
dbo:wikiPageWikiLink
dbr:Suslin_tree
Subject Item
dbr:Aronszajn_tree
dbo:wikiPageWikiLink
dbr:Suslin_tree
Subject Item
dbr:Mikhail_Suslin
dbo:wikiPageWikiLink
dbr:Suslin_tree
Subject Item
dbr:Suslin_algebra
dbo:wikiPageWikiLink
dbr:Suslin_tree
Subject Item
dbr:Tree_(set_theory)
dbo:wikiPageWikiLink
dbr:Suslin_tree
Subject Item
dbr:Iterated_forcing
dbo:wikiPageWikiLink
dbr:Suslin_tree
Subject Item
dbr:Suslin's_problem
dbo:wikiPageWikiLink
dbr:Suslin_tree
Subject Item
dbr:Richard_Laver
dbo:wikiPageWikiLink
dbr:Suslin_tree
Subject Item
dbr:Diamond_principle
dbo:wikiPageWikiLink
dbr:Suslin_tree
Subject Item
dbr:List_of_unsolved_problems_in_mathematics
dbo:wikiPageWikiLink
dbr:Suslin_tree
Subject Item
dbr:Suslin_tree
rdf:type
dbo:Plant
rdfs:label
Árvore de Suslin Suslin tree
rdfs:comment
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. In mathematics, a Suslin tree is a tree of height ω1 such thatevery branch and every antichain is at most countable. They are named after Mikhail Yakovlevich Suslin. Every Suslin tree is an Aronszajn tree. The existence of a Suslin tree is independent of ZFC, and is equivalent to the existence of a Suslin line (shown by ) or a Suslin algebra. The diamond principle, a consequence of V=L, implies that there is a Suslin tree, and Martin's axiom MA(ℵ1) implies that there are no Suslin trees.
dcterms:subject
dbc:Independence_results dbc:Trees_(set_theory)
dbo:wikiPageID
5028195
dbo:wikiPageRevisionID
1070235027
dbo:wikiPageWikiLink
dbr:Mikhail_Yakovlevich_Suslin dbr:Successor_cardinal dbc:Independence_results dbr:Countable_set dbr:Thomas_Jech dbr:Independence_(mathematical_logic) dbr:Suslin_algebra dbr:Tree_(set_theory) dbr:Glossary_of_set_theory dbr:First_uncountable_ordinal dbr:Martin's_axiom dbr:Generalized_Continuum_Hypothesis dbr:Antichain dbc:Trees_(set_theory) dbr:List_of_unsolved_problems_in_set_theory dbr:Aronszajn_tree dbr:V=L dbr:Suslin's_problem dbr:Suslin_line dbr:Kurepa_tree dbr:List_of_statements_independent_of_ZFC dbr:Diamond_principle
dbo:wikiPageExternalLink
n17:326
owl:sameAs
freebase:m.03m3qf9 n11:4vQDt wikidata:Q7649127 yago-res:Suslin_tree dbpedia-pt:Árvore_de_Suslin dbpedia-he:עץ_סוסלין
dbp:wikiPageUsesTemplate
dbt:Harvtxt dbt:Isbn dbt:Settheory-stub dbt:Citation
dbo:abstract
In mathematics, a Suslin tree is a tree of height ω1 such thatevery branch and every antichain is at most countable. They are named after Mikhail Yakovlevich Suslin. Every Suslin tree is an Aronszajn tree. The existence of a Suslin tree is independent of ZFC, and is equivalent to the existence of a Suslin line (shown by ) or a Suslin algebra. The diamond principle, a consequence of V=L, implies that there is a Suslin tree, and Martin's axiom MA(ℵ1) implies that there are no Suslin trees. More generally, for any infinite cardinal κ, a κ-Suslin tree is a tree of height κ such that every branch and antichain has cardinality less than κ. In particular a Suslin tree is the same as a ω1-Suslin tree. showed that if V=L then there is a κ-Suslin tree for every infinite successor cardinal κ. Whether the Generalized Continuum Hypothesis implies the existence of an ℵ2-Suslin tree, is a longstanding open problem. 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. Mais comumente, para qualquer cardinal infini9to κ, uma κ-árvore de Suslin é uma arvore de altura κ tal que toda ramificação e anticorrente tem cardinalidade menor que κ. Em particular, uma arvore de Suslin é o mesmo que uma ω1-árvore de Suslin. mostrou que se V=L, então tem uma κ-árvore de Suslin para cada infinito cardinal sucessor κ. Se a Hipótese do continuum implica na existência de uma ℵ2-árvore de Suslin, é um problema aberto de longa data.
gold:hypernym
dbr:Tree
prov:wasDerivedFrom
wikipedia-en:Suslin_tree?oldid=1070235027&ns=0
dbo:wikiPageLength
2302
foaf:isPrimaryTopicOf
wikipedia-en:Suslin_tree
Subject Item
dbr:Souslin_tree
dbo:wikiPageWikiLink
dbr:Suslin_tree
dbo:wikiPageRedirects
dbr:Suslin_tree
Subject Item
wikipedia-en:Suslin_tree
foaf:primaryTopic
dbr:Suslin_tree