| http://dbpedia.org/ontology/abstract
|
In mathematical logic, the Barwise compactness theorem, named after Jon Barwise, is a generalization of the usual compactness theorem for first-order logic to a certain class of infinitary languages. It was stated and proved by Barwise in 1967.
, Em Lógica matemática, o teorema da compacc … Em Lógica matemática, o teorema da compaccidade de Barwise, em homenagem a Jon Barwise, é uma generalização do teorema da compacidade usual para a lógica de primeira ordem para uma determinada classe de linguagens infinitárias. Foi afirmado e provado por Barwise em 1967.oi afirmado e provado por Barwise em 1967.
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://archive.org/details/modeltheoreticlo00barw/page/n314 +
, http://plato.stanford.edu/entries/logic-infinitary/%235 +
|
| http://dbpedia.org/ontology/wikiPageID
|
17971241
|
| http://dbpedia.org/ontology/wikiPageLength
|
1741
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1062451530
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Formal_language +
, http://dbpedia.org/resource/Category:Metatheorems +
, http://dbpedia.org/resource/Category:Theorems_in_the_foundations_of_mathematics +
, http://dbpedia.org/resource/First-order_logic +
, http://dbpedia.org/resource/Springer-Verlag +
, http://dbpedia.org/resource/Category:Mathematical_logic +
, http://dbpedia.org/resource/Stanford_Encyclopedia_of_Philosophy +
, http://dbpedia.org/resource/Admissible_set +
, http://dbpedia.org/resource/Satisfiability +
, http://dbpedia.org/resource/Compactness_theorem +
, http://dbpedia.org/resource/Mathematical_logic +
, http://dbpedia.org/resource/Infinitary_language +
, http://dbpedia.org/resource/Jon_Barwise +
, http://dbpedia.org/resource/Elsevier +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Cite_book +
, http://dbpedia.org/resource/Template:Cite_thesis +
, http://dbpedia.org/resource/Template:Mathlogic-stub +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Mathematical_logic +
, http://dbpedia.org/resource/Category:Theorems_in_the_foundations_of_mathematics +
, http://dbpedia.org/resource/Category:Metatheorems +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Generalization +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Barwise_compactness_theorem?oldid=1062451530&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Barwise_compactness_theorem +
|
| owl:sameAs |
https://global.dbpedia.org/id/4Vsky +
, http://yago-knowledge.org/resource/Barwise_compactness_theorem +
, http://pt.dbpedia.org/resource/Teorema_de_compacidade_de_Barwise +
, http://www.wikidata.org/entity/Q4865980 +
, http://dbpedia.org/resource/Barwise_compactness_theorem +
, http://rdf.freebase.com/ns/m.047lzh6 +
|
| rdf:type |
http://dbpedia.org/class/yago/Theorem106752293 +
, http://dbpedia.org/class/yago/Statement106722453 +
, http://dbpedia.org/class/yago/WikicatTheoremsInTheFoundationsOfMathematics +
, http://dbpedia.org/class/yago/Message106598915 +
, http://dbpedia.org/class/yago/Abstraction100002137 +
, http://dbpedia.org/class/yago/Proposition106750804 +
, http://dbpedia.org/class/yago/Communication100033020 +
|
| rdfs:comment |
Em Lógica matemática, o teorema da compacc … Em Lógica matemática, o teorema da compaccidade de Barwise, em homenagem a Jon Barwise, é uma generalização do teorema da compacidade usual para a lógica de primeira ordem para uma determinada classe de linguagens infinitárias. Foi afirmado e provado por Barwise em 1967.oi afirmado e provado por Barwise em 1967.
, In mathematical logic, the Barwise compactness theorem, named after Jon Barwise, is a generalization of the usual compactness theorem for first-order logic to a certain class of infinitary languages. It was stated and proved by Barwise in 1967.
|
| rdfs:label |
Teorema de compacidade de Barwise
, Barwise compactness theorem
|
