@article{AdamDayEtAl2024,
  author  = {Adam-Day, Sam and Bezhanishvili, Nick and Gabelaia, David and Marra, Vincenzo},
  title   = {Polyhedral Completeness of Intermediate Logics: The Nerve Criterion},
  journal = {The Journal of Symbolic Logic},
  year    = {2024},
  volume  = {89},
  number  = {1},
  pages   = {342--382},
  doi     = {10.1017/jsl.2022.76}
}

@article{BezhanishviliEtAl2021,
  author  = {Bezhanishvili, Guram and Bezhanishvili, Nick and Moraschini, Tommaso and Stronkowski, Micha{\l}},
  title   = {Profiniteness and Representability of Spectra of {Heyting} Algebras},
  journal = {Advances in Mathematics},
  year    = {2021},
  volume  = {391},
  pages   = {107959},
  doi     = {10.1016/j.aim.2021.107959}
}

@article{DeGrootPattinson2022,
  author        = {de Groot, Jim and Pattinson, Dirk},
  title         = {{Hennessy--Milner} Properties via Topological Compactness},
  journal       = {Information and Computation},
  year          = {2022},
  volume        = {287},
  pages         = {104757},
  doi           = {10.1016/j.ic.2021.104757},
  eprint        = {2105.01855},
  archivePrefix = {arXiv},
  primaryClass  = {math.LO}
}

@article{Hamkins2026,
  author        = {Hamkins, Joel David},
  title         = {A Potentialist Conception of Ultrafinitism},
  journal       = {Philosophia Mathematica},
  year          = {2026},
  eid           = {nkag010},

  doi           = {10.1093/philmat/nkag010},
  eprint        = {2512.06564},
  archivePrefix = {arXiv},
  primaryClass  = {math.LO}
}

@inproceedings{Patterson1997,
  author    = {Patterson, Anna},
  title     = {Bisimulation and Propositional Intuitionistic Logic},
  booktitle = {{CONCUR} '97: Concurrency Theory},
  editor    = {Mazurkiewicz, Antoni and Winkowski, J{\'o}zef},
  series    = {Lecture Notes in Computer Science},
  volume    = {1243},
  year      = {1997},
  publisher = {Springer},
  address   = {Berlin, Heidelberg},
  pages     = {347--360},
  doi       = {10.1007/3-540-63141-0_24}
}

@article{Statman1979,
  author  = {Statman, Richard},
  title   = {Intuitionistic Propositional Logic Is Polynomial-Space Complete},
  journal = {Theoretical Computer Science},
  year    = {1979},
  volume  = {9},
  pages   = {67--72},
  doi     = {10.1016/0304-3975(79)90006-9}
}

@book{TroelstraVanDalen1988,
  author    = {Troelstra, Anne Sjerp and van Dalen, Dirk},
  title     = {Constructivism in Mathematics: An Introduction. Volume I},
  series    = {Studies in Logic and the Foundations of Mathematics},
  volume    = {121},
  publisher = {North-Holland},
  address   = {Amsterdam},
  year      = {1988},
  isbn      = {0-444-70266-0}
}

@article{VanDenBerg2019,
  author  = {van den Berg, Benno},
  title   = {A {Kuroda}-style {$j$}-translation},
  journal = {Archive for Mathematical Logic},
  year    = {2019},
  volume  = {58},
  number  = {5--6},
  pages   = {627--634},
  doi     = {10.1007/s00153-018-0656-x}
}

@article{Wright1982,
  author  = {Wright, Crispin},
  title   = {Strict Finitism},
  journal = {Synthese},
  year    = {1982},
  volume  = {51},
  number  = {2},
  pages   = {203--282},
  doi     = {10.1007/BF00413828}
}

@article{Yamada2023,
  author  = {Yamada, Takahiro},
  title   = {{Wright}'s Strict Finitistic Logic in the Classical Metatheory: The Propositional Case},
  journal = {Journal of Philosophical Logic},
  year    = {2023},
  volume  = {52},
  number  = {4},
  pages   = {1081--1100},
  doi     = {10.1007/s10992-022-09698-w}
}

@article{Yamada2025,
  author  = {Yamada, Takahiro},
  title   = {{Wright}'s First-Order Logic of Strict Finitism},
  journal = {Studia Logica},
  year    = {2025},
  volume  = {113},
  number  = {6},
  pages   = {1615--1668},
  doi     = {10.1007/s11225-024-10137-x}
}