Herbrandized modified realizability
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
On the Various Translations between Classical, Intuitionistic and Linear Logic
di: Ferreira, Gilda, et al.
Pubblicazione: (2024)
di: Ferreira, Gilda, et al.
Pubblicazione: (2024)
A non-speedup result for the chain-antichain principle over a weak base theory
di: Kowalik, Katarzyna W.
Pubblicazione: (2025)
di: Kowalik, Katarzyna W.
Pubblicazione: (2025)
Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
di: Oddsson, Hrafn Valtýr
Pubblicazione: (2026)
di: Oddsson, Hrafn Valtýr
Pubblicazione: (2026)
From Numbers to Container Strings
di: Visser, Albert
Pubblicazione: (2024)
di: Visser, Albert
Pubblicazione: (2024)
On Rosser theories
di: Cheng, Yong
Pubblicazione: (2024)
di: Cheng, Yong
Pubblicazione: (2024)
Pour-El's Landscape
di: Kurahashi, Taishi, et al.
Pubblicazione: (2023)
di: Kurahashi, Taishi, et al.
Pubblicazione: (2023)
There are no minimal effectively inseparable theories
di: Cheng, Yong
Pubblicazione: (2022)
di: Cheng, Yong
Pubblicazione: (2022)
Completions of Restricted Complexity I, Weak Arithmetical Theories
di: Enayat, Ali, et al.
Pubblicazione: (2025)
di: Enayat, Ali, et al.
Pubblicazione: (2025)
Largeness notions and polytime translation for $\forall Σ^0_3$-consequences of $\mathsf{RT}^2_2$
di: Houérou, Quentin Le, et al.
Pubblicazione: (2026)
di: Houérou, Quentin Le, et al.
Pubblicazione: (2026)
On the hierarchy of natural theories
di: Walsh, James
Pubblicazione: (2021)
di: Walsh, James
Pubblicazione: (2021)
Herbrand's Theorem: a short statement and a model-theoretic proof
di: Badano, Mariana
Pubblicazione: (2025)
di: Badano, Mariana
Pubblicazione: (2025)
Generalized Kripke's Schema and the Expressive Power of Intuitionistic Real Algebra
di: Erdélyi-Szabó, Miklós
Pubblicazione: (2024)
di: Erdélyi-Szabó, Miklós
Pubblicazione: (2024)
Encoding Sequences in Intuitionistic Real Algebra
di: Erdélyi-Szabó, Miklós
Pubblicazione: (2025)
di: Erdélyi-Szabó, Miklós
Pubblicazione: (2025)
The cohesive and stable Ramsey theorems and proof size over a weak base theory
di: Kołodziejczyk, Leszek Aleksander, et al.
Pubblicazione: (2026)
di: Kołodziejczyk, Leszek Aleksander, et al.
Pubblicazione: (2026)
On inverse Goodstein sequences
di: Uftring, Patrick
Pubblicazione: (2023)
di: Uftring, Patrick
Pubblicazione: (2023)
Serial Properties, Selector Proofs, and the Provability of Consistency
di: Artemov, Sergei
Pubblicazione: (2024)
di: Artemov, Sergei
Pubblicazione: (2024)
Non-Compact Proofs
di: Artemov, Sergei
Pubblicazione: (2025)
di: Artemov, Sergei
Pubblicazione: (2025)
Consistency formula is strictly stronger in PA than PA-consistency
di: Artemov, Sergei
Pubblicazione: (2025)
di: Artemov, Sergei
Pubblicazione: (2025)
Hierarchical formula classes with respect to semi-classical prenex normalization
di: Fujiwara, Makoto, et al.
Pubblicazione: (2025)
di: Fujiwara, Makoto, et al.
Pubblicazione: (2025)
The Uniform Functional Interpretation with Informative Types
di: Ferreira, Fernando, et al.
Pubblicazione: (2025)
di: Ferreira, Fernando, et al.
Pubblicazione: (2025)
Tarski's Undefinability Theorem and first-order arithmetic
di: Boyce, Stephen
Pubblicazione: (2010)
di: Boyce, Stephen
Pubblicazione: (2010)
When Bi-interpretability implies Synonymy
di: Friedman, Harvey M., et al.
Pubblicazione: (2025)
di: Friedman, Harvey M., et al.
Pubblicazione: (2025)
Avoiding logical strength in real analysis
di: Freund, Anton, et al.
Pubblicazione: (2026)
di: Freund, Anton, et al.
Pubblicazione: (2026)
Weak and Strong Versions of Effective Transfinite Recursion
di: Uftring, Patrick
Pubblicazione: (2022)
di: Uftring, Patrick
Pubblicazione: (2022)
The finite cohesiveness principle
di: Sun, Mengzhou
Pubblicazione: (2025)
di: Sun, Mengzhou
Pubblicazione: (2025)
Extensional Independence
di: Kurahashi, Taishi, et al.
Pubblicazione: (2025)
di: Kurahashi, Taishi, et al.
Pubblicazione: (2025)
On a Question of Hamkins'
di: Visser, Albert
Pubblicazione: (2025)
di: Visser, Albert
Pubblicazione: (2025)
More conservativity for weak Kőnig's lemma
di: Freund, Anton, et al.
Pubblicazione: (2024)
di: Freund, Anton, et al.
Pubblicazione: (2024)
Tightness and solidity in fragments of Peano Arithmetic
di: Gruza, Piotr, et al.
Pubblicazione: (2025)
di: Gruza, Piotr, et al.
Pubblicazione: (2025)
Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
di: Lyon, Tim S.
Pubblicazione: (2025)
di: Lyon, Tim S.
Pubblicazione: (2025)
Dilators and the reverse mathematics zoo
di: Freund, Anton
Pubblicazione: (2024)
di: Freund, Anton
Pubblicazione: (2024)
On a Theorem by Bezboruah & Shepherdson
di: Visser, Albert
Pubblicazione: (2026)
di: Visser, Albert
Pubblicazione: (2026)
Effective inseparability and some applications in meta-mathematics
di: Cheng, Yong
Pubblicazione: (2022)
di: Cheng, Yong
Pubblicazione: (2022)
On the relationships between some meta-mathematical properties of arithmetical theories
di: Cheng, Yong
Pubblicazione: (2023)
di: Cheng, Yong
Pubblicazione: (2023)
The limitless First Incompleteness Theorem
di: Cheng, Yong
Pubblicazione: (2021)
di: Cheng, Yong
Pubblicazione: (2021)
Induction on Dilators and Bachmann-Howard Fixed Points
di: Aguilera, Juan P., et al.
Pubblicazione: (2024)
di: Aguilera, Juan P., et al.
Pubblicazione: (2024)
On first-order arithmetic truth
di: Boyce, Stephen
Pubblicazione: (2011)
di: Boyce, Stephen
Pubblicazione: (2011)
Intuitionistic Common Knowledge
di: Zenger, Lukas
Pubblicazione: (2026)
di: Zenger, Lukas
Pubblicazione: (2026)
Algorithmic correspondence and analytic rules
di: De Domenico, Andrea, et al.
Pubblicazione: (2022)
di: De Domenico, Andrea, et al.
Pubblicazione: (2022)
On two recent extensions of the Big Five of Reverse Mathematics
di: Normann, Dag, et al.
Pubblicazione: (2024)
di: Normann, Dag, et al.
Pubblicazione: (2024)