{"id":"https://openalex.org/W7225650155","doi":"https://doi.org/10.67347/pith.preprint.2026.000055","title":"The \u03b4 Foundation: Distinction, Arithmetic, and the Limits of Abstraction","display_name":"The \u03b4 Foundation: Distinction, Arithmetic, and the Limits of Abstraction","publication_year":2026,"publication_date":"2026-11-09","ids":{"openalex":"https://openalex.org/W7225650155","doi":"https://doi.org/10.67347/pith.preprint.2026.000055"},"language":"en","primary_location":{"id":"doi:10.67347/pith.preprint.2026.000055","doi":"https://doi.org/10.67347/pith.preprint.2026.000055","is_oa":true,"landing_page_url":"https://doi.org/10.67347/pith.preprint.2026.000055","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"posted-content"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.67347/pith.preprint.2026.000055","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5124049838","display_name":"Jonathan Washburn","orcid":"https://orcid.org/0009-0001-8868-7497","observed_orcids":["https://orcid.org/0009-0001-8868-7497"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Jonathan Washburn","raw_affiliation_strings":["Recognition Physics Institute"],"raw_orcid":"https://orcid.org/0009-0001-8868-7497","affiliations":[{"raw_affiliation_string":"Recognition Physics Institute","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5124049838"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12170","display_name":"History and Theory of Mathematics","score":0.49320000410079956,"subfield":{"id":"https://openalex.org/subfields/1207","display_name":"History and Philosophy of Science"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T12170","display_name":"History and Theory of Mathematics","score":0.49320000410079956,"subfield":{"id":"https://openalex.org/subfields/1207","display_name":"History and Philosophy of Science"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T13400","display_name":"Mathematical and Theoretical Analysis","score":0.24539999663829803,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.0966000035405159,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/arithmetic","display_name":"arithmetic","score":0.39899998903274536},{"id":"https://openalex.org/keywords/foundations-of-mathematics","display_name":"foundations of mathematics","score":0.5860000252723694},{"id":"https://openalex.org/keywords/heyting-arithmetic","display_name":"Heyting arithmetic","score":0.6169999837875366},{"id":"https://openalex.org/keywords/peano-arithmetic","display_name":"Peano arithmetic","score":0.9039999842643738},{"id":"https://openalex.org/keywords/countable-choice","display_name":"countable choice","score":0.7730000019073486},{"id":"https://openalex.org/keywords/excluded-middle","display_name":"excluded middle","score":0.5429999828338623},{"id":"https://openalex.org/keywords/forcing","display_name":"forcing","score":0.3059999942779541},{"id":"https://openalex.org/keywords/compactness","display_name":"compactness","score":0.38999998569488525},{"id":"https://openalex.org/keywords/linear-algebra","display_name":"linear algebra","score":0.7110000252723694},{"id":"https://openalex.org/keywords/certified-computation","display_name":"certified computation","score":0.8420000076293945},{"id":"https://openalex.org/keywords/ratio","display_name":"ratio","score":0.3720000088214874},{"id":"https://openalex.org/keywords/real-line","display_name":"real line","score":0.593999981880188},{"id":"https://openalex.org/keywords/iteration","display_name":"iteration","score":0.3409999907016754},{"id":"https://openalex.org/keywords/continuum","display_name":"continuum","score":0.6759999990463257},{"id":"https://openalex.org/keywords/perihelion-precession","display_name":"perihelion precession","score":0.609000027179718},{"id":"https://openalex.org/keywords/linearized-gravity","display_name":"linearized gravity","score":0.8050000071525574},{"id":"https://openalex.org/keywords/kepler-s-laws","display_name":"Kepler's laws","score":0.5490000247955322},{"id":"https://openalex.org/keywords/classical-mechanics","display_name":"classical mechanics","score":0.7319999933242798},{"id":"https://openalex.org/keywords/open-problems","display_name":"open problems","score":0.4699999988079071},{"id":"https://openalex.org/keywords/recognition-science","display_name":"Recognition Science","score":0.4309999942779541}],"concepts":[{"id":"https://openalex.org/C97489613","wikidata":"https://www.wikidata.org/wiki/Q842755","display_name":"Peano axioms","level":2,"score":0.6901999711990356},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.554099977016449},{"id":"https://openalex.org/C110729354","wikidata":"https://www.wikidata.org/wiki/Q185478","display_name":"Countable set","level":2,"score":0.4422000050544739},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.4106999933719635},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.3801000118255615},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.36959999799728394},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.36239999532699585},{"id":"https://openalex.org/C75432250","wikidata":"https://www.wikidata.org/wiki/Q29654355","display_name":"Real line","level":2,"score":0.3506999909877777},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3506999909877777},{"id":"https://openalex.org/C65880906","wikidata":"https://www.wikidata.org/wiki/Q1771121","display_name":"Sequent calculus","level":3,"score":0.3391999900341034},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.32710000872612},{"id":"https://openalex.org/C198352243","wikidata":"https://www.wikidata.org/wiki/Q37105","display_name":"Line (geometry)","level":2,"score":0.32600000500679016},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3239000141620636},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.3199999928474426},{"id":"https://openalex.org/C33676613","wikidata":"https://www.wikidata.org/wiki/Q13415176","display_name":"Dimension (graph theory)","level":2,"score":0.3188000023365021},{"id":"https://openalex.org/C147358099","wikidata":"https://www.wikidata.org/wiki/Q1069891","display_name":"Transfinite number","level":2,"score":0.3131999969482422},{"id":"https://openalex.org/C197115733","wikidata":"https://www.wikidata.org/wiki/Q1003136","display_name":"Forcing (mathematics)","level":2,"score":0.30970001220703125},{"id":"https://openalex.org/C199185054","wikidata":"https://www.wikidata.org/wiki/Q552299","display_name":"Chain (unit)","level":2,"score":0.3095000088214874},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.2946000099182129},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.2937000095844269},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.2896000146865845},{"id":"https://openalex.org/C191399111","wikidata":"https://www.wikidata.org/wiki/Q64861","display_name":"Transitive relation","level":2,"score":0.28949999809265137},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.2842999994754791},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.28209999203681946},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.2750999927520752},{"id":"https://openalex.org/C2776127325","wikidata":"https://www.wikidata.org/wiki/Q1424662","display_name":"Omniscience","level":2,"score":0.27390000224113464},{"id":"https://openalex.org/C2780986378","wikidata":"https://www.wikidata.org/wiki/Q776634","display_name":"Idealization","level":2,"score":0.27390000224113464},{"id":"https://openalex.org/C47884741","wikidata":"https://www.wikidata.org/wiki/Q1166618","display_name":"Mathematical logic","level":2,"score":0.26899999380111694},{"id":"https://openalex.org/C125773388","wikidata":"https://www.wikidata.org/wiki/Q792542","display_name":"Axiomatic system","level":3,"score":0.2574000060558319},{"id":"https://openalex.org/C21847791","wikidata":"https://www.wikidata.org/wiki/Q191081","display_name":"Logical conjunction","level":2,"score":0.2538999915122986},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.25049999356269836},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.2500999867916107}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.67347/pith.preprint.2026.000055","doi":"https://doi.org/10.67347/pith.preprint.2026.000055","is_oa":true,"landing_page_url":"https://doi.org/10.67347/pith.preprint.2026.000055","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"posted-content"}],"best_oa_location":{"id":"doi:10.67347/pith.preprint.2026.000055","doi":"https://doi.org/10.67347/pith.preprint.2026.000055","is_oa":true,"landing_page_url":"https://doi.org/10.67347/pith.preprint.2026.000055","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"posted-content"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2087202222","https://openalex.org/W2990756451","https://openalex.org/W1974988721","https://openalex.org/W2913639538","https://openalex.org/W4212870258","https://openalex.org/W1985276563","https://openalex.org/W2007916369","https://openalex.org/W288477195","https://openalex.org/W7151038135","https://openalex.org/W6948882337"],"abstract_inverted_index":{"Starting":[0],"with":[1,131,167,222,249,350],"a":[2,59,216,271,285,301,314,319,353,363,413],"distinction":[3],"that":[4,310,359,376],"can":[5,218],"be":[6,219],"repeated,":[7],"this":[8,105],"book":[9,176,382],"builds":[10],"arithmetic":[11],"and":[12,20,33,38,44,50,61,73,77,130,154,171,174,205,225,232,244,252,274,284,291,328,362,391,411],"asks":[13],"which":[14,21,215],"conclusions":[15],"follow":[16],"from":[17,86,149,279],"the":[18,34,45,56,62,71,74,83,87,90,93,96,103,124,146,151,158,175,181,211,234,245,256,262,275,304,336,357,377,399,407],"construction":[19],"require":[22],"additional":[23,110],"logical":[24,40,111],"principles.":[25],"Eight":[26],"parts":[27],"develop":[28],"counting,":[29],"signed":[30],"differences,":[31],"ratios":[32,91],"line;":[35,72],"proof":[36,302,312],"rules":[37,126],"their":[39,351],"resources;":[41],"construction,":[42],"iteration":[43],"continuum;":[46],"compactness,":[47],"linear":[48],"algebra":[49],"certified":[51],"computation;":[52],"finite":[53],"physical":[54],"records;":[55],"cost":[57,159],"of":[58,82,99,180,184,191,230,237,259,265,270,277,342,356,366,373,394,409],"comparison":[60],"forcing":[63,182],"chain":[64,183],"built":[65,148],"on":[66,70,253,303],"it;":[67],"classical":[68,272],"physics":[69,360],"library,":[75],"learning":[76,276],"open":[78,292,367],"problems.":[79,293,368],"Each":[80,109,294],"stage":[81],"number":[84,393],"tower,":[85],"tallies":[88],"through":[89],"to":[92,241,339],"line,":[94],"is":[95,207,210,261,335,397,402],"unique":[97],"solution":[98],"its":[100,155,311],"task;":[101],"for":[102],"line":[104,147],"uses":[106],"countable":[107],"choice.":[108,227],"principle":[112,134,170],"receives":[113],"an":[114,199,308],"exact":[115,200,282],"price,":[116,201],"proved":[117],"in":[118,214,307,403,412],"both":[119],"directions.":[120],"With":[121],"excluded":[122],"middle":[123],"book's":[125],"are":[127,136,195,203],"Peano":[128],"arithmetic,":[129],"no":[132,168,172,223,226],"added":[133],"they":[135],"Heyting":[137],"arithmetic.":[138],"This":[139,322],"fifth":[140],"edition":[141],"adds":[142,346],"three":[143],"parts.":[144],"On":[145],"ratios,":[150],"composition":[152],"law":[153,247],"calibration":[156],"force":[157],"J(x)":[160],"=":[161],"(x":[162],"+":[163],"1/x)/2":[164],"\u2212":[165],"1":[166],"omniscience":[169,224],"choice,":[173],"prices":[177],"every":[178],"step":[179],"Recognition":[185],"Science":[186],"as":[187],"it":[188,298],"restates":[189],"it:":[190],"130":[192],"rows,":[193],"119":[194],"free,":[196],"seven":[197],"have":[198],"four":[202],"bracketed":[204],"none":[206],"open.":[208],"Three":[209],"only":[212],"dimension":[213],"circle":[217],"linked,":[220],"again":[221],"The":[228,268,340,381],"mechanics":[229],"Kepler":[231],"Newton,":[233],"perihelion":[235],"advance":[236],"relativistic":[238],"test":[239],"orbits":[240],"second":[242,246],"order":[243],"hold":[248],"explicit":[250],"constants,":[251],"transverse-traceless":[254],"strains":[255],"long-wave":[257],"form":[258,264],"J":[260],"Fierz\u2013Pauli":[263],"linearized":[266],"gravity.":[267],"conventions":[269],"library":[273],"laws":[278],"records":[280],"receive":[281],"prices,":[283],"final":[286],"chapter":[287],"collects":[288],"conjectures,":[289],"refutations":[290],"result":[295],"states":[296],"what":[297],"rests":[299],"on:":[300],"page":[305],"or":[306,318],"appendix":[309,392],"names,":[313],"cited":[315],"standard":[316],"fact,":[317],"stated":[320],"input.":[321],"1222-page":[323],"monograph":[324],"has":[325,384],"thirty":[326],"chapters":[327,410],"sixteen":[329],"appendices,":[330],"including":[331],"exercise":[332],"solutions.":[333],"It":[334,369],"mathematical":[337],"companion":[338],"Structure":[341],"Reality.":[343],"Version":[344],"5.1":[345],"104":[347],"numbered":[348],"results":[349,379],"proofs,":[352],"price":[354],"table":[355,390],"mathematics":[358],"uses,":[361],"rebuilt":[364],"list":[365],"corrects":[370],"46":[371],"sentences":[372],"version":[374,395],"5.0":[375,396],"new":[378,400,404,414],"change.":[380],"now":[383],"1,475":[385],"pages.":[386],"Every":[387],"theorem,":[388],"section,":[389],"unchanged:":[398],"material":[401],"sections":[405],"at":[406],"ends":[408],"last":[415],"appendix.":[416]},"counts_by_year":[],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2026-11-10T00:00:00"}