Relating forcing relations

Documenti analoghi

• Gelfand-Kirillov conjecture as a first-order formula
  di: Mariano, Hugo Luiz, et al.
  Pubblicazione: (2020)
• On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
  di: Herbelin, Hugo
  Pubblicazione: (2024)
• Pitts and Intuitionistic Multi-Succedent: Uniform Interpolation for KM
  di: Férée, Hugo, et al.
  Pubblicazione: (2026)
• Classification of Boolean Algebras through von Neumann regular $\mathcal{C}^{\infty}-$Rings
  di: Berni, Jean Cerqueira, et al.
  Pubblicazione: (2024)
• Squares, ultrafilters and forcing axioms
  di: Lambie-Hanson, Chris, et al.
  Pubblicazione: (2024)