Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Łoś–Tarski_preservation_theorem> ?p ?o }
Showing triples 1 to 28 of
28
with 100 triples per page.
- Łoś–Tarski_preservation_theorem abstract "The Łoś–Tarski theorem is a theorem in model theory, a branch of mathematics, that states that the set of formulas preserved under taking substructures is exactly the set of universal formulas (Hodges 1997). The theorem was discovered by Jerzy Łoś and Alfred Tarski.".
- Łoś–Tarski_preservation_theorem wikiPageID "27151056".
- Łoś–Tarski_preservation_theorem wikiPageLength "1678".
- Łoś–Tarski_preservation_theorem wikiPageOutDegree "9".
- Łoś–Tarski_preservation_theorem wikiPageRevisionID "696766551".
- Łoś–Tarski_preservation_theorem wikiPageWikiLink Alfred_Tarski.
- Łoś–Tarski_preservation_theorem wikiPageWikiLink Category:Metalogic.
- Łoś–Tarski_preservation_theorem wikiPageWikiLink Category:Model_theory.
- Łoś–Tarski_preservation_theorem wikiPageWikiLink Finite_model_theory.
- Łoś–Tarski_preservation_theorem wikiPageWikiLink Jerzy_Łoś.
- Łoś–Tarski_preservation_theorem wikiPageWikiLink Mathematics.
- Łoś–Tarski_preservation_theorem wikiPageWikiLink Model_theory.
- Łoś–Tarski_preservation_theorem wikiPageWikiLink Theorem.
- Łoś–Tarski_preservation_theorem wikiPageWikiLink Wilfrid_Hodges.
- Łoś–Tarski_preservation_theorem wikiPageWikiLinkText "Łoś–Tarski preservation theorem".
- Łoś–Tarski_preservation_theorem wikiPageUsesTemplate Template:Mathlogic-stub.
- Łoś–Tarski_preservation_theorem subject Category:Metalogic.
- Łoś–Tarski_preservation_theorem subject Category:Model_theory.
- Łoś–Tarski_preservation_theorem hypernym Theorem.
- Łoś–Tarski_preservation_theorem type Diacritic.
- Łoś–Tarski_preservation_theorem type Redirect.
- Łoś–Tarski_preservation_theorem comment "The Łoś–Tarski theorem is a theorem in model theory, a branch of mathematics, that states that the set of formulas preserved under taking substructures is exactly the set of universal formulas (Hodges 1997). The theorem was discovered by Jerzy Łoś and Alfred Tarski.".
- Łoś–Tarski_preservation_theorem label "Łoś–Tarski preservation theorem".
- Łoś–Tarski_preservation_theorem sameAs Q8080822.
- Łoś–Tarski_preservation_theorem sameAs m.0bwjyjr.
- Łoś–Tarski_preservation_theorem sameAs Q8080822.
- Łoś–Tarski_preservation_theorem wasDerivedFrom Łoś–Tarski_preservation_theorem?oldid=696766551.
- Łoś–Tarski_preservation_theorem isPrimaryTopicOf Łoś–Tarski_preservation_theorem.