OpenLogicProject / OpenLogic

An open-source, customizable intermediate logic textbook
http://openlogicproject.org/
Creative Commons Attribution 4.0 International
1.08k stars 242 forks source link

Typo in Lindenbaum's lemma proof #364

Closed marethyu closed 9 months ago

marethyu commented 9 months ago

The most convenient way to report a typo should reference the file and line number where the typo occurs:

Alternatively describe the location of the typo (page #, "after Theorem 5.1", etc., and mention which PDF you are referencing)

Typo location:

pg. 232

What is the typo:

In the last sentence of the third paragraph in the proof of Lindenbaum's lemma, I believe \subseteq\Gamma_{n+1} should be \Gamma_i\subseteq\Gamma_{n+1}.

rzach commented 9 months ago

Thanks!