-
-
Notifications
You must be signed in to change notification settings - Fork 31
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#958 In FormalizedFormalLogic/Foundation;
Carneiro's Result in FFL
set theoryRelated to formalized set theory (ZF, forcing, ordinals, etc.)Related to formalized set theory (ZF, forcing, ordinals, etc.)Status: Open.#947 In FormalizedFormalLogic/Foundation;- Status: Open.#940 In FormalizedFormalLogic/Foundation;
- Status: Open.#933 In FormalizedFormalLogic/Foundation;
Slaman 2004
arithmeticRelated to metamathematics of arithmeticRelated to metamathematics of arithmeticStatus: Open.#930 In FormalizedFormalLogic/Foundation;Uploading cache
infrastructureProject maintenance setup (e.g. GitHub Actions)Project maintenance setup (e.g. GitHub Actions)Status: Open.#928 In FormalizedFormalLogic/Foundation;- Status: Open.#924 In FormalizedFormalLogic/Foundation;
Reflexivility of $\mathsf{PA}$
arithmeticRelated to metamathematics of arithmeticRelated to metamathematics of arithmeticStatus: Open.#919 In FormalizedFormalLogic/Foundation;Finite axiomatizability of $\mathsf{I}\Sigma_n$
arithmeticRelated to metamathematics of arithmeticRelated to metamathematics of arithmeticStatus: Open.#918 In FormalizedFormalLogic/Foundation;Add
formalization.yamldocumentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#911 In FormalizedFormalLogic/Foundation;- Status: Open.#871 In FormalizedFormalLogic/Foundation;
- Status: Open.#856 In FormalizedFormalLogic/Foundation;