Laver forcing and converging sequences

DOI10.1016/J.APAL.2023.103247MaRDI QIDQ6073895zbMATH OpenFDO

Authors Alan Dow

Publication date 12 October 2023

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.APAL.2023.103247

zbMATH Keywords

Efimov spaceLaver forcing

Mathematics Subject Classification ID

Consistency and independence results (03E35) Applications of set theory (03E75) Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20) Consistency and independence results in general topology (54A35)

Cites work

• Boolean algebras as unions of chains of subalgebras
• Compact sets without converging sequences in the random real model
• scientific article; zbMATH DE number 3678745 (Why is no real title available?)
• scientific article; zbMATH DE number 3894002 (Why is no real title available?)
• scientific article; zbMATH DE number 3324453 (Why is no real title available?)
• On the consistency of Borel's conjecture
• Proper forcing
• Set theory. An introduction to independence proofs
• Small cardinals and small Efimov spaces
• Two Classes of Frechet-Urysohn Spaces

Cited in

(1)

• Convergence of measures after adding a real

This page was built for publication: Laver forcing and converging sequences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6073895)