Category:Model theory

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search
Main Wikipedia article: Model theory.
See also 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; modelo-teorio; modellteori; теория моделей; תורת המודלים; 模型論; 模型論; 模型论; teoria de models; 모형 이론; Malliteoria; Teorìa dij modej; teorie modelů; modeltheorie; teoria dei modelli; মডেল তত্ত্ব; théorie des modèles; 模型論; تيوري موديل; Teorija modela; Teoria modeli; teori model; 模型论; نمونے دا نظریہ; Теорія моделей; Lý thuyết mô hình; теорија на моделите; modeļu teorija; Modelteorie; теорија модела; teorija modelov; teoria dos modelos; teoria dos modelos; 模型论; Modelltheorie; modellteori; modellteori; Məntiqi modelləşdirmə; teoria modelelor; teoría de modelos; тэорыя мадэляў; ماډل تيوري; model theory; نظرية النموذج; 模型论; モデル理論; rama de la lógica matemática que estudia las estructuras matemáticas; 数学の分野の一つ; branche de la logique mathématique; 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; dział logiki matematycznej; תחום במתמטיקה; သင်္ချာတည်ဆောက်ပုံများကို ယုတ္တိဗေဒရှိ ပုံစံတကျ ဘာသာစကားသုံး၍ လေ့လာသည့် သင်္ချာဘာသာခွဲတစ်ရပ်; раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями; 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; 從數理邏輯的角度對數學結構的一類研究; ämnesområde inom logik; 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 authority ID: sh85086421
Bibliothèque nationale de France ID: 119323610
NDL Authority ID: 00567757
BNCF Thesaurus ID: 40654
NL CR AUT ID: ph799924
National Library of Israel J9U 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.