-
-
Notifications
You must be signed in to change notification settings - Fork 28
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#821 In FormalizedFormalLogic/Foundation;
- Status: Open.#819 In FormalizedFormalLogic/Foundation;
- Status: Open.#813 In FormalizedFormalLogic/Foundation;
- Status: Open.#809 In FormalizedFormalLogic/Foundation;
- Status: Open.#793 In FormalizedFormalLogic/Foundation;
Abstract Witness Comparison
ArithmeticRelated to formalized arithmetic (PA, IΣn, incompleteness, etc.)Related to formalized arithmetic (PA, IΣn, incompleteness, etc.)Status: Open.#775 In FormalizedFormalLogic/Foundation;- Status: Open.#757 In FormalizedFormalLogic/Foundation;
Lindenbaum algebra of nice theory is not rich
ArithmeticRelated to formalized arithmetic (PA, IΣn, incompleteness, etc.)Related to formalized arithmetic (PA, IΣn, incompleteness, etc.)Status: Open.#739 In FormalizedFormalLogic/Foundation;Shappiro's Epistemic Arithmetic
ArithmeticRelated to formalized arithmetic (PA, IΣn, incompleteness, etc.)Related to formalized arithmetic (PA, IΣn, incompleteness, etc.)Status: Open.#734 In FormalizedFormalLogic/Foundation;- Status: Open.#730 In FormalizedFormalLogic/Foundation;
- Status: Open.#719 In FormalizedFormalLogic/Foundation;
- Status: Open.#716 In FormalizedFormalLogic/Foundation;