{"id":"https://openalex.org/W7213639735","doi":"https://doi.org/10.5281/zenodo.22844310","title":"The Generative Mechanism of Dimension: An Axiomatic Construction of Dimensional Conventions (Constructive Mathematics Series, Paper 6; Lean formalization, model-pair independence, numerical evidence)","display_name":"The Generative Mechanism of Dimension: An Axiomatic Construction of Dimensional Conventions (Constructive Mathematics Series, Paper 6; Lean formalization, model-pair independence, numerical evidence)","publication_year":2026,"publication_date":"2026-09-19","ids":{"openalex":"https://openalex.org/W7213639735","doi":"https://doi.org/10.5281/zenodo.22844310"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.22844310","doi":"https://doi.org/10.5281/zenodo.22844310","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22844310","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.22844310","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5141198945","display_name":"Chao Qin","orcid":"https://orcid.org/0009-0006-2000-5644","observed_orcids":["https://orcid.org/0009-0006-2000-5644"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Qin, Chao","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0006-2000-5644","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5141198945"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":8,"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/T10258","display_name":"Philosophy and Theoretical Science","score":0.3086000084877014,"subfield":{"id":"https://openalex.org/subfields/1211","display_name":"Philosophy"},"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/T10258","display_name":"Philosophy and Theoretical Science","score":0.3086000084877014,"subfield":{"id":"https://openalex.org/subfields/1211","display_name":"Philosophy"},"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/T12504","display_name":"Mathematics and Applications","score":0.1656000018119812,"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"}},{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.065700002014637,"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/dimensionality","display_name":"dimensionality","score":0.7509999871253967},{"id":"https://openalex.org/keywords/axiomatic-construction","display_name":"axiomatic construction","score":0.9259999990463257},{"id":"https://openalex.org/keywords/constructive-mathematics","display_name":"constructive mathematics","score":0.9549999833106995},{"id":"https://openalex.org/keywords/lean-formalization","display_name":"Lean formalization","score":0.9229999780654907},{"id":"https://openalex.org/keywords/three-dimensionality","display_name":"three-dimensionality","score":0.7689999938011169},{"id":"https://openalex.org/keywords/perceptual-dimensions","display_name":"perceptual dimensions","score":0.6179999709129333},{"id":"https://openalex.org/keywords/delta-t","display_name":"Delta T","score":0.32100000977516174}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6869000196456909},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.5360999703407288},{"id":"https://openalex.org/C33676613","wikidata":"https://www.wikidata.org/wiki/Q13415176","display_name":"Dimension (graph theory)","level":2,"score":0.5217000246047974},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.35659998655319214},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.3495999872684479},{"id":"https://openalex.org/C170088968","wikidata":"https://www.wikidata.org/wiki/Q4830547","display_name":"Axiom independence","level":3,"score":0.3474000096321106},{"id":"https://openalex.org/C39890363","wikidata":"https://www.wikidata.org/wiki/Q36108","display_name":"Generative grammar","level":2,"score":0.3472999930381775},{"id":"https://openalex.org/C192465680","wikidata":"https://www.wikidata.org/wiki/Q1413450","display_name":"Precondition","level":2,"score":0.34619998931884766},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.3370000123977661},{"id":"https://openalex.org/C27706067","wikidata":"https://www.wikidata.org/wiki/Q511706","display_name":"Conventionalism","level":2,"score":0.3188000023365021},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.3124000132083893},{"id":"https://openalex.org/C96157337","wikidata":"https://www.wikidata.org/wiki/Q391639","display_name":"Polyphase system","level":2,"score":0.298799991607666},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.2903999984264374},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.2896000146865845},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.287200003862381},{"id":"https://openalex.org/C35651441","wikidata":"https://www.wikidata.org/wiki/Q625303","display_name":"Independence (probability theory)","level":2,"score":0.2854999899864197},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.275299996137619},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.2596000134944916},{"id":"https://openalex.org/C117251300","wikidata":"https://www.wikidata.org/wiki/Q1849855","display_name":"Parametric statistics","level":2,"score":0.25940001010894775},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.25}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.5281/zenodo.22844310","doi":"https://doi.org/10.5281/zenodo.22844310","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22844310","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.22844311","doi":"https://doi.org/10.5281/zenodo.22844311","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22844311","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},{"id":"doi:10.5281/zenodo.23335734","doi":"https://doi.org/10.5281/zenodo.23335734","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23335734","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.5281/zenodo.22844310","doi":"https://doi.org/10.5281/zenodo.22844310","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22844310","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W7213353187","https://openalex.org/W7213392138","https://openalex.org/W7213423059","https://openalex.org/W7213429756","https://openalex.org/W7213431119","https://openalex.org/W7213432159"],"related_works":["https://openalex.org/W7213947660","https://openalex.org/W6903786903","https://openalex.org/W2030870053","https://openalex.org/W2802098856","https://openalex.org/W7155643475","https://openalex.org/W6959985914","https://openalex.org/W2791136684","https://openalex.org/W2046099437","https://openalex.org/W1972664030","https://openalex.org/W7203943076"],"abstract_inverted_index":{"Axiomatic":[0],"construction":[1],"of":[2,50,61,71,82,88,102],"dimensional":[3],"conventions":[4],"\u2014":[5,58],"fifth":[6],"constructive-mathematics":[7],"member":[8],"(CN+EN":[9],"bilingual).":[10],"v1.0:":[11],"readout-scene":[12],"quadruple":[13],"(T,":[14],"X,":[15],"d,":[16],"D-distortion),":[17],"axioms":[18],"A'1-A'4,":[19],"squeeze":[20],"criterion":[21],"A'3":[22],"with":[23],"machine-checked":[24],"Lean":[25],"cores":[26],"(DimensionAxioms/DimensionConstruct,":[27],"zero":[28],"sorry),":[29],"visual":[30],"three-dimensionality":[31],"as":[32,52,85,99],"a":[33,42,67,94],"specialization":[34],"case,":[35],"statistical":[36],"compatibility":[37],"negative":[38],"result.":[39],"v1.1":[40],"adds":[41],"section-2.1":[43],"end-note":[44],"(perceptual-dimension":[45],"interface):":[46],"the":[47,62,80,103],"dual":[48],"identity":[49],"X":[51],"scene":[53],"parameter":[54],"and":[55,79,93],"readout-axis":[56],"splitter":[57],"medium-conditioned":[59],"splitting":[60],"spatial":[63],"readout":[64],"axis":[65],"into":[66],"continuous":[68],"gradient":[69],"family":[70],"axes":[72],"(switch":[73],"point":[74],"set":[75],"by":[76],"information-source":[77],"abundance),":[78],"generation":[81],"sensory-line":[83],"families":[84],"cleavage":[86],"sections":[87],"superposed":[89],"information;":[90],"two-level":[91],"delta_T":[92],"second":[95],"(adversarial)":[96],"objective":[97],"type":[98],"perceptual-side":[100],"extensions":[101],"framework.":[104]},"counts_by_year":[{"year":2026,"cited_by_count":8}],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2026-09-20T00:00:00"}