Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Duality and definability in first order logic / Michael Makkai
| Duality and definability in first order logic / Michael Makkai |
| Autore | Makkai, Michael |
| Pubbl/distr/stampa | 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] |
| ISBN |
08-218-2565-8
8-0-8218-2565-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0053851 |
Makkai, Michael
|
||
| Providence, : American mathematical society, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Duality and definability in first order logic / Michael Makkai
| Duality and definability in first order logic / Michael Makkai |
| Autore | Makkai, Michael |
| Pubbl/distr/stampa | 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] |
| ISBN |
08-218-2565-8
978-08-218-2565-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0053851 |
|
Makkai, Michael
|
||
| Providence, : American mathematical society, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Duality and definability in first order logic / Michael Makkai
| Duality and definability in first order logic / Michael Makkai |
| Autore | Makkai, Michael |
| Pubbl/distr/stampa | Providence, : American mathematical society, 1993 |
| Descrizione fisica | X, 106 p. : ill. ; 26 cm |
| Soggetto topico |
03C20 - Ultraproducts and related constructions [MSC 2020]
03C40 - Interpolation, preservation, definability [MSC 2020] 03G30 - Categorical logic, topoi [MSC 2020] 18F60 - Categories of topological spaces and continuous mappings [MSC 2020] 18N10 - 2-categories, bicategories, double categories [MSC 2020] |
| ISBN |
08-218-2565-8
978-08-218-2565-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00053851 |
|
Makkai, Michael
|
||
| Providence, : American mathematical society, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Soggetto topico
- 03C20 - Ultraproducts and related constructions [MSC 2020] (3)
-
03C40 - Interpolation, preservation, definability [MSC 2020]
(3)
- 03G30 - Categorical logic, topoi [MSC 2020] (3)
- 18F60 - Categories of topological spaces and continuous mappings [MSC 2020] (3)
- 18N10 - 2-categories, bicategories, double categories [MSC 2020] (3)