01605nam0 2200337 i 450 VAN005385120231219041917.98708-218-2565-8978-08-218-2565-520061002d1993 |0itac50 baengUS|||| |||||Duality and definability in first order logicMichael MakkaiProvidenceAmerican mathematical society1993X, 106 p.ill.26 cm03G30Categorical logic, topoi [MSC 2020]VANC024384MF03C20Ultraproducts and related constructions [MSC 2020]VANC024508MF03C40Interpolation, preservation, definability [MSC 2020]VANC024509MF18F60Categories of topological spaces and continuous mappings [MSC 2020]VANC028768MF18N102-categories, bicategories, double categories [MSC 2020]VANC035918MFUSProvidenceVANL000273MakkaiMichaelVANV04255355822American mathematical societyVANV108732650ITSOL20231222RICA/sebina/repository/catalogazione/documenti/Makkai - Duality and Definability in First Order Logic.pdfContentsBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0053851BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 2586 08 7214 I 20061002 Duality and definability in first order logic1427092UNICAMPANIA