model theory

<http://www.wikidata.org/entity/Q467606>

study of classes of mathematical structures from the perspective of mathematical logic
rdfs:label
"model theory"@en
skos:altLabel
"نظريه النموذج"@ar
schema:description
"study of classes of mathematical structures from the perspective of mathematical logic"@en
schema:dateModified "2026-07-12T02:33:58+00:00"^^xsd:dateTime
schema:version 2516490417
wikibase:identifiers 35
wikibase:sitelinks 39
wikibase:statements 42
p:P10037 wd:statement/Q467606-04069be5-4856-3b1e-90f1-63e7d7bcd665
p:P10283 wd:statement/Q467606-0BB28843-1144-4C4F-B5E5-A9C2350FDB00
p:P1036 wd:statement/Q467606-7ED4D655-8DA7-4D19-9D2B-002CFDBA1BFD
p:P10376 wd:statement/Q467606-59c8bc89-40a0-82d2-fd4e-438e9f432f9b
p:P1051 wd:statement/Q467606-6E49C4B6-B78A-4409-A5BE-2A5376C9B37F
p:P11514 wd:statement/Q467606-59168F9C-50DF-4792-8090-BFA1927F0F35
p:P13591 wd:statement/Q467606-9E019B0E-C87E-4549-A238-B7F71049AC86
p:P1368 wd:statement/Q467606-e40157cb-4614-da2c-96e9-3f48373882d9
p:P1417 wd:statement/Q467606-FA0FB495-C244-430C-8F97-7F69F0DEADEE
p:P227 wd:statement/Q467606-6754E8E0-4A64-4A21-8154-ABDB6F8CFE1B
p:P2347 wd:statement/Q467606-21215CBD-26FE-4DE3-9DC3-988F78D946B2
p:P244 wd:statement/Q467606-74E771B6-CBCD-4F70-889F-550FDB39CAAC
p:P2578 wd:statement/Q467606-7faa7a0a-431a-5a89-9d90-add771b62fa4
p:P268 wd:statement/Q467606-53078919-fc68-4a27-8e6a-9627002e25b3
p:P279 wd:statement/Q467606-13ae6dec-4c9c-43dd-5935-12de0d037a29
p:P2812 wd:statement/Q467606-ecdce20e-4a99-baae-744f-6a19230a2ece
p:P2924 wd:statement/Q467606-89984db6-4c99-1420-0862-9b21885986ab
p:P31 wd:statement/Q467606-8dfebada-4e28-f539-7915-5b5f6bce9615
p:P3123 wd:statement/Q467606-F47C1F77-1856-4B43-8E76-34F838507911
p:P3219 wd:statement/Q467606-A994D9C8-EF87-4669-AF54-213E0E33CCA1
wd:statement/Q467606-F7373BDA-8275-4963-B7FC-D9D7A1E6AB62
p:P3285 wd:statement/Q467606-c12cca94-400d-121e-12ce-14ba963d9db3
p:P349 wd:statement/Q467606-88E9946D-C887-405E-AC43-A36049DB9FE5
p:P3553 wd:statement/Q467606-5F7C1BED-DA0D-4A6B-887E-7485C1E4512A
p:P361 wd:statement/Q467606-8A98BBE0-A078-4DA9-8B68-6F129E571EF5
p:P373 wd:statement/Q467606-2F1119DE-38AC-4D07-B45B-B1E2976D47D8
p:P3827 wd:statement/Q467606-69BEC3CD-DD4E-42DA-88DB-3B2A61584484
p:P3847 wd:statement/Q467606-34dce20b-49f7-0b68-60fe-edf78344d4ab
p:P4215 wd:statement/Q467606-79A93FF0-7673-424E-AE49-C8FCFA003171
p:P4223 wd:statement/Q467606-747f6c03-4904-4237-dce4-105b3fa56f31
wd:statement/Q467606-a39a9850-42ee-e6c9-fd29-c76ebd71a91c
p:P508 wd:statement/q467606-53D57480-2AF1-4792-AA3F-6357FA173A76
p:P6104 wd:statement/Q467606-02A42750-7F7C-4FBC-86BE-A151BE99E18E
p:P6366 wd:statement/Q467606-339B5D24-7D31-4DA5-81F8-00C56EFC05FE
p:P646 wd:statement/Q467606-4EDC5C2B-F149-48EC-B57E-21F7A8CC91E2
p:P6781 wd:statement/Q467606-d18b0654-4ffd-0a6c-1662-ac9a666542b2
p:P691 wd:statement/Q467606-850AEA85-A734-42FA-823C-ED556B1D4998
p:P7554 wd:statement/Q467606-5ae48507-4cac-e9cf-0843-e97bfc38287a
p:P7993 wd:statement/Q467606-15D9859B-4B02-46C0-AC85-4ACA509FF484
p:P8189 wd:statement/Q467606-5EE030F9-44FC-4F07-A3EA-49CB52ACD34E
p:P8408 wd:statement/Q467606-C40B2517-D621-4207-A70B-645DEA789CC3
p:P910 wd:statement/Q467606-8D48EEB0-E804-45DC-A97E-5930D5D01886
p:direct-normalized/P227 <https://d-nb.info/gnd/4114617-7>
p:direct-normalized/P2347 <http://www.yso.fi/onto/yso/p15195>
p:direct-normalized/P244 <http://id.loc.gov/authorities/names/sh85086421>
p:direct-normalized/P268 <http://data.bnf.fr/ark:/12148/cb119323610#about>
p:direct-normalized/P3285 <http://msc2010.org/resources/MSC/2010/03Cxx>
p:direct-normalized/P349 <http://id.ndl.go.jp/auth/ndlna/00567757>
p:direct-normalized/P508 <http://purl.org/bncf/tid/40654>
p:direct-normalized/P6366 <https://makg.org/entity/47030870>
p:direct-normalized/P8408 <http://kbpedia.org/kko/rc/ModelTheory>
wdt:P10037 "teoria-dei-modelli"
wdt:P10283 "C47030870"
wdt:P1036 "511.34"
wdt:P10376 "mathematics/model-theory"
wdt:P1051 "7113"
wdt:P11514 "teoriia-modelei-d24f43"
wdt:P13591 "concept/72807fba-1883-4cc1-9c8f-07341aa9dbdf"
wdt:P1368 "000101674"
wdt:P1417 "topic/model-theory"
wdt:P227 "4114617-7"
wdt:P2347 "15195"
wdt:P244 "sh85086421"
wdt:P268 "119323610"
wdt:P279 منطق رياضي
wdt:P2812 "ModelTheory"
wdt:P2924 "2221563"
wdt:P31 teorie matematică
wdt:P3123 "model-theory"
wdt:P3219 "theorie-des-modeles"
"verite-mathematique"
wdt:P3285 "03Cxx"
wdt:P349 "00567757"
wdt:P3553 "19650017"
wdt:P361 منطق رياضي
wdt:P373 "Model theory"
wdt:P3827 "model-theory"
wdt:P3847 "model_theory"
wdt:P4215 "model theory"
wdt:P4223 "teoria-dei-modelli"
"teoria-dei-modelli_res-b39a84f3-87e9-11dc-8e9d-0016357eee51"
wdt:P508 "40654"
wdt:P6104 WikiProjekt Matematik
wdt:P6366 "47030870"
wdt:P646 "/m/04_lr"
wdt:P6781 "Definition:Model_Theory"
wdt:P691 "ph799924"
wdt:P7554 "Model_theory"
wdt:P7993 "teoria-dei-modelli"
wdt:P8189 "987007541020605171"
wdt:P8408 "ModelTheory"
wdt:P910 Ronney:Sheiltynys kiaddaghyn

Inverse relations

[ .. ] → p:statement/P101 → model theory

<http://www.wikidata.org/entity/statement/q330567-D7A25121-9323-4E9D-AF4B-AEBE52A449B1>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q102941645-4e49ee87-429b-db41-0bb6-add1c7c1d9fc>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q1163898-F530595F-5251-4ACB-BC35-6F9C34B5EA37>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q4449880-0d582860-4619-2dda-bfc4-49c5bedede36>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q15830473-608E9944-A808-4F8D-A9C8-E45FFBFF8B14>wikibase:BestRank <http://www.wikidata.org/entity/statement/q7449212-076829CA-CD9C-4CFD-A3D8-00187EF1BC2A>wikibase:BestRank <http://www.wikidata.org/entity/statement/q207534-9BE65387-333E-4B36-B643-73A650167B28>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q102390173-5350A915-85FB-49B0-B71D-E5BF397B697D>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q102171517-51279b3b-4ba0-26ae-842e-e01af2b720f7>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q112535453-35AF23FD-D55F-4407-B30E-9F18D0AD1F91>wikibase:BestRank <http://www.wikidata.org/entity/statement/q983693-37D5ED18-2588-4A76-B36B-0199CF772B01>wikibase:BestRank <http://www.wikidata.org/entity/statement/q7289523-41180699-24B7-4E05-8D8E-80DD94BE0656>wikibase:BestRank <http://www.wikidata.org/entity/statement/q1818602-9288B4E8-3F1F-4485-9036-57F5D1C9E3FC>wikibase:BestRank <http://www.wikidata.org/entity/statement/q96821-60197036-E6A8-4B5F-B064-DD8DD9B20CBA>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q102344740-42654945-4d94-f7cb-4ffc-ebc3d21bec0b>wikibase:BestRank <http://www.wikidata.org/entity/statement/q949349-3DA30D36-A570-4476-9405-748D10839DD5>wikibase:BestRank <http://www.wikidata.org/entity/statement/q828399-ADF05E75-BCDF-4353-BBE8-F9E10BE40178>wikibase:BestRank <http://www.wikidata.org/entity/statement/q448592-9F88DAC6-5783-451B-9FE7-8998CA9FB417>wikibase:BestRank <http://www.wikidata.org/entity/statement/q5090730-124BF2DB-3C51-48F3-8B47-5877BCEDCD8D>wikibase:BestRank <http://www.wikidata.org/entity/statement/q214969-7194F654-F0CB-4701-9E23-D6E63E974CB8>wikibase:BestRank ... show all 51

[ .. ] → p:statement/P361 → model theory

<http://www.wikidata.org/entity/statement/Q1583154-b7be9a64-4f23-73a5-41e7-8ba71bc7121a>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q114722735-6321E884-FFE1-4C73-A71A-804A29DC1852>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q25303635-2d977a19-404a-f9ff-84dd-8551e8f79ac5>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q15805655-797ecb45-40f9-6cb6-325c-312110d58ee9>wikibase:BestRank <http://www.wikidata.org/entity/statement/q4691833-d2975cdb-4d4d-52cd-242e-6ad5fe953f46>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q114722740-5DF10108-845D-4285-8744-1A14714E2EDA>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q6041209-4c9d5a29-485a-d0bf-6132-d60ff2674e0a>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q1503766-3C5690A6-0B99-40F0-BF47-6702EC9FC007>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q7575321-c846e05e-4b85-e665-2961-a9d09c1cc61e>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q114767108-AF6FE793-F3A6-45D2-9993-83AB11B21628>wikibase:BestRank

[ .. ] → schema:about → model theory

Logica matematica/Teoria dei modellischema:Article Malliteoriaschema:Article Model teorisischema:Article Model theoryschema:Article Modellelméletschema:Article Modellteorischema:Article Modelltheorieschema:Article Modeloteorioschema:Article Modelteorieschema:Article Modeltheorieschema:Article Məntiqi modelləşdirməschema:Article Teori modelschema:Article Teoria de modelsschema:Article Teoria dei modellischema:Article Teoria dos modelosschema:Article Teoria modelischema:Article Teorie modelůschema:Article Teorija modelaschema:Article Teorìa dij modejschema:Article Teoría de modelosschema:Article ... show all 39

[ .. ] → wdt:P101 → model theory

Alec Wilkie Alexandre Borovik Alfred Tarski Anatoly Maltsev Andreas Baudisch Angus Macintyre Artem Chernikov David A. Ross David Hartman Dugald Macpherson Heinz-Dieter Ebbinghaus Howard Jerome Keisler James Ax Jan Denef Jan Tryba Joseph Sgro Jouko Väänänen Krzysztof Krupinski Lou van den Dries Martin Ziegler ... show all 51

[ .. ] → wdt:P279 → model theory

computable model theory endliche Modelltheorie inner model theory Modellkompis

[ .. ] → wdt:P361 → model theory

age Criteri de Łoś–Vaught deskriptive Komplexitätstheorie diagram Institutional model theory interpretation Joint embedding property Modell/Nichtstandardmodell/Sprachgebrauch/Bemerkung Modelltheorie der Aussagenlogik Modelltheorie der Prädikatenlogik Morleyova věta o kategoričnosti Spektralfunktion μιγαδικός αριθμός

[ .. ] → p:statement/P2579 → model theory

<http://www.wikidata.org/entity/statement/Q748349-bdcb7686-4de6-daa8-fc7b-fa22e6a7dfa4>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q189112-1d87d793-4a24-533e-48b8-3e0168091dbc>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q10859910-CD38E047-4430-4BB0-AE1B-BA6C06C13E2A>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q139330116-0afb59f0-46eb-8cea-52be-453b40a03ecb>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q1535225-5400EFF0-B8EE-4710-871A-36743735AC1B>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q7917378-05854B01-C90C-47F9-A218-10AB5A32EE16>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q8002487-CD855286-2B2D-4F77-B34F-88F9D36541ED>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q1851710-EAA43FAD-0394-4ED3-8E8A-76E48E5E92C1>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q139306668-57781da2-4a2e-465b-2759-863c459e337a>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q215111-37bc53f4-429b-4da4-8844-adb443e3d237>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q7086830-e8491d69-4b5f-fbef-dd46-543e01f4ef5b>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q7681116-c03671f5-4944-207c-858a-88934f5923ed>wikibase:BestRank

[ .. ] → p:statement/P279 → model theory

<http://www.wikidata.org/entity/statement/Q6035657-80a15108-465d-1f16-a425-0272acb3f18a>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q10587227-0ea3a3bd-4b6c-b478-005b-b12414086701>wikibase:BestRank

[ .. ] → wdt:P2579 → model theory

elementary embedding estructura (lògica metemàtica) estructura posiblemente infinita homomorphism isomorphism Löwenheim–Skolem theorem oligomorphic group tame group Tarski–Vaught test Theorie Ultraprodukt Vaught conjecture Wilkie's theorem математическая структура

[ .. ] → wdt:P1269 → model theory

existentially closed model 型

[ .. ] → p:statement/P1269 → model theory

<http://www.wikidata.org/entity/statement/Q834884-384faf29-4a9e-8e05-9f6f-7e011322e247>wikibase:BestRank

[ .. ] → wdt:P5137 → model theory

<http://www.wikidata.org/entity/L1585923-S1>http://www.w3.org/ns/lemon/ontolex#LexicalSense

[ .. ] → p:statement/P5137 → model theory

<http://www.wikidata.org/entity/statement/L1585923-S1-608D9AD5-D0ED-4EF0-87FD-A0B630AE6C02>wikibase:BestRank

[ .. ] → wdt:P2650 → model theory

Krzysztof Krupinski

[ .. ] → owl:sameAs → model theory

<http://www.wikidata.org/entity/Q12842819>

[ .. ] → p:statement/P2650 → model theory

<http://www.wikidata.org/entity/statement/Q102390173-72054F2C-8872-4E47-A28E-9279ED66B6C8>wikibase:BestRank

[ .. ] → wdt:P301 → model theory

تصنيف:نظرية النموذج

[ .. ] → p:statement/P301 → model theory

<http://www.wikidata.org/entity/statement/q7451685-98A46CB4-DB4B-4891-9C77-5A50A2D5EA07>wikibase:BestRank
Download as:
RDF/XML JSON-LD Turtle
data from SPARQL endpoint: https://query.wikidata.org/sparql