fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf

Site Breadcrumb

Verkauf durch Sack Fachmedien

Caicedo / Montenegro

Models, Algebras, and Proofs

Medium: Buch
ISBN: 978-0-8247-1970-8
Verlag: CRC Press
Erscheinungstermin: 05.11.1998
In den Warenkorb
Lieferfrist: bis zu 10 Tage
Auf die Merkliste Drucken

Kundenservice

Telefon: +49 69 943 329 50
E-Mail: webshop@sack.de

» Kontaktformular

Bücher

Unsere Bücher sind versandkostenfrei erhältlich

Rücksendung

kostenlose Rücksendungen für Bücher

Noch Fragen?

Unser Kundenservice hilft gerne weiter
"Contains a balanced account of recent advances in set theory, model theory, algebraic logic, and proof theory, originally presented at the Tenth Latin American Symposium on Mathematical Logic held in Bogata, Columbia. Traces new interactions among logic, mathematics, and computer science. Features original research from over 30 well-known experts worldwide."

Produkteigenschaften

  • Artikelnummer: 9780824719708
  • Medium: Buch
  • ISBN: 978-0-8247-1970-8
  • Verlag: CRC Press
  • Erscheinungstermin: 05.11.1998
  • Sprache(n): Englisch
  • Auflage: 1. Auflage 1998
  • Serie: Lecture Notes in Pure and Applied Mathematics
  • Produktform: Kartoniert
  • Gewicht: 816 g
  • Seiten: 472
  • Format (B x H x T): 178 x 251 x 22 mm
  • Ausgabetyp: Kein, Unbekannt

Themen

Autoren/Hrsg.

Autoren

Caicedo, Xavier

Herausgeber

Caicedo, Xavier

Montenegro, Carlos

Set theory - generic absoluteness and forcing axioms; partition of the reals and choice; analogues of the MacDowell-Specker theorem for set theory; strict genericity; weak versions of the axiom of choice for families of finite sets; heights of models of ZFC and the existence of end elementary extensions; model theory; on the (infinite) model theory of fixed point logics; stable Banach spaces and Banach space structures; induction, games, and linear orderings; query completeness, distinguishability, and rational machines. Algebraic logic - ideals in quasivarieties of algebras; amalgamation and interpolation in abstract algebraic logic; symmetric intuitionistic connectives; matrix semantics for annotated logics; twenty questions with many-valued answers; Monadic De Morgan algebras. Proof systems -inductive theorem proving in hierarchical conditional specifications; general combinatorial principles in second order bounded arithmetic; towards an information logic; standardizing the N systems of Gentzen; translations between logics.