Skip to content

Models, Algebras, and Proofs (Lecture Notes in Pure and Applied Mathematics)
Stock Photo: Cover May Be Different

Models, Algebras, and Proofs (Lecture Notes in Pure and Applied Mathematics) Paperback - 1998 - 1st Edition

by Caicedo, Xavier


From the publisher

"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."

First line

ABSTRACT. We give a survey of results about absoluteness under forcing extensions (generic absoluteness) and its relationship with forcing axioms.

Details

  • Title Models, Algebras, and Proofs (Lecture Notes in Pure and Applied Mathematics)
  • Author Caicedo, Xavier
  • Binding Paperback
  • Edition number 1st
  • Edition 1
  • Pages Book, 472 pp
  • Language ENG
  • Publisher CRC, New York, New York, U.S.A.
  • Date November 5, 1998
  • ISBN 9780824719708