search

OpenLogicProject / OpenLogic

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

Typo in 'Successor and Limit Ordinals' #295

Closed bjrtx closed 2 years ago

bjrtx commented 2 years ago

https://github.com/OpenLogicProject/OpenLogic/blob/492ee1e66827f67a9dc0bf449104043dc93a314f/content/set-theory/ordinals/opps.tex#L13-L14

ought to be: for some ordinal $\beta$

rzach commented 2 years ago

Thanks!