Elementary patterns of resemblance

DOI10.1016/S0168-0072(00)00040-3MaRDI QIDQ5935985zbMATH OpenFDO

Authors Timothy J. Carlson

Publication date 22 April 2003

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0168-0072(00)00040-3

zbMATH Keywords

\(\Pi^1_2\)-logiccore model theoryKripke-Platek set theoryordinal arithmeticordinal notationspartial ordering on the class of ordinalsproof theoryset theoryVeblen function

Mathematics Subject Classification ID

Partition relations (03E02) Inner models, including constructibility, ordinal definability, and core models (03E45) Proof theory in general (including proof-theoretic semantics) (03F03) Recursive ordinals and ordinal notations (03F15)

Recommendations

• Normal forms for elementary patterns
• Patterns of resemblance of order 2
• Assignment of ordinals to patterns of resemblance
• Pure patterns of order 2
• Arithmetical algorithms for elementary patterns

Cites work

• scientific article; zbMATH DE number 3900744 (Why is no real title available?)
• scientific article; zbMATH DE number 4033738 (Why is no real title available?)
• scientific article; zbMATH DE number 4033739 (Why is no real title available?)
• scientific article; zbMATH DE number 4039890 (Why is no real title available?)
• scientific article; zbMATH DE number 193575 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 3572133 (Why is no real title available?)
• scientific article; zbMATH DE number 733387 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis
• Ordinal arithmetic and \(\Sigma_1\)-elementarity
• Proof theory. 2nd ed
• Recent Advances in Ordinal Analysis: Π¹₂— CA and Related Systems

Cited in

(23)

• Patterns of resemblance of order 2
• Pure patterns of order 2
• Pure \(\Sigma_2\)-elementarity beyond the core
• Patterns of resemblance and Bachmann-Howard fixed points
• Arithmetical algorithms for elementary patterns
• Theories and ordinals in proof theory
• Ordinal arithmetic with simultaneously defined theta-functions
• scientific article; zbMATH DE number 2185163 (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
• Tracking chains revisited
• Assignment of ordinals to patterns of resemblance
• Normal forms for elementary patterns
• Self-referential theories
• Generalizing Kruskal's theorem to pairs of cohabitating trees
• Tracking chains of \(\varSigma_2\)-elementarity
• Specieslike clusters based on identical ancestor points
• Fundamental sequences based on localization
• Fundamental sequences based on localization
• 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: Elementary patterns of resemblance

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