{"data":{"id":"10.48550/arxiv.2610.20115","type":"dois","attributes":{"doi":"10.48550/arxiv.2610.20115","prefix":"10.48550","suffix":"arxiv.2610.20115","identifiers":[{"identifier":"2610.20115","identifierType":"arXiv"}],"alternateIdentifiers":[{"alternateIdentifierType":"arXiv","alternateIdentifier":"2610.20115"}],"creators":[{"name":"Pakhomov, Fedor","nameType":"Personal","givenName":"Fedor","familyName":"Pakhomov","affiliation":[],"nameIdentifiers":[]},{"name":"Lazar, Vlad","nameType":"Personal","givenName":"Vlad","familyName":"Lazar","affiliation":[],"nameIdentifiers":[]}],"titles":[{"title":"A Reflection Calculus for Bar Induction and the Linearity of Consistency Strength Ordering"}],"publisher":"arXiv","container":{},"publicationYear":2026,"subjects":[{"lang":"en","subject":"Logic (math.LO)","subjectScheme":"arXiv"},{"subject":"FOS: Mathematics","subjectScheme":"Fields of Science and Technology (FOS)"},{"lang":"en","subject":"03F45","subjectScheme":"MSC"}],"contributors":[],"dates":[{"date":"2026-10-14T12:43:38Z","dateType":"Submitted","dateInformation":"v1"},{"date":"2026-10-15T01:13:29Z","dateType":"Updated","dateInformation":"v1"},{"date":"2026-10","dateType":"Available","dateInformation":"v1"}],"language":null,"types":{"ris":"GEN","bibtex":"misc","citeproc":"article","schemaOrg":"CreativeWork","resourceType":"Article","resourceTypeGeneral":"Preprint"},"relatedIdentifiers":[],"relatedItems":[],"sizes":[],"formats":[],"version":"1","rightsList":[{"rights":"arXiv.org perpetual, non-exclusive license","rightsUri":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/"}],"descriptions":[{"description":"We introduce a novel extension of reflection calculus, $\\mathsf{RC_{BI}}$, to analyze a family of extensions of $\\mathsf{ACA}_0$ generated by uniform $ω$-model and syntactic reflection principles, together with several other related operators. The union of these theories coincides with the theory of Bar Induction ($\\mathsf{BI}$). We prove that $\\mathsf{RC_{BI}}$ is arithmetically sound, and that it is sound and complete with respect to a natural class of Kripke models. Leveraging these modal semantics, we demonstrate that the class of theories denoted by $\\nabla$-free closed formulas is a pre-wellordering with respect to $Π^1_1$-soundness and consistency strength. This allows us to establish an ordinal analysis for $\\mathsf{BI}$ and its fragments, analogous to Beklemishev's analysis of $\\mathsf{PA}$. The structural properties of $\\mathsf{RC_{BI}}$ naturally give rise to a novel ordinal notation system for the Bachmann-Howard ordinal which differs substantially from existing representations.","descriptionType":"Abstract"}],"geoLocations":[],"fundingReferences":[],"xml":"PD94bWwgdmVyc2lvbj0iMS4wIiBlbmNvZGluZz0iVVRGLTgiPz4KPHJlc291cmNlIHhtbG5zPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCIgeG1sbnM6eHNpPSJodHRwOi8vd3d3LnczLm9yZy8yMDAxL1hNTFNjaGVtYS1pbnN0YW5jZSIgeHNpOnNjaGVtYUxvY2F0aW9uPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCBodHRwOi8vc2NoZW1hLmRhdGFjaXRlLm9yZy9tZXRhL2tlcm5lbC00LjMvbWV0YWRhdGEueHNkIj4KICA8aWRlbnRpZmllciBpZGVudGlmaWVyVHlwZT0iRE9JIj4xMC40ODU1MC9BUlhJVi4yNjEwLjIwMTE1PC9pZGVudGlmaWVyPgogIDxhbHRlcm5hdGVJZGVudGlmaWVycz4KICAgIDxhbHRlcm5hdGVJZGVudGlmaWVyIGFsdGVybmF0ZUlkZW50aWZpZXJUeXBlPSJhclhpdiI+MjYxMC4yMDExNTwvYWx0ZXJuYXRlSWRlbnRpZmllcj4KICA8L2FsdGVybmF0ZUlkZW50aWZpZXJzPgogIDxjcmVhdG9ycz4KICAgIDxjcmVhdG9yPgogICAgICA8Y3JlYXRvck5hbWUgbmFtZVR5cGU9IlBlcnNvbmFsIj5QYWtob21vdiwgRmVkb3I8L2NyZWF0b3JOYW1lPgogICAgICA8Z2l2ZW5OYW1lPkZlZG9yPC9naXZlbk5hbWU+CiAgICAgIDxmYW1pbHlOYW1lPlBha2hvbW92PC9mYW1pbHlOYW1lPgogICAgPC9jcmVhdG9yPgogICAgPGNyZWF0b3I+CiAgICAgIDxjcmVhdG9yTmFtZSBuYW1lVHlwZT0iUGVyc29uYWwiPkxhemFyLCBWbGFkPC9jcmVhdG9yTmFtZT4KICAgICAgPGdpdmVuTmFtZT5WbGFkPC9naXZlbk5hbWU+CiAgICAgIDxmYW1pbHlOYW1lPkxhemFyPC9mYW1pbHlOYW1lPgogICAgPC9jcmVhdG9yPgogIDwvY3JlYXRvcnM+CiAgPHRpdGxlcz4KICAgIDx0aXRsZT5BIFJlZmxlY3Rpb24gQ2FsY3VsdXMgZm9yIEJhciBJbmR1Y3Rpb24gYW5kIHRoZSBMaW5lYXJpdHkgb2YgQ29uc2lzdGVuY3kgU3RyZW5ndGggT3JkZXJpbmc8L3RpdGxlPgogIDwvdGl0bGVzPgogIDxwdWJsaXNoZXI+YXJYaXY8L3B1Ymxpc2hlcj4KICA8cHVibGljYXRpb25ZZWFyPjIwMjY8L3B1YmxpY2F0aW9uWWVhcj4KICA8c3ViamVjdHM+CiAgICA8c3ViamVjdCB4bWw6bGFuZz0iZW4iIHN1YmplY3RTY2hlbWU9ImFyWGl2Ij5Mb2dpYyAobWF0aC5MTyk8L3N1YmplY3Q+CiAgICA8c3ViamVjdCBzdWJqZWN0U2NoZW1lPSJGaWVsZHMgb2YgU2NpZW5jZSBhbmQgVGVjaG5vbG9neSAoRk9TKSI+Rk9TOiBNYXRoZW1hdGljczwvc3ViamVjdD4KICAgIDxzdWJqZWN0IHhtbDpsYW5nPSJlbiIgc3ViamVjdFNjaGVtZT0iTVNDIj4wM0Y0NTwvc3ViamVjdD4KICA8L3N1YmplY3RzPgogIDxkYXRlcz4KICAgIDxkYXRlIGRhdGVUeXBlPSJTdWJtaXR0ZWQiIGRhdGVJbmZvcm1hdGlvbj0idjEiPjIwMjYtMTAtMTRUMTI6NDM6MzhaPC9kYXRlPgogICAgPGRhdGUgZGF0ZVR5cGU9IlVwZGF0ZWQiIGRhdGVJbmZvcm1hdGlvbj0idjEiPjIwMjYtMTAtMTVUMDE6MTM6MjlaPC9kYXRlPgogICAgPGRhdGUgZGF0ZVR5cGU9IkF2YWlsYWJsZSIgZGF0ZUluZm9ybWF0aW9uPSJ2MSI+MjAyNi0xMDwvZGF0ZT4KICA8L2RhdGVzPgogIDxyZXNvdXJjZVR5cGUgcmVzb3VyY2VUeXBlR2VuZXJhbD0iUHJlcHJpbnQiPkFydGljbGU8L3Jlc291cmNlVHlwZT4KICA8dmVyc2lvbj4xPC92ZXJzaW9uPgogIDxyaWdodHNMaXN0PgogICAgPHJpZ2h0cyByaWdodHNVUkk9Imh0dHA6Ly9hcnhpdi5vcmcvbGljZW5zZXMvbm9uZXhjbHVzaXZlLWRpc3RyaWIvMS4wLyI+YXJYaXYub3JnIHBlcnBldHVhbCwgbm9uLWV4Y2x1c2l2ZSBsaWNlbnNlPC9yaWdodHM+CiAgPC9yaWdodHNMaXN0PgogIDxkZXNjcmlwdGlvbnM+CiAgICA8ZGVzY3JpcHRpb24gZGVzY3JpcHRpb25UeXBlPSJBYnN0cmFjdCI+V2UgaW50cm9kdWNlIGEgbm92ZWwgZXh0ZW5zaW9uIG9mIHJlZmxlY3Rpb24gY2FsY3VsdXMsICRcbWF0aHNme1JDX3tCSX19JCwgdG8gYW5hbHl6ZSBhIGZhbWlseSBvZiBleHRlbnNpb25zIG9mICRcbWF0aHNme0FDQX1fMCQgZ2VuZXJhdGVkIGJ5IHVuaWZvcm0gJM+JJC1tb2RlbCBhbmQgc3ludGFjdGljIHJlZmxlY3Rpb24gcHJpbmNpcGxlcywgdG9nZXRoZXIgd2l0aCBzZXZlcmFsIG90aGVyIHJlbGF0ZWQgb3BlcmF0b3JzLiBUaGUgdW5pb24gb2YgdGhlc2UgdGhlb3JpZXMgY29pbmNpZGVzIHdpdGggdGhlIHRoZW9yeSBvZiBCYXIgSW5kdWN0aW9uICgkXG1hdGhzZntCSX0kKS4gV2UgcHJvdmUgdGhhdCAkXG1hdGhzZntSQ197Qkl9fSQgaXMgYXJpdGhtZXRpY2FsbHkgc291bmQsIGFuZCB0aGF0IGl0IGlzIHNvdW5kIGFuZCBjb21wbGV0ZSB3aXRoIHJlc3BlY3QgdG8gYSBuYXR1cmFsIGNsYXNzIG9mIEtyaXBrZSBtb2RlbHMuIExldmVyYWdpbmcgdGhlc2UgbW9kYWwgc2VtYW50aWNzLCB3ZSBkZW1vbnN0cmF0ZSB0aGF0IHRoZSBjbGFzcyBvZiB0aGVvcmllcyBkZW5vdGVkIGJ5ICRcbmFibGEkLWZyZWUgY2xvc2VkIGZvcm11bGFzIGlzIGEgcHJlLXdlbGxvcmRlcmluZyB3aXRoIHJlc3BlY3QgdG8gJM6gXjFfMSQtc291bmRuZXNzIGFuZCBjb25zaXN0ZW5jeSBzdHJlbmd0aC4gVGhpcyBhbGxvd3MgdXMgdG8gZXN0YWJsaXNoIGFuIG9yZGluYWwgYW5hbHlzaXMgZm9yICRcbWF0aHNme0JJfSQgYW5kIGl0cyBmcmFnbWVudHMsIGFuYWxvZ291cyB0byBCZWtsZW1pc2hldidzIGFuYWx5c2lzIG9mICRcbWF0aHNme1BBfSQuIFRoZSBzdHJ1Y3R1cmFsIHByb3BlcnRpZXMgb2YgJFxtYXRoc2Z7UkNfe0JJfX0kIG5hdHVyYWxseSBnaXZlIHJpc2UgdG8gYSBub3ZlbCBvcmRpbmFsIG5vdGF0aW9uIHN5c3RlbSBmb3IgdGhlIEJhY2htYW5uLUhvd2FyZCBvcmRpbmFsIHdoaWNoIGRpZmZlcnMgc3Vic3RhbnRpYWxseSBmcm9tIGV4aXN0aW5nIHJlcHJlc2VudGF0aW9ucy48L2Rlc2NyaXB0aW9uPgogIDwvZGVzY3JpcHRpb25zPgo8L3Jlc291cmNlPg==","url":"https://arxiv.org/abs/2610.20115","contentUrl":null,"metadataVersion":0,"schemaVersion":"http://datacite.org/schema/kernel-4","source":"mds","isActive":true,"state":"findable","reason":null,"viewCount":0,"viewsOverTime":[],"downloadCount":0,"downloadsOverTime":[],"referenceCount":0,"citationCount":0,"citationsOverTime":[],"partCount":0,"partOfCount":0,"versionCount":0,"versionOfCount":0,"created":"2026-10-15T02:53:30.000Z","registered":"2026-10-15T02:53:31.000Z","published":"2026","updated":"2026-10-15T02:53:31.000Z"},"relationships":{"client":{"data":{"id":"arxiv.content","type":"clients"}},"provider":{"data":{"id":"arxiv","type":"providers"}},"media":{"data":{"id":"10.48550/arxiv.2610.20115","type":"media"}},"references":{"data":[]},"citations":{"data":[]},"parts":{"data":[]},"partOf":{"data":[]},"versions":{"data":[]},"versionOf":{"data":[]}}}}