This HTML5 document contains 174 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-elhttp://el.dbpedia.org/resource/
n56http://bn.dbpedia.org/resource/
n24http://id.ndl.go.jp/auth/ndlna/
n52http://www.yso.fi/onto/yso/
n63https://www.zhihu.com/topic/
dbpedia-svhttp://sv.dbpedia.org/resource/
n55http://purl.org/bncf/tid/
n27http://ia.dbpedia.org/resource/
dbpedia-bghttp://bg.dbpedia.org/resource/
dbpedia-fihttp://fi.dbpedia.org/resource/
dbrhttp://dbpedia.org/resource/
dbpedia-hrhttp://hr.dbpedia.org/resource/
n45http://my.dbpedia.org/resource/
dbpedia-arhttp://ar.dbpedia.org/resource/
n11http://fr.dbpedia.org/resource/Modèle:
n50https://bigenc.ru/text/
dbpedia-hehttp://he.dbpedia.org/resource/
n23http://msc2010.org/resources/MSC/2010/
n46http://commons.wikimedia.org/wiki/Special:FilePath/
dbpedia-frhttp://fr.dbpedia.org/resource/
n37https://www.britannica.com/topic/
dbpedia-pmshttp://pms.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
rdfshttp://www.w3.org/2000/01/rdf-schema#
dbpedia-cshttp://cs.dbpedia.org/resource/
n13http://g.co/kg/m/
n35https://d-nb.info/gnd/
dbpedia-azhttp://az.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n41https://id.loc.gov/authorities/names/
n47http://mikael.cozic.free.fr/
dbpedia-eohttp://eo.dbpedia.org/resource/
n8http://ur.dbpedia.org/resource/
n32http://fr.dbpedia.org/resource/Fichier:
xsdhhttp://www.w3.org/2001/XMLSchema#
n34http://www.universalis.fr/encyclopedie/
dbpedia-idhttp://id.dbpedia.org/resource/
dbpedia-ukhttp://uk.dbpedia.org/resource/
n67http://ma-graph.org/entity/
prop-frhttp://fr.dbpedia.org/property/
dbpedia-pnbhttp://pnb.dbpedia.org/resource/
dbohttp://dbpedia.org/ontology/
n68http://data.bnf.fr/ark:/12148/cb119323610#
n58https://ncatlab.org/nlab/show/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-huhttp://hu.dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/
n53http://ps.dbpedia.org/resource/
dbpedia-dehttp://de.dbpedia.org/resource/
dbpedia-plhttp://pl.dbpedia.org/resource/
dbpedia-ruhttp://ru.dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
n10http://plato.stanford.edu/entries/
dbpedia-afhttp://af.dbpedia.org/resource/
dbpedia-nlhttp://nl.dbpedia.org/resource/
n49https://commons.wikimedia.org/wiki/Category:
dbpedia-ithttp://it.dbpedia.org/resource/
dbpedia-cahttp://ca.dbpedia.org/resource/
provhttp://www.w3.org/ns/prov#
n40https://www.jstor.org/topic/
foafhttp://xmlns.com/foaf/0.1/
wikipedia-frhttp://fr.wikipedia.org/wiki/
dbpedia-zhhttp://zh.dbpedia.org/resource/
n22http://psh.ntkcz.cz/skos/
dbpedia-kohttp://ko.dbpedia.org/resource/
dbpedia-fahttp://fa.dbpedia.org/resource/
dbpedia-trhttp://tr.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
owlhttp://www.w3.org/2002/07/owl#

Statements

Subject Item
dbpedia-fr:Théorie_des_modèles
rdfs:label
Modeltheorie Théorie des modèles Modelteorie Teoría de modelos Modelltheorie Теорія моделей Teoria de models モデル理論
rdfs:comment
La théorie des modèles est une branche de la logique mathématique qui traite de la construction et de la classification des structures. Elle définit en particulier les modèles des théories axiomatiques, l'objectif étant d'interpréter les structures syntaxiques (termes, formules, démonstrations...) dans des structures mathématiques (ensemble des entiers naturels, groupes, univers...) de façon à leur associer des concepts de nature sémantique (comme le sens ou la vérité).
rdfs:seeAlso
n10:model-theory n22:PSH7113 n34:theorie-des-modeles n37:model-theory n40:model-theory n49:Model_theory n50:2221563 n34:verite-mathematique n58:model_theory n63:19650017
owl:sameAs
dbpedia-uk:Теорія_моделей dbpedia-nl:Modeltheorie n8:نمونے_کا_نظریہ dbpedia-pt:Teoria_dos_modelos n13:04_lr dbpedia-af:Modelteorie dbpedia-pms:Teorìa_dij_modej dbpedia-tr:Model_teorisi dbpedia-ko:모형_이론 dbpedia-cs:Teorie_modelů dbpedia-eo:Modeloteorio dbpedia-fi:Malliteoria dbpedia-el:Θεωρία_μοντέλων n23:03Cxx n24:00567757 dbpedia-hr:Teorija_modela dbr:Model_theory n27:Theoria_de_modellos dbpedia-bg:Теория_на_моделите dbpedia-ca:Teoria_de_models dbpedia-pl:Teoria_modeli dbpedia-de:Modelltheorie dbpedia-sv:Modellteori n35:4114617-7 dbpedia-ja:モデル理論 n41:sh85086421 dbpedia-it:Teoria_dei_modelli n45:မိုဒယ်သီအိုရီ dbpedia-es:Teoría_de_modelos n52:p15195 n53:ماډل_تيوري dbpedia-fa:نظریه_مدل n55:40654 n56:মডেল_তত্ত্ব dbpedia-pnb:نمونے_دا_نظریہ dbpedia-az:Məntiqi_modelləşdirmə dbpedia-ar:نظرية_النموذج dbpedia-hu:Modellelmélet dbpedia-he:תורת_המודלים dbpedia-zh:模型论 dbpedia-id:Teori_model wikidata:Q467606 n67:47030870 n68:about dbpedia-ru:Теория_моделей
dbo:wikiPageID
197983
dbo:wikiPageRevisionID
190823333
dbo:wikiPageWikiLink
dbpedia-fr:Nombre_complexe dbpedia-fr:Axiome_de_l'infini dbpedia-fr:Schéma_d'axiomes_de_remplacement dbpedia-fr:Thoralf_Skolem dbpedia-fr:Classe_(mathématiques) dbpedia-fr:Carl_Friedrich_Gauss dbpedia-fr:Euclide dbpedia-fr:Corps_algébriquement_clos dbpedia-fr:Antinomie dbpedia-fr:Henri_Poincaré dbpedia-fr:Structure_(logique_mathématique) dbpedia-fr:Elsevier dbpedia-fr:Leopold_Löwenheim dbpedia-fr:Logique_classique dbpedia-fr:Logique_d'ordre_supérieur dbpedia-fr:Calcul_des_prédicats n32:Geodes.GIF dbpedia-fr:Calcul_des_propositions dbpedia-fr:Quantificateur_(logique) dbpedia-fr:Logique dbpedia-fr:Structure_(mathématiques) dbpedia-fr:Théorème_de_compacité dbpedia-fr:Bijection dbpedia-fr:Théorème_de_complétude_(calcul_des_propositions) dbpedia-fr:Théorème_de_complétude_de_Gödel dbpedia-fr:Univers_(logique) dbpedia-fr:Interprétation_(logique) dbpedia-fr:Produit_cartésien dbpedia-fr:Howard_Jerome_Keisler dbpedia-fr:Théorie_complète dbpedia-fr:Théorie_des_ensembles dbpedia-fr:Chen_Chung_Chang dbpedia-fr:Loi_de_Peirce dbpedia-fr:Jean-Robert_Argand dbpedia-fr:Demi-plan_de_Poincaré dbpedia-fr:Groupe_(mathématiques) dbpedia-fr:Modèle_non_standard_de_l'arithmétique dbpedia-fr:Modèle_non_standard dbpedia-fr:Équipotence dbpedia-fr:Théorie_de_la_vérité-correspondance dbpedia-fr:Transformation_géométrique dbpedia-fr:Plan_complexe dbpedia-fr:Entier_naturel dbpedia-fr:Skolémisation dbpedia-fr:Variable_libre dbpedia-fr:Arité dbpedia-fr:Valeur_de_vérité dbpedia-fr:Nombre_ordinal category-fr:Théorie_des_modèles dbpedia-fr:Axiome_des_parallèles dbpedia-fr:Déduction_naturelle dbpedia-fr:Axiome_du_choix dbpedia-fr:Théorie dbpedia-fr:Axiomes_de_Peano dbpedia-fr:Ensemble_dénombrable dbpedia-fr:Récurrence_transfinie dbpedia-fr:Géométrie_euclidienne dbpedia-fr:Géométrie_hyperbolique dbpedia-fr:Logique_minimale dbpedia-fr:Sémantique_de_Kripke dbpedia-fr:Sémantique_dénotationnelle dbpedia-fr:Adrien-Quentin_Buée dbpedia-fr:Tautologie dbpedia-fr:Type_(théorie_des_modèles) dbpedia-fr:David_Hilbert dbpedia-fr:Logique_mathématique dbpedia-fr:Logique_intuitionniste dbpedia-fr:Augustin_Louis_Cauchy dbpedia-fr:Arithmétique_du_second_ordre dbpedia-fr:Théorème_de_Löwenheim-Skolem dbpedia-fr:Nombre_cardinal dbpedia-fr:Géométrie_non_euclidienne dbpedia-fr:Logique_épistémique dbpedia-fr:Alfred_Tarski
dbo:wikiPageExternalLink
n47:CogQR.pdf
dbo:wikiPageLength
31481
dct:subject
category-fr:Théorie_des_modèles
prop-fr:wikiPageUsesTemplate
n11:XVIIe_siècle n11:Ouvrage n11:Palette n11:, n11:Portail n11:Référence_nécessaire n11:Références n11:Google_Livres n11:Voir_homonymes n11:E n11:Mvar n11:ISBN n11:Lien
prov:wasDerivedFrom
wikipedia-fr:Théorie_des_modèles?oldid=190823333&ns=0
foaf:depiction
n46:Geodes.gif
prop-fr:année
1990
prop-fr:annéePremièreÉdition
1973
prop-fr:auteur
dbpedia-fr:Howard_Jerome_Keisler dbpedia-fr:Chen_Chung_Chang
prop-fr:collection
Studies in Logic and the Foundations of Mathematics
prop-fr:fr
Théorie stable
prop-fr:isbn
978
prop-fr:langue
en
prop-fr:lieu
Amsterdam/New York/New York, NY, USA
prop-fr:titre
Model Theory
prop-fr:trad
Stable theory
prop-fr:éditeur
dbpedia-fr:Elsevier
prop-fr:numéroD'édition
3
dbo:thumbnail
n46:Geodes.gif?width=300
foaf:isPrimaryTopicOf
wikipedia-fr:Théorie_des_modèles
dbo:abstract
La théorie des modèles est une branche de la logique mathématique qui traite de la construction et de la classification des structures. Elle définit en particulier les modèles des théories axiomatiques, l'objectif étant d'interpréter les structures syntaxiques (termes, formules, démonstrations...) dans des structures mathématiques (ensemble des entiers naturels, groupes, univers...) de façon à leur associer des concepts de nature sémantique (comme le sens ou la vérité).