Elementary patterns of resemblance
- 30 March 2001
- journal article
- Published by Elsevier BV in Annals of Pure and Applied Logic
- Vol. 108 (1-3), 19-77
- https://doi.org/10.1016/s0168-0072(00)00040-3
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesisAnnals of Pure and Applied Logic, 2000
- Ordinal arithmetic and $\Sigma_{1}$ -elementarityArchive for Mathematical Logic, 1999
- Recent Advances in Ordinal Analysis: Π12— CA and Related SystemsBulletin of Symbolic Logic, 1995
- Admissible proof theory and beyondStudies in Logic and the Foundations of Mathematics, 1995
- Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical StudiesLecture Notes in Mathematics, 1981