Pages that link to "Item:Q943342"
From MaRDI portal
The following pages link to Pairs, sets and sequences in first-order theories (Q943342):
Displaying 19 items.
- The second incompleteness theorem and bounded interpretations (Q454368) (← links)
- Some notes on truths and comprehension (Q722023) (← links)
- On \(\mathsf{Q}\) (Q1699730) (← links)
- Weak sequential theories of finite full binary trees (Q2104270) (← links)
- Interpretability degrees of finitely axiomatized sequential theories (Q2436609) (← links)
- Sequence encoding without induction (Q2888636) (← links)
- Vaught's theorem on axiomatizability by a scheme (Q2915888) (← links)
- CONSISTENCY AND THE THEORY OF TRUTH (Q3195585) (← links)
- (Q3377767) (← links)
- CARDINAL ARITHMETIC IN THE STYLE OF BARON VON MÜNCHHAUSEN (Q3644806) (← links)
- (Q4435478) (← links)
- MUTUAL INTERPRETABILITY OF ROBINSON ARITHMETIC AND ADJUNCTIVE SET THEORY WITH EXTENSIONALITY (Q4640303) (← links)
- Recursive functions and existentially closed structures (Q5114808) (← links)
- The Interpretation Existence Lemma (Q5214783) (← links)
- Strong Logics of First and Second Order (Q5305552) (← links)
- Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories (Q5404169) (← links)
- The theory of hereditarily bounded sets (Q6094150) (← links)
- An analysis of Tennenbaum's theorem in constructive type theory (Q6563042) (← links)
- A weak theory of building blocks (Q6589164) (← links)