2 résultat(s) recherche sur le mot-clé 'interpretability'

the Lattice of interpretability types of varieties / O.C. Garcia

Public ISBD Titre : the Lattice of interpretability types of varieties Type de document : texte imprimé Auteurs : O.C. Garcia ; W. Taylor Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1984 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 305 Importance : v - 125 p. Langues : Anglais Catégories : 08-XX General algebraic systems:08BXX Varieties :08B05 Equational logic, Mal'tsev conditions 08-XX General algebraic systems:08BXX Varieties :08B15 Lattices of varieties 08-XX General algebraic systems:08BXX Varieties :08B25 Products, amalgamated products, and other kinds of limits and colimits Mots-clés : products of varieties  coproducts  varieties  equational logic  mal'cev conditions  lattice  fundamental operations  terms  language  interpretability Index. décimale : Mem the Lattice of interpretability types of varieties [texte imprimé] / O.C. Garcia ; W. Taylor . - Providence, R.I. : American Mathematical Society, 1984 . - v - 125 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 305) . Langues : Anglais Catégories : 08-XX General algebraic systems:08BXX Varieties :08B05 Equational logic, Mal'tsev conditions 08-XX General algebraic systems:08BXX Varieties :08B15 Lattices of varieties 08-XX General algebraic systems:08BXX Varieties :08B25 Products, amalgamated products, and other kinds of limits and colimits Mots-clés : products of varieties  coproducts  varieties  equational logic  mal'cev conditions  lattice  fundamental operations  terms  language  interpretability Index. décimale : Mem

Exemplaires

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

Metamathematics of first-order arithmetic / Hajek, Petr

Public ISBD Titre : Metamathematics of first-order arithmetic Type de document : texte imprimé Auteurs : Hajek, Petr ; Pudlak, Pavel Mention d'édition : 2nd ed. Editeur : Springer-Verlag Année de publication : 1998 Collection : Perspectives in Mathematical Logic Importance : xiv - 460 p. ISBN/ISSN/EAN : 978-3-540-63648-9 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D15 Complexity of computation 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F30 First-order arithmetic and fragments Mots-clés : consistency  interpretability  witnessing functions  provability  bounded arithmetic  model theory  indicators  conservativity  definable cuts  reflexive theories  self-reference  incompleteness  combinatorics in fragments  recursion theory  partial truth definitions  fragments of arithmetic  foundations of arithmetic of natural numbers Index. décimale : 03C Monographie Metamathematics of first-order arithmetic [texte imprimé] / Hajek, Petr ; Pudlak, Pavel  . -  2nd ed. . - [S.l.] : Springer-Verlag, 1998 . - xiv - 460 p.. - (Perspectives in Mathematical Logic) . ISBN : 978-3-540-63648-9 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D15 Complexity of computation 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F30 First-order arithmetic and fragments Mots-clés : consistency  interpretability  witnessing functions  provability  bounded arithmetic  model theory  indicators  conservativity  definable cuts  reflexive theories  self-reference  incompleteness  combinatorics in fragments  recursion theory  partial truth definitions  fragments of arithmetic  foundations of arithmetic of natural numbers Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13032	03C07	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible