| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNICAMPANIAVAN0053851 |
|
|
Autore |
Makkai, Michael |
|
|
Titolo |
Duality and definability in first order logic / Michael Makkai |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Providence, : American mathematical society, 1993 |
|
|
|
|
|
|
|
ISBN |
|
08-218-2565-8 |
978-08-218-2565-5 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Soggetti |
|
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] |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
| |