About: Barwise compactness theorem   Goto Sponge  NotDistinct  Permalink

An Entity of Type : yago:WikicatTheoremsInTheFoundationsOfMathematics, within Data Space : covidontheweb.inria.fr associated with source document(s)

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.

AttributesValues
type
label
  • Barwise compactness theorem
  • Teorema de compacidade de Barwise
comment
  • 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.
  • 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.
sameAs
topic
described by
Subject
dbo:wikiPageID
dbo:wikiPageRevisionID
dbo:wikiPageWikiLink
dbo:wikiPageExternalLink
is primary topic of
wasDerivedFrom
http://purl.org/li...ics/gold/hypernym
dbo:abstract
  • 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.
  • 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.
dbo:wikiPageLength
dbp:wikiPageUsesTemplate
is sameAs of
is topic of
is dbo:wikiPageWikiLink of
is dbo:wikiPageRedirects of
is topic of
is http://vocab.deri.ie/void#inDataset of
Faceted Search & Find service v1.13.91 as of Mar 24 2020


Alternative Linked Data Documents: Sponger | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data]
OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software