@article{CORa,
  author  = {Camargo, Javier and Ordo{\~n}ez, Norberto and Ram{\'\i}rez, Diego},
  title   = {On the hyperspaces of meager and regular continua},
  journal = {Appl. Gen. Topol.},
  volume  = {25},
  number  = {2},
  year    = {2024},
  pages   = {385--406},
  doi     = {10.4995/agt.2024.20116}
}
@article{Ord18,
  author  = {Ordo{\~n}ez, Norberto},
  title   = {The hyperspace of regular subcontinua},
  journal = {Topology Appl.},
  volume  = {234},
  year    = {2018},
  pages   = {415--427},
  doi     = {10.1016/j.topol.2017.11.038}
}
@article{Ord21,
  author  = {Ordo{\~n}ez, Norberto},
  title   = {Hyperspaces through regular and meager subcontinua},
  journal = {Topology Appl.},
  volume  = {300},
  year    = {2021},
  pages   = {Paper No. 107760},
  doi     = {10.1016/j.topol.2021.107760}
}
@misc{Ram23,
  author       = {Ram{\'\i}rez Angarita, Diego Alex{\'a}nder},
  title        = {Los hiperespacios de subcontinuos regulares y subcontinuos magros},
  howpublished = {Undergraduate thesis (Matem{\'a}tico), Universidad Industrial de Santander, Bucaramanga},
  year         = {2023},
  note         = {Available at \url{https://noesis.uis.edu.co/entities/publication/cd4f0fe6-ec75-47d8-8e0a-617149375321}}
}
@misc{AdAirr,
  author       = {Alves de Almeida, Lucas},
  title        = {A continuum whose hyperspace of regular subcontinua is homeomorphic to the irrationals},
  howpublished = {Preprint, Hexagon 2610.00570v1},
  year         = {2026},
  note         = {Available at \url{https://hexagonmath.org/pdf/2610.00570v1}}
}
@misc{AdAfin,
  author       = {Alves de Almeida, Lucas},
  title        = {All finite cardinalities of the hyperspace of regular subcontinua},
  howpublished = {Preprint, Hexagon 2610.00546v1},
  year         = {2026},
  note         = {Available at \url{https://hexagonmath.org/2610.00546v1}}
}
@book{IN,
  author    = {Illanes, Alejandro and Nadler, Jr., Sam B.},
  title     = {Hyperspaces: Fundamentals and Recent Advances},
  series    = {Monographs and Textbooks in Pure and Applied Mathematics},
  volume    = {216},
  publisher = {Marcel Dekker},
  address   = {New York},
  year      = {1999}
}
@book{Nadler,
  author    = {Nadler, Jr., Sam B.},
  title     = {Continuum Theory: An Introduction},
  series    = {Monographs and Textbooks in Pure and Applied Mathematics},
  volume    = {158},
  publisher = {Marcel Dekker},
  address   = {New York},
  year      = {1992}
}
@book{Kechris,
  author    = {Kechris, Alexander S.},
  title     = {Classical Descriptive Set Theory},
  series    = {Graduate Texts in Mathematics},
  volume    = {156},
  publisher = {Springer-Verlag},
  address   = {New York},
  year      = {1995}
}
@book{Engelking,
  author    = {Engelking, Ryszard},
  title     = {General Topology},
  edition   = {Second},
  series    = {Sigma Series in Pure Mathematics},
  volume    = {6},
  publisher = {Heldermann Verlag},
  address   = {Berlin},
  year      = {1989}
}

@incollection{Lean4,
  author    = {de Moura, Leonardo and Ullrich, Sebastian},
  title     = {The {L}ean 4 theorem prover and programming language},
  booktitle = {Automated Deduction -- CADE 28},
  series    = {Lecture Notes in Computer Science},
  volume    = {12699},
  publisher = {Springer},
  address   = {Cham},
  year      = {2021},
  pages     = {625--635},
}

@inproceedings{Mathlib,
  author    = {{The mathlib Community}},
  title     = {The {L}ean mathematical library},
  booktitle = {Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2020)},
  publisher = {ACM},
  address   = {New York},
  year      = {2020},
  pages     = {367--381},
}