Ordinal arithmetic and _1-elementarity

DOI10.1007/S001530050150MaRDI QIDQ1818592zbMATH OpenOpenAlexFDO

Authors Timothy J. Carlson

Publication date 17 May 2000

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s001530050150

zbMATH Keywords

formal systemsordinal \(\varepsilon_0\)ordinal arithmeticordinal notationspartial ordering on the class of ordinalssecond-order arithmeticset theory

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Recommendations

• \(\Sigma _{1}\)-elementarity and Skolem hull operators
• The Bachmann-Howard structure in terms of _1-elementarity
• scientific article; zbMATH DE number 1390279
• Normal forms for elementary patterns
• scientific article; zbMATH DE number 2185163

Cited in

(26)

• Patterns of resemblance of order 2
• Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis
• Pure patterns of order 2
• Ordinal notations and well-orderings in bounded arithmetic
• Pure \(\Sigma_2\)-elementarity beyond the core
• Short-circuiting the definition of mathematical knowledge for an artificial general intelligence
• Arithmetical algorithms for elementary patterns
• \(\Pi_1^1\)-comprehension as a well-ordering principle
• Fast-collapsing theories
• Theories and ordinals in proof theory
• scientific article; zbMATH DE number 2185163 (Why is no real title available?)
• scientific article; zbMATH DE number 440486 (Why is no real title available?)
• scientific article; zbMATH DE number 3991491 (Why is no real title available?)
• scientific article; zbMATH DE number 1223615 (Why is no real title available?)
• A machine that knows its own code
• 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03
• A Glimpse of $$ \sum_{3} $$-elementarity
• Assignment of ordinals to patterns of resemblance
• Normal forms for elementary patterns
• Self-referential theories
• Elementary patterns of resemblance
• Generalizing Kruskal's theorem to pairs of cohabitating trees
• Tracking chains of \(\varSigma_2\)-elementarity
• The Bachmann-Howard structure in terms of _1-elementarity
• Ordinal arithmetic based on Skolem hulling
• \(\Sigma _{1}\)-elementarity and Skolem hull operators

This page was built for publication: Ordinal arithmetic and \(\Sigma_1\)-elementarity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1818592)