@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

<http://www.irandoc.acir/onto/irandoc/math0007567>
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0007566>, <http://www.irandoc.acir/onto/irandoc/math0007563>, <http://www.irandoc.acir/onto/irandoc/math0007558>, <http://www.irandoc.acir/onto/irandoc/math0007559>, <http://www.irandoc.acir/onto/irandoc/math0007556>, <http://www.irandoc.acir/onto/irandoc/math0007560>, <http://www.irandoc.acir/onto/irandoc/math0007564>, <http://www.irandoc.acir/onto/irandoc/math0007561>, <http://www.irandoc.acir/onto/irandoc/math0007565>, <http://www.irandoc.acir/onto/irandoc/math0007548>, <http://www.irandoc.acir/onto/irandoc/math0007562> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007724>, <http://www.irandoc.acir/onto/irandoc/math0007671>, <http://www.irandoc.acir/onto/irandoc/math0007301>, <http://www.irandoc.acir/onto/irandoc/math0007398>, <http://www.irandoc.acir/onto/irandoc/math0007295> ;
  skos:prefLabel "model theory of set theory"@en, "نظریه مدل نظریه مجموعه‌ها"@fa ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007568> .

<http://www.irandoc.acir/onto/irandoc/math0007548>
  skos:prefLabel "اصل بازتاب (نظریه مجموعه)"@fa, "reflection principle (set theory)"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007567> .

<http://www.irandoc.acir/onto/irandoc/math0007560>
  skos:prefLabel "قضیه پوشش ینسن"@fa, "jensen covering theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007567> .

<http://www.irandoc.acir/onto/irandoc/math0007566>
  skos:prefLabel "مجموعه ساخت‌پذیر"@fa, "constructible set"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007567> .

<http://www.irandoc.acir/onto/irandoc/math0007556>
  skos:prefLabel "روش اظهار"@fa, "forcing method"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007567> .

<http://www.irandoc.acir/onto/irandoc/math0007565>
  skos:prefLabel "مجموعه تعریف‌پذیر"@fa, "definable set"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007567> .

<http://www.irandoc.acir/onto/irandoc/math0007295>
  skos:prefLabel "قضیه ناتمامیت گودل"@fa, "godel incompleteness theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007567> .

<http://www.irandoc.acir/onto/irandoc/math0007564>
  skos:prefLabel "لم نمایش"@fa, "representation lemma"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007567> .

<http://www.irandoc.acir/onto/irandoc/math0007724>
  skos:prefLabel "نظریه مدل"@fa, "model theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007567> .

<http://www.irandoc.acir/onto/irandoc/math0007563>
  skos:prefLabel "قضیه نمایش استون"@fa, "stone representation theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007567> .

<http://www.irandoc.acir/onto/irandoc/math0007671>
  skos:prefLabel "مدل"@fa, "model"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007567> .

<http://www.irandoc.acir/onto/irandoc/math0007559>
  skos:prefLabel "قضیه اسکات"@fa, "scott theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007567> .

<http://www.irandoc.acir/onto/irandoc/math0007398>
  skos:prefLabel "اصول موضوع نظریه مجموعه‌ها"@fa, "axioms of set theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007567> .

<http://www.irandoc.acir/onto/irandoc/math0007562>
  skos:prefLabel "قضیه فشردگی ضعیف"@fa, "weak compactness theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007567> .

<http://www.irandoc.acir/onto/irandoc/math0007568>
  skos:prefLabel "نظریه مجموعه‌ها"@fa, "set theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0007567> .

<http://www.irandoc.acir/onto/irandoc/math0007301>
  skos:prefLabel "منطق کلاسیک مرتبه اول"@fa, "classical first order logic"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007567> .

<http://www.irandoc.acir/onto/irandoc/math0007558>
  skos:prefLabel "ساخت‌پذیری نسبی"@fa, "relative constructibility"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007567> .

<http://www.irandoc.acir/onto/irandoc/math0007561>
  skos:prefLabel "قضیه تلاشی موستوسکی"@fa, "mostowski collapsing theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007567> .