Pages that link to "Item:Q4109645"

The following pages link to The disjunction property implies the numerical existence property (Q4109645):

Displaying 16 items.

• The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\) (Q720757) (← links)
• Lindenbaum algebras of intuitionistic theories and free categories (Q1092043) (← links)
• The disjunction and existence properties for axiomatic systems of truth (Q1118582) (← links)
• The disjunction property of intermediate propositional logics (Q1181482) (← links)
• Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis (Q1591373) (← links)
• On partial disjunction properties of theories containing Peano arithmetic (Q1756504) (← links)
• Topological structure of diagonalizable algebras and corresponding logical properties of theories (Q1903132) (← links)
• Hard provability logics (Q2658282) (← links)
• On the derivability of instantiation properties (Q3875927) (← links)
• The small‐is‐very‐small principle (Q5108874) (← links)
• THE -PROVABILITY LOGIC OF (Q5195060) (← links)
• The disjunction and related properties for constructive Zermelo-Fraenkel set theory (Q5486250) (← links)
• LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION (Q5858930) (← links)
• A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics (Q5886462) (← links)
• DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC (Q6131230) (← links)
• The \(\Sigma_1\)-provability logic of HA revisited (Q6612810) (← links)