Pages that link to "Item:Q5561954"
From MaRDI portal
The following pages link to Deduction-preserving "Recursive Isomorphisms" between theories (Q5561954):
Displaying 15 items.
- A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP (Q476116) (← links)
- A note on the diagonalizable algebras of PA and ZF (Q685077) (← links)
- Mass problems associated with effectively closed sets (Q765664) (← links)
- On \(\mathsf{Q}\) (Q1699730) (← links)
- Some conservation results on weak König's lemma (Q1849864) (← links)
- Provability algebras and proof-theoretic ordinals. I (Q1877092) (← links)
- On a strengthening of the non-isomorphism theorem for provability algebras (Q2246876) (← links)
- Uniform density in Lindenbaum algebras (Q2258545) (← links)
- Effectively inseparable Boolean algebras in lattices of sentences (Q2655144) (← links)
- Forcing for hat inductive definitions in arithmetic (Q2922495) (← links)
- ON THE INEVITABILITY OF THE CONSISTENCY OPERATOR (Q4628679) (← links)
- CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS (Q4959663) (← links)
- FINDING THE LIMIT OF INCOMPLETENESS I (Q4984861) (← links)
- Word problems and ceers (Q6096328) (← links)
- ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS (Q6131232) (← links)
