Pages that link to "Item:Q1756504"

The following pages link to On partial disjunction properties of theories containing Peano arithmetic (Q1756504):

Displaying 9 items.

• On theories with the general disjunction property (Q995384) (← links)
• The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic (Q1068069) (← links)
• The disjunction and existence properties for axiomatic systems of truth (Q1118582) (← links)
• On \(\mathsf{Q}\) (Q1699730) (← links)
• Two further combinatorial theorems equivalent to the 1-consistency of peano arithmetic (Q3335777) (← links)
• A note on the Joint Embedding Property in Fragments of Arithmetic (Q4024868) (← links)
• HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC (Q5024504) (← links)
• The two halves of disjunctive correctness (Q6038484) (← links)
• DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC (Q6131230) (← links)