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