Formalization of the Kleene tree in Lean
-
Updated
Jun 6, 2026 - Lean
#
reverse-mathematics
Here are 3 public repositories matching this topic...
Aplicação desenvolvida como resultado do Trabalho de Conclusão do Curso em Ciências Atuariais pela Universidade Federal de Pernambuco. Seu objetivo consiste no cálculo de Provisões Matemáticas em planos de Benefício Definido para Entidades Fechadas de Previdência Complementar.
-
Updated
Apr 15, 2023 - Python
How much infinity does physics need? Fekete lemma, c-function IR limits, Cantor scaling exponents and limit-set connectivity are each equivalent to ACA0 over RCA0; computable moduli vs uncomputable limits and the empirical boundary (Paper 10)
python ising-model infinity fractals mathematical-logic second-order-arithmetic conformal-field-theory computability-theory reverse-mathematics foundations-of-physics thermodynamic-limit chaitin-omega computable-analysis
-
Updated
Oct 7, 2026 - TeX
Add this topic to your repo
To associate your repository with the reverse-mathematics topic, visit your repo's landing page and select "manage topics."