The disjunction property implies the numerical existence property
From MaRDI portal
Publication:4109645
DOI10.1073/pnas.72.8.2877zbMath0342.02012OpenAlexW2012424011WikidataQ35084656 ScholiaQ35084656MaRDI QIDQ4109645
Publication date: 1975
Published in: Proceedings of the National Academy of Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1073/pnas.72.8.2877
Intuitionistic mathematics (03F55) Intermediate logics (03B55) Proof theory and constructive mathematics (03F99)
Related Items (15)
A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics ⋮ Lindenbaum algebras of intuitionistic theories and free categories ⋮ Topological structure of diagonalizable algebras and corresponding logical properties of theories ⋮ The disjunction and existence properties for axiomatic systems of truth ⋮ Hard provability logics ⋮ The small‐is‐very‐small principle ⋮ DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC ⋮ The disjunction property of intermediate propositional logics ⋮ On partial disjunction properties of theories containing Peano arithmetic ⋮ The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\) ⋮ THE -PROVABILITY LOGIC OF ⋮ On the derivability of instantiation properties ⋮ The disjunction and related properties for constructive Zermelo-Fraenkel set theory ⋮ Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis ⋮ LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION
This page was built for publication: The disjunction property implies the numerical existence property
