Institution-independent Model Theory
Author:   Răzvan Diaconescu
Publisher:   Birkhauser Verlag AG
Edition:   Second Edition 2025
ISBN:  

9783031688539


Pages:   568
Publication Date:   06 March 2025
Format:   Hardback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $310.47 Quantity:  
Add to Cart

Share |

Institution-independent Model Theory


Add your own review!

Overview

Full Product Details

Author:   Răzvan Diaconescu
Publisher:   Birkhauser Verlag AG
Imprint:   Birkhauser Verlag AG
Edition:   Second Edition 2025
ISBN:  

9783031688539


ISBN 10:   3031688538
Pages:   568
Publication Date:   06 March 2025
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Table of Contents

- 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.

Reviews

Author Information

Răzvan Diaconescu is a research professor of mathematics at the Simion Stoilow Institute of Mathematics of the Romanian Academy (IMAR).

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

RGJUNE2025

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now