What model companionship can say about the Continuum problem

zbMatharXiv:2204.13756MaRDI QIDQ6507818

Matteo Viale, Giorgio Venturi

Publication date: 1 January 1

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Consistency and independence results (03E35) Continuum hypothesis and Martin's axiom (03E50) Quantifier elimination, model completeness, and related topics (03C10) Model-theoretic forcing (03C25) Generic absoluteness and forcing axioms (03E57)

This page was built for publication: What model companionship can say about the Continuum problem