Results 1 to 10 of about 25 (25)
Determinacy on the edge of second‐order arithmetic, I
Journal of the London Mathematical Society, Volume 113, Issue 3, March 2026.Abstract This is the first of two articles on the strength of m$m{}$‐Σ30$\bm{\Sigma }^0_3{}$‐determinacy for m∈N$m\in \mathbb {N}$, the strongest theories of determinacy contained in Hilbert's second‐order arithmetic (Z2)$(Z_2)$. In this article, we refute two natural conjectures on the strength of these principles in terms of inductive definability ...
J. P. Aguilera, P. D. Welch
wiley +1 more source
Validity of inferences and validity of demonstrations
Theoria, Volume 90, Issue 5, Page 459-478, October 2024.Abstract The lecture spells out the difference between the validity of inference (‐figure)s and validity applied to demonstrations (‘proof acts’). The latter notion is not an ordinary characterizing one; in Brentano's terminology it is a modifying one.
Göran Sundholm
wiley +1 more source
Modern perspectives in Proof Theory. [PDF]
Philos Trans A Math Phys Eng Sci, 2023 Aguilera JP, Pakhomov F, Weiermann A.
europepmc +1 more source
Automatic differentiation of uncertainties: an interval computational differentiation for first and higher derivatives with implementation. [PDF]
PeerJ Comput Sci, 2023 Dawood H, Megahed N.
europepmc +1 more source
A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY. [PDF]
Proc Natl Acad Sci U S A, 1963 Smullyan RM.
europepmc +1 more source
Some of the next articles are maybe not open access.
Fragments of Kripke–Platek set theory and the metamathematics of $$\alpha $$ α -recursion theory
Archive for Mathematical Logic, 2016Sy-David Friedman, Tin Lok Wong
exaly
Constructive theory for fuzzy systems
Fuzzy Sets and Systems, 1997Pei-Zhuang Wang, Shaohua Tan
exaly
Artificial Chemistries – Towards Constructive Dynamical Systems
Solid State Phenomena, 2004Wolfgang Banzhaf
exaly