Model theory
label: 모형 이론 @ko
label: Teori model @in
label: Modeltheorie @nl
label: Théorie des modèles @fr
label: Teoria dos modelos @pt
label: Teoria de models @ca
label: Teoria modeli @pl
label: Teoria dei modelli @it
label: Modellteori @sv
label: Teorie modelů @cs
label: نظرية النموذج @ar
label: 模型论 @zh
label: Θεωρία μοντέλων @el
label: モデル理論 @ja
label: Теория моделей @ru
label: Teoría de modelos @es
label: Теорія моделей @uk
label: Modelltheorie @de
label: Modeloteorio @eo
subject: Category:Mathematical proofs
subject: Category:Mathematical logic
subject: Category:Model theory
id: p/m064390
description: branche de la logique mathématique @fr
description: သင်္ချာတည်ဆောက်ပုံများကို ယုတ္တိဗေဒရှိ ပုံစံတကျ ဘာသာစကားသုံး၍ လေ့လာသည့် သင်္ချာဘာသာခွဲတစ်ရပ် @my
description: rama de la lógica matemática que estudia las estructuras matemáticas @es
description: раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями @ru
description: studfako de matematika logiko @eo
description: תחום במתמטיקה @iw
description: Teilgebiet der mathematischen Logik @de
description: 数学の分野の一つ @ja
description: розділ математичної логіки, займається вивченням зв’язку між формальними мовами та їх інтерпретаціями @uk
description: study of classes of mathematical structures from the perspective of mathematical logic
description: 從數理邏輯的角度對數學結構的一類研究 @zh
description: ämnesområde inom logik @sv
description: dział logiki matematycznej @pl
description: 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 @in
description: Deelgebitt vun der Mathematescher Logik @lb
description: estudo da representação matemática e inferência de sistemas lógicos mediante interpretação semântica e axiomática @pt
wiki page external link: https://archive.org/details/mathematicallogi1996ebbi
wiki page external link: https://web.archive.org/web/20110522083749/http:/www.cs.man.ac.uk/~hsimmons/BOOKS/ModelTheory.pdf
wiki page external link: http://plato.stanford.edu/entries/model-theory/
wiki page external link: https://archive.org/details/courseinmodelthe0000poiz
wiki page external link: https://www3.nd.edu/~apillay/pdf/lecturenotes_modeltheory.pdf
wiki page external link: http://plato.stanford.edu/entries/modeltheory-fo/
wiki page external link: http://projecteuclid.org/euclid.pl/1235417263
wiki page external link: https://archive.org/details/modeltheory0000hodg
wiki page external link: http://www.math.ens.fr/~zchatzid/papiers/MTluminy.pdf
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/T-schema
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Cambridge_University_Press
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Michael_D._Morley
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Zariski_topology
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Logic
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Independence_(mathematical_logic)
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Löwenheim–Skolem_theorem
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Online_machine_learning
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Gödel's_incompleteness_theorems
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Probably_approximately_correct_learning
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Jon_Barwise
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Zermelo-Fraenkel_set_theory
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Diophantine_geometry
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Limit_ordinal
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Irreducible_element
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Hyperreal_number
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Open_set
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Countable
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Proof_theory
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Algebraic_theory
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Elementary_extension
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Formal_system
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Forcing_(mathematics)
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Constructible_topology
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Signature_(logic)
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Formal_language_theory
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Real_closed_field
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Czesław_Ryll-Nardzewski
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Ultraproducts
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Computable_model_theory
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Non-logical_symbols