Pages that link to "Item:Q3472098"
From MaRDI portal
The following pages link to A lattice of chapters of mathematics (interpretations between theorems [theories]) (Q3472098):
Displaying 18 items.
- Algorithmic uses of the Feferman-Vaught theorem (Q598280) (← links)
- Transductions in arithmetic (Q904144) (← links)
- Pairs, sets and sequences in first-order theories (Q943342) (← links)
- On \(\mathsf{Q}\) (Q1699730) (← links)
- Weak sequential theories of finite full binary trees (Q2104270) (← links)
- The predicative Frege hierarchy (Q2271986) (← links)
- The arithmetics of a theory (Q2345393) (← links)
- Interpretability degrees of finitely axiomatized sequential theories (Q2436609) (← links)
- Extension and interpretability (Q2658276) (← links)
- Vaught's Theorem on Axiomatizability by a Scheme (Q2915888) (← links)
- First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories (Q2959176) (← links)
- ON A QUESTION OF KRAJEWSKI’S (Q4628685) (← links)
- MUTUAL INTERPRETABILITY OF ROBINSON ARITHMETIC AND ADJUNCTIVE SET THEORY WITH EXTENSIONALITY (Q4640303) (← links)
- A Feferman-Vaught Decomposition Theorem for Weighted MSO Logic. (Q5005180) (← links)
- TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES (Q5107215) (← links)
- The small‐is‐very‐small principle (Q5108874) (← links)
- The Interpretation Existence Lemma (Q5214783) (← links)
- Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories (Q5404169) (← links)
