Models, algebras, and proofs: selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá

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. This groundbreaking reference contains a balanced account of recent advances in set theory, model theory, algebraic logic, and proof theory, originally presented at the X Latin American Symposium on Mathematical Logic held in Bogota, Colombia. With over 400 bibliographic references, Models, Algebras, and Proofs will be welcomed by logicians, algebraists, computer scientists, philosophers of mathematics, and upper-level undergraduate and graduate students in these disciplines ABSTRACT. We give a survey of results about absoluteness under forcing extensions (generic absoluteness) and its relationship with forcing axioms.