Jump to content

Category:Model theory

From Wikimedia Commons, the free media repository
Main article on the English Wikipedia: Model theory.
See also the Wikipedia article: en:Proof theory.

In mathematics, model theory is the study of (classes of) mathematical structures such as groups, fields, graphs or even models of set theory using tools from mathematical logic. Model theory has close ties to algebra and universal algebra.

<nowiki>မိုဒယ်သီအိုရီ; modellelmélet; Θεωρία μοντέλων; մոդելների տեսություն; Загварын онол; teori model; моделдәр теорияһы; Modelltheorie; теория моделей; тэорыя мадэлей; نظریه مدل; Теория на моделите; modelteori; Modeller kuramı; نمونے کا نظریہ; Theoria de modellos; 模型論; modellteori; teoria de models; תורת המודלים; Malliteoria; 模型論; 模型论; modeltheorie; 모형 이론; 模型論; Teorìa dij modej; teorie modelů; teoria modelelor; teoria dei modelli; মডেল তত্ত্ব; théorie des modèles; teoria modeli; تيوري موديل; teori model; Teorija modela; тэорыя мадэляў; теорія моделей; نمونے دا نظریہ; teoria dos modelos; Lý thuyết mô hình; теорија на моделите; modeļu teorija; Modelteorie; теорија модела; teorija modelov; 模型论; teoria dos modelos; 模型论; Modelltheorie; modellteori; modellteori; məntiqi modelləşdirmə; ماډل تيوري; teoría de modelos; modelo-teorio; ทฤษฎีแบบจำลอง; model theory; نظرية النموذج; 模型论; モデル理論; rama de la lógica matemática que estudia las estructuras matemáticas; 数学の分野の一つ; branche de la logique mathématique; သင်္ချာတည်ဆောက်ပုံများကို ယုတ္တိဗေဒရှိ ပုံစံတကျ ဘာသာစကားသုံး၍ လေ့လာသည့် သင်္ချာဘာသာခွဲတစ်ရပ်; ämnesområde inom logik; dział logiki matematycznej; תחום במתמטיקה; studi tentang hubungan antara teori formal (kumpulan kalimat dalam bahasa formal mengungkapkan pernyataan tentang struktur matematika), dan modelnya, diambil sebagai interpretasi yang memenuhi kalimat teori tersebut; раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями; Deelgebitt vun der Mathematescher Logik; Teilgebiet der mathematischen Logik; estudo da representação matemática e inferência de sistemas lógicos mediante interpretação semântica e axiomática; study of classes of mathematical structures from the perspective of mathematical logic; studfako de matematika logiko; 從數理邏輯的角度對數學結構的一類研究; розділ математичної логіки, займається вивченням зв’язку між формальними мовами та їх інтерпретаціями; Model Teorisi; モデル論; teoria de modelos; лягічная мадэль; моделей теория; логическая модель; Teorìa dij modèj; 모델론; 모델 이론; 모형론; Teoria de modelos; тэорыя мадэляў; modelteorio; modeloteorio; نظريه النموذج; نظریهٔ مدل; تئوری مدل; مدل</nowiki>
model theory 
study of classes of mathematical structures from the perspective of mathematical logic
Upload media
Instance of
  • mathematical theory
Subclass of
Part of
Authority file
Wikidata Q467606
GND ID: 4114617-7
Library of Congress Authorities ID: sh85086421
Bibliothèque nationale de France ID: 119323610
NDL Authority ID: 00567757
BNCF Thesaurus ID: 40654
NL CR AUT ID: ph799924
J9U entity ID: 987007541020605171
Edit infobox data on Wikidata

Subcategories

This category has the following 2 subcategories, out of 2 total.

 

C

Media in category "Model theory"

The following 6 files are in this category, out of 6 total.