{"id":"d3afba82-68e4-4fbc-9b35-54285168aee7","arxiv_id":"2606.08527","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":8.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Weakly o-minimal ordered fields have the exchange property but admit expansions without generic differentiability.","lead":"The paper answers two open questions on weakly o-minimal fields by proving they satisfy the exchange property for algebraic closure and by constructing a counterexample expansion with a nowhere-differentiable function that remains weakly o-minimal. A smart generalist might read it to understand the boundaries of tameness properties in ordered structures used in real geometry and model theory.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"Verification that the constructed expansion has weakly o-minimal theory remains the load-bearing step","rationale":"The reader's weakest_assumption correctly isolates the verification of weak o-minimality for the specific expansion as the point that must hold for the central claim. With the full text now available, this remains the single most load-bearing part of the argument; the rest of the paper (including the exchange-property appendix) does not substitute for it.","tokens_in":1631,"tokens_out":343,"duration_ms":13121,"concrete_test":"Locate the section presenting the field K, the function f, and the proof that every definable set in (K,+,·,≤,f) is a finite union of intervals; check whether the argument explicitly covers atomic formulas involving f and is closed under Boolean operations and quantifiers, and verify that no definable set with more than finitely many components is produced.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The counterexample to generic differentiability requires that Th(K,+,·,≤,f) is weakly o-minimal, i.e., every definable subset of K^n is a finite union of intervals and points. The paper supplies a concrete ordered field K and function f with the stated properties, but the claim stands or falls on the argument that adding f does not produce definable sets outside this class. Any gap in showing that sets defined using f (including those involving multiple applications or comparisons with constants) remain finite unions of intervals would mean the theory fails to be weakly o-minimal and the counterexample does not go through. The appendix on exchange is independent of this construction.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper constructs an ordered field (K, +, ·, ≤) and a function f: K → K such that the expansion (K, +, ·, ≤, f) has a weakly o-minimal complete theory, yet f is nowhere differentiable. This provides a negative answer to the question of generic differentiability for weakly o-minimal fields. An appendix proves that algebraic closure has the exchange property in any weakly o-minimal theory of ordered fields, giving a positive answer to the exchange question.","tokens_in":1763,"tokens_out":406,"duration_ms":17825,"significance":"If the construction and its verification hold, the results resolve two open questions posed by Macpherson, Marker, and Steinhorn. The explicit construction of K and f supplies a concrete counterexample to generic differentiability, while the appendix delivers a general, independent proof of the exchange property. Both are strengths for a logic paper in this area.","major_comments":[{"comment":"Construction section (and any dedicated verification subsection): the claim that Th(K, +, ·, ≤, f) is weakly o-minimal is load-bearing for the counterexample to generic differentiability. The argument must show that every definable subset of K^n (including those involving multiple applications of f or comparisons with parameters) is a finite union of intervals and points; any gap here would invalidate the counterexample.","section":"Construction of K and f"}],"minor_comments":[{"comment":"Introduction: ensure the precise statements of the two open questions from Macpherson–Marker–Steinhorn are quoted or paraphrased with citations for clarity.","section":null},{"comment":"Appendix: the exchange proof is presented as general; a brief remark on whether it applies verbatim to the constructed expansion would aid readability.","section":"Appendix"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the report and for recognizing the significance of resolving the two questions from Macpherson, Marker, and Steinhorn. We address the single major comment below and will revise the manuscript to strengthen the relevant verification.","responses":[{"response":"We agree that the verification must be fully rigorous and cover all definable sets in K^n. The current manuscript sketches the argument by reducing definability to the specific piecewise-linear form of f and the o-minimality of the underlying field, but we acknowledge that the treatment of iterated applications of f and parameter comparisons can be made more explicit. In the revision we will add a dedicated subsection that proves, by induction on formula complexity, that every definable subset of K^n is a finite union of intervals and points, explicitly handling multiple compositions of f.","revision_made":"yes","referee_comment":"[Construction of K and f] Construction section (and any dedicated verification subsection): the claim that Th(K, +, ·, ≤, f) is weakly o-minimal is load-bearing for the counterexample to generic differentiability. The argument must show that every definable subset of K^n (including those involving multiple applications of f or comparisons with parameters) is a finite union of intervals and points; any gap here would invalidate the counterexample."}],"tokens_in":1181,"tokens_out":291,"duration_ms":10051,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main takeaway is that weakly o-minimal fields have the exchange property for algebraic closure, but they need not satisfy generic differentiability. The authors give a concrete ordered field K and function f where the expansion by f has weakly o-minimal theory yet f is nowhere differentiable. An appendix proves the exchange result for any weakly o-minimal theory of ordered fields.\n\nThe construction directly targets the questions left open by Macpherson, Marker, and Steinhorn. Separating the exchange proof into an appendix keeps the two results clean and independent. The negative answer to generic differentiability rests on showing that the added function does not create definable sets outside finite unions of intervals and points.\n\nThe load-bearing step is verifying that the specific expansion really stays weakly o-minimal. Any gap there would collapse the counterexample, though the paper presents the construction as achieving this. The exchange result stands apart and does not depend on the same details.\n\nThis work is aimed at model theorists interested in o-minimality, dimension theory, and tameness properties of ordered fields. Readers following those specific open questions will get direct answers from the construction and the appendix.\n\nIt deserves peer review. The paper engages the prior literature with explicit work rather than general assertions.","headline":"The paper settles the two open questions with an explicit counterexample to generic differentiability and a separate proof of the exchange property.","tokens_in":2198,"tokens_out":327,"would_cite":false,"duration_ms":12998,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Weakly o-minimal ordered fields have the exchange property but admit expansions without generic differentiability.","keywords":["weakly o-minimal","ordered fields","exchange property","generic differentiability","model theory","algebraic closure","o-minimality"],"falsifier":"A demonstration that the constructed function f is differentiable at some point, or a proof that the theory of the expansion is not weakly o-minimal.","tokens_in":2516,"feed_emoji":"","tokens_out":584,"duration_ms":28102,"temperature":0.7,"pith_summary":"The paper resolves two open questions on weakly o-minimal fields by proving that algebraic closure satisfies the exchange property in any weakly o-minimal theory of ordered fields. It constructs an ordered field K together with a function f from K to K such that the expansion by f has a weakly o-minimal complete theory, yet f is nowhere differentiable. This shows that weak o-minimality does not force generic differentiability. A reader would care because the construction separates two candidate tameness properties that had been asked about together.","feed_headline":"Exchange holds in weakly o-minimal fields but differentiability fails","feed_subtitle":"Construction yields a weakly o-minimal expansion with a nowhere differentiable function while appendix proves algebraic exchange property.","key_machinery":"The specific constructed expansion (K, +, ·, ≤, f) that has a weakly o-minimal theory while serving as a counterexample to generic differentiability.","core_discovery":"The central claim is that algebraic closure has the exchange property in every weakly o-minimal theory of ordered fields. Separately, there exists an ordered field K and function f such that the structure (K, +, ·, ≤, f) is weakly o-minimal but f is nowhere differentiable.","pith_inferences":["The separation suggests that weak o-minimality permits more pathological definable functions than stronger tameness conditions.","Analogous constructions could separate other regularity properties such as continuity or monotonicity from weak o-minimality.","It remains open whether the exchange property constrains the possible definable functions in any further concrete way."],"forward_implications":["Algebraic closure satisfies the exchange property in any weakly o-minimal theory of ordered fields.","Generic differentiability fails in some weakly o-minimal expansions of ordered fields.","There exist nowhere differentiable functions definable in some weakly o-minimal structures on ordered fields.","The exchange property can hold while generic differentiability fails under weak o-minimality."],"fun_headline_variants":["Weakly o-minimal fields exchange but lack generic differentiability","Exchange property holds for weakly o-minimal fields but no differentiability","Weakly o-minimal field construction lacks generic differentiability","Appendix shows exchange in weakly o-minimal ordered field theories"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The constructed expansion by the function f has a complete theory that is weakly o-minimal.","fun_headline_variants_meta":{"raw":{"variants":["Weakly o-minimal fields exchange but lack generic differentiability","Exchange property holds for weakly o-minimal fields but no differentiability","Weakly o-minimal field construction lacks generic differentiability","Appendix shows exchange in weakly o-minimal ordered field theories"]},"model":"grok-4.3","cost_usd":0.013675,"raw_usage":{"total_tokens":5841,"prompt_tokens":527,"num_sources_used":0,"completion_tokens":68,"cost_in_usd_ticks":136749500,"prompt_tokens_details":{"text_tokens":527,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":5246,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":527,"tokens_out":68,"duration_ms":30730,"temperature":1.0,"reasoning_tokens":5246,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-27T17:48:00.629797+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A demonstration that the constructed function f is differentiable at some point, or a proof that the theory of the expansion is not weakly o-minimal.","supporting_citations":[],"review_version":1}