Duality and definability in first order logic / Michael Makkai

Public ISBD Titre : Duality and definability in first order logic Type de document : texte imprimé Auteurs : Michael Makkai Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1993 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 503 Importance : 106 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03CXX Model theory:03C20 Ultraproducts and related constructions 03-XX Mathematical logic and foundations:03CXX Model theory:03C40 Interpolation, preservation, definability 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 18-XX Category theory; homological algebra :18BXX Special categories:18B25 Topoi Mots-clés : boolean pretoposes  stone-type adjunction  duality  beth's theorem for propositional logic  definable functors  factorizations in 2-categories  category of models  ultraproduct  definability  first order logic Index. décimale : Mem Duality and definability in first order logic [texte imprimé] / Michael Makkai . - Providence, R.I. : American Mathematical Society, 1993 . - 106 p. . - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 503) . Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03CXX Model theory:03C20 Ultraproducts and related constructions 03-XX Mathematical logic and foundations:03CXX Model theory:03C40 Interpolation, preservation, definability 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 18-XX Category theory; homological algebra :18BXX Special categories:18B25 Topoi Mots-clés : boolean pretoposes  stone-type adjunction  duality  beth's theorem for propositional logic  definable functors  factorizations in 2-categories  category of models  ultraproduct  definability  first order logic Index. décimale : Mem

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
15096	Mem/503	imprimé / autre	CRDM	Mem/MEMOIRS AMS	Disponible

The use of ultraproducts in commutative algebra / Hans Schoutens

Public ISBD Titre : The use of ultraproducts in commutative algebra Type de document : texte imprimé Auteurs : Hans Schoutens, Auteur Editeur : Springer-Verlag Année de publication : 2010 Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 1999 Importance : x - 204 p. Format : 24 cm ISBN/ISSN/EAN : 978-3-642-13367-1 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03CXX Model theory:03C20 Ultraproducts and related constructions 13-XX Commutative rings and algebras:13-02 Research exposition (monographs, survey articles) 13-XX Commutative rings and algebras:13AXX General commutative ring theory:13A35 Characteristic $p$ methods (Frobenius endomorphism) and reduction to characteristic $p$ ; tight closure Mots-clés : ultraproduct  flatness  tight closure  Artin approximation  Lefschetz principle  homological conjectures Index. décimale : LNM The use of ultraproducts in commutative algebra [texte imprimé] / Hans Schoutens, Auteur . - [S.l.] : Springer-Verlag, 2010 . - x - 204 p. ; 24 cm. - (Lecture Notes in Mathematics, ISSN 0075-8434; 1999) . ISBN : 978-3-642-13367-1 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03CXX Model theory:03C20 Ultraproducts and related constructions 13-XX Commutative rings and algebras:13-02 Research exposition (monographs, survey articles) 13-XX Commutative rings and algebras:13AXX General commutative ring theory:13A35 Characteristic $p$ methods (Frobenius endomorphism) and reduction to characteristic $p$ ; tight closure Mots-clés : ultraproduct  flatness  tight closure  Artin approximation  Lefschetz principle  homological conjectures Index. décimale : LNM

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
20224	LNM/1999	imprimé / autre	CRDM	LNM/LECTURES NOTES IN MATHEMATICS	Disponible

---

page 1/1