Pages that link to "Item:Q5935985"
From MaRDI portal
The following pages link to Elementary patterns of resemblance (Q5935985):
Displaying 18 items.
- A machine that knows its own code (Q456969) (← links)
- Tracking chains of \(\varSigma_2\)-elementarity (Q645983) (← links)
- The Bachmann-Howard structure in terms of \(\Sigma_1\)-elementarity (Q850804) (← links)
- Ordinal arithmetic based on Skolem hulling (Q866560) (← links)
- \(\Sigma _{1}\)-elementarity and Skolem hull operators (Q866561) (← links)
- Patterns of resemblance of order 2 (Q1011757) (← links)
- Pure patterns of order 2 (Q1676328) (← links)
- Pure \(\Sigma_2\)-elementarity beyond the core (Q2041963) (← links)
- Patterns of resemblance and Bachmann-Howard fixed points (Q2064043) (← links)
- Arithmetical algorithms for elementary patterns (Q2257107) (← links)
- Theories and ordinals in proof theory (Q2500821) (← links)
- Ordinal arithmetic with simultaneously defined theta-functions (Q2996224) (← links)
- 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03 (Q4678940) (← links)
- A Glimpse of $$ \sum_{3} $$-elementarity (Q5013913) (← links)
- Assignment of ordinals to patterns of resemblance (Q5294032) (← links)
- Normal forms for elementary patterns (Q5388725) (← links)
- SELF-REFERENTIAL THEORIES (Q5858928) (← links)
- Generalizing Kruskal's theorem to pairs of cohabitating trees (Q5964929) (← links)
