Institution-independent Model Theory
portes grátis
Institution-independent Model Theory
Diaconescu, Razvan
Birkhauser Verlag AG
11/2024
581
Dura
9783031688539
Pré-lançamento - envio 15 a 20 dias após a sua edição
Descrição não disponível.
- Introduction.- Part I Basics.- Categories.- Institutions.- Theories and Models.- Internal Logic.- Part II Advanced Topics.- Model Ultraproducts.- Saturated Models.- Preservation and Axiomatizability.- Interpolation.- Definability.- Part III Extensions.- Institutions with Proofs.- Models with States.- Many-valued Truth Institutions.- Part IV Applications to Computing.- Grothendieck Institutions.- Specification.- Logic Programming.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Mathematical Logic and Foundations;Model Theory;Category Theory;Algebraic Specification;Institution Theory
- Introduction.- Part I Basics.- Categories.- Institutions.- Theories and Models.- Internal Logic.- Part II Advanced Topics.- Model Ultraproducts.- Saturated Models.- Preservation and Axiomatizability.- Interpolation.- Definability.- Part III Extensions.- Institutions with Proofs.- Models with States.- Many-valued Truth Institutions.- Part IV Applications to Computing.- Grothendieck Institutions.- Specification.- Logic Programming.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
