Ordinal arithmetic and \(\Sigma_1\)-elementarity

DOI10.1007/s001530050150zbMath0936.03055OpenAlexW2031449549MaRDI QIDQ1818592

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

ordinal arithmeticordinal notationspartial ordering on the class of ordinalsset theoryformal systemssecond-order arithmeticordinal \(\varepsilon_0\)

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Related Items (18)

The Bachmann-Howard structure in terms of \(\Sigma_1\)-elementarity ⋮ \(\Sigma _{1}\)-elementarity and Skolem hull operators ⋮ Pure patterns of order 2 ⋮ Tracking chains of \(\varSigma_2\)-elementarity ⋮ A machine that knows its own code ⋮ Normal forms for elementary patterns ⋮ Short-circuiting the definition of mathematical knowledge for an artificial general intelligence ⋮ Arithmetical algorithms for elementary patterns ⋮ Elementary patterns of resemblance ⋮ 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03 ⋮ Theories and ordinals in proof theory ⋮ Generalizing Kruskal's theorem to pairs of cohabitating trees ⋮ Pure \(\Sigma_2\)-elementarity beyond the core ⋮ Patterns of resemblance of order 2 ⋮ Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis ⋮ SELF-REFERENTIAL THEORIES ⋮ A Glimpse of $$ \sum_{3} $$-elementarity ⋮ Fast-collapsing theories

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