Skip to content

Pull requests: FormalizedFormalLogic/Foundation

New pull request New
12 Open 656 Closed
12 Open 656 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

add(FirstOrder/SetTheory): Recursion theorem Set Theory Related to formalized set theory (ZF, forcing, ordinals, etc.)
#853 opened Jul 18, 2026 by Convindix Contributor Loading…
15
add(Arithmetic): Strict arithmetical hierarchy theorem Arithmetic Related to formalized arithmetic (PA, IΣn, incompleteness, etc.)
#850 opened Jul 13, 2026 by SnO2WMaN Member • Draft
1
6
add(Arithmetic): Add partial truth predicate Arithmetic Related to formalized arithmetic (PA, IΣn, incompleteness, etc.)
#849 opened Jul 13, 2026 by SnO2WMaN Member • Draft
1
1
refactor: remove import-only aggregator files
#839 opened Jul 8, 2026 by SnO2WMaN Member Loading…
1 task done
2
refactor(FirstOrder): abstract hierarchy over operators
#838 opened Jul 8, 2026 by 00sqh Loading…
11
add(FirstOrder/Concat): Language of Theory of Concatenation
#808 opened Mar 9, 2026 by SnO2WMaN Member • Draft
add(SetTheory): Recursion, ordinal addition and multiplication Set Theory Related to formalized set theory (ZF, forcing, ordinals, etc.)
#799 opened Mar 1, 2026 by tosiaki Loading…
34
add(FirstOrder/SetTheory): continuum hypothesis Set Theory Related to formalized set theory (ZF, forcing, ordinals, etc.)
#647 opened Nov 18, 2025 by iehality Member • Draft
add(FirstOrder/SetTheory): forcing part.2: ℙ-name Set Theory Related to formalized set theory (ZF, forcing, ordinals, etc.)
#626 opened Nov 10, 2025 by iehality Member • Draft
Craig's trick Arithmetic Related to formalized arithmetic (PA, IΣn, incompleteness, etc.)
#522 opened Aug 27, 2025 by iehality Member • Draft
add(FirstOrder): Computable Complete Expansion
#507 opened Aug 9, 2025 by SnO2WMaN Member • Draft
feat(FirstOrder/Arith): Arithmetical hierarchy is equivalent to strict arithmetical hierarchy Arithmetic Related to formalized arithmetic (PA, IΣn, incompleteness, etc.)
#336 opened Apr 26, 2025 by iehality Member • Draft
ProTip! Updated in the last three days: updated:>2026-07-26.