Duality and definability in first order logic / Michael Makkai

• Autore: Makkai, Michael
• Pubblicazione: Providence, : American mathematical society, 1993
• Descrizione fisica: X, 106 p. : ill. ; 26 cm
• Soggetto topico: 03G30 - Categorical logic, topoi [MSC 2020]; 03C20 - Ultraproducts and related constructions [MSC 2020]; 03C40 - Interpolation, preservation, definability [MSC 2020]; 18F60 - Categories of topological spaces and continuous mappings [MSC 2020]; 18N10 - 2-categories, bicategories, double categories [MSC 2020]
• Titolo autorizzato: Duality and definability in first order logic
• ISBN: 08-218-2565-8; 978-08-218-2565-5
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: VAN0053851
• Lo trovi qui: Univ. Vanvitelli
• Localizzazioni e accesso elettronico: /sebina/repository/catalogazione/documenti/Makkai - Duality and Definability in First Order Logic.pdf