Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Barwise_compactness_theorem> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- Barwise_compactness_theorem 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.".
- Barwise_compactness_theorem wikiPageExternalLink 5.
- Barwise_compactness_theorem wikiPageID "17971241".
- Barwise_compactness_theorem wikiPageRevisionID "595914993".
- Barwise_compactness_theorem hasPhotoCollection Barwise_compactness_theorem.
- Barwise_compactness_theorem subject Category:Mathematical_logic.
- Barwise_compactness_theorem subject Category:Metatheorems.
- Barwise_compactness_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Barwise_compactness_theorem type Abstraction100002137.
- Barwise_compactness_theorem type Communication100033020.
- Barwise_compactness_theorem type Message106598915.
- Barwise_compactness_theorem type Proposition106750804.
- Barwise_compactness_theorem type Statement106722453.
- Barwise_compactness_theorem type Theorem106752293.
- Barwise_compactness_theorem type TheoremsInTheFoundationsOfMathematics.
- Barwise_compactness_theorem comment "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.".
- Barwise_compactness_theorem label "Barwise compactness theorem".
- Barwise_compactness_theorem label "Teorema de compacidade de Barwise".
- Barwise_compactness_theorem sameAs Teorema_de_compacidade_de_Barwise.
- Barwise_compactness_theorem sameAs m.047lzh6.
- Barwise_compactness_theorem sameAs Q4865980.
- Barwise_compactness_theorem sameAs Q4865980.
- Barwise_compactness_theorem sameAs Barwise_compactness_theorem.
- Barwise_compactness_theorem wasDerivedFrom Barwise_compactness_theorem?oldid=595914993.
- Barwise_compactness_theorem isPrimaryTopicOf Barwise_compactness_theorem.