arxiv: 2604.12432 · v2 · submitted 2026-04-14 · 🧮 math.LO

Recognition: unknown

On a new theory of models for formal mathematical systems

Matthias Kunik

Pith reviewed 2026-05-10 14:32 UTC · model grok-4.3

classification 🧮 math.LO

keywords model theoryformal languagesisomorphismhomomorphismreduced set theoryRSTformal mathematical systems

0 comments

The pith

A new model theory for formal mathematical systems introduces isomorphic and homomorphic structures for formal languages.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper extends a previously developed model theory by defining isomorphic and homomorphic structures that apply directly to formal languages. It supplies results and examples showing how these structures operate. The work closes with an adaptation of reduced set theory RST to align with the new framework. A reader would care because this setup could relate different formal systems through structure-preserving mappings in a foundation that sidesteps some limits of standard set theory.

Core claim

The paper establishes that isomorphic and homomorphic structures for formal languages can be introduced within the new model theory, with accompanying results and examples, and shows an adaptation of the reduced set theory RST to this framework.

What carries the argument

Isomorphic and homomorphic structures defined for formal languages, serving to relate models by preserving or mapping their properties in the new theory.

Load-bearing premise

The model theory from the previous paper supplies a sound and consistent foundation that permits these definitions of isomorphism and homomorphism without internal contradictions.

What would settle it

An explicit formal language where the new homomorphism or isomorphism definition produces an inconsistency with expected preservation properties or contradicts the underlying model theory.

read the original abstract

We study a new model theory for formal mathematical systems that we developed in a previous paper. We introduce isomorphic and homomorphic structures for formal languages, present some results and examples and conclude our paper with a discussion about the reduced set theory RST adapted to our new theory.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This is a direct continuation of the author's prior model theory paper that adds iso/homo structure definitions and an RST adaptation but supplies no independent checks or self-contained proofs.

read the letter

This manuscript continues the author's earlier development of a model theory for formal systems. It defines isomorphic and homomorphic structures for formal languages, gives some results and examples, and discusses how reduced set theory can be adapted to the framework. Those definitions and the RST section are the main additions here. If the base theory from the previous paper is accepted, the examples could show how mappings between models work in this setting and might clarify the adaptation of RST. The paper does present concrete illustrations, which is a small positive step for readers already inside the framework. The central limitation is that everything depends on the soundness of the earlier work without any re-statement of axioms, re-derivation, or external test in this text. The abstract contains no proofs or detailed constructions, so there is no way to see whether the new structures avoid contradictions or add anything beyond routine application. This creates a high circularity burden: the claims cannot be evaluated without first accepting the prior paper wholesale. No machine-checked components or independent benchmarks appear. The work is aimed at a very small group already following this specific line of alternative foundations in logic. Most readers in mathematical logic or set theory will find little of use without heavy background reading and will not encounter self-contained arguments or broader implications. I would not bring it to a reading group. It does not look ready for peer review because the contribution is incremental and tied too closely to unverified prior claims.

Referee Report

2 major / 0 minor

Summary. The manuscript studies a new model theory for formal mathematical systems developed in a previous paper by the author. It introduces isomorphic and homomorphic structures for formal languages, presents some results and examples, and concludes with a discussion about adapting reduced set theory (RST) to this framework.

Significance. If the underlying model theory from the prior work is consistent and the new structures are well-defined without contradiction, this could extend model-theoretic tools for formal systems in logic. However, the complete dependence on unverified prior constructions without any self-contained definitions, proofs, or independent checks here means the potential contribution cannot be assessed and remains incremental at best.

major comments (2)

The development of isomorphic and homomorphic structures rests entirely on the model theory introduced in the author's previous paper, yet no section restates the base axioms, definitions of models/languages/mappings, or provides any consistency verification or re-derivation for the new structures. This is load-bearing for all subsequent results, examples, and the RST adaptation claim.
Abstract: the claim to 'introduce isomorphic and homomorphic structures... present some results and examples' is unsupported by any explicit constructions, theorems, or data in the manuscript, making it impossible to verify whether these structures satisfy the intended properties or whether the RST adaptation is free of contradictions.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their comments and the opportunity to clarify our manuscript. We address each major comment below, indicating planned revisions where appropriate.

read point-by-point responses

Referee: The development of isomorphic and homomorphic structures rests entirely on the model theory introduced in the author's previous paper, yet no section restates the base axioms, definitions of models/languages/mappings, or provides any consistency verification or re-derivation for the new structures. This is load-bearing for all subsequent results, examples, and the RST adaptation claim.

Authors: We agree that greater self-containment would strengthen the paper. In the revised version, we will insert a concise subsection summarizing the essential axioms, definitions of models, languages, and mappings from the prior work, along with explicit cross-references. We will also state the consistency assumptions carried forward from that paper. A full re-derivation of the base consistency results lies outside the scope of this extension and would duplicate the cited work; we will instead rely on and cite those established results. revision: partial
Referee: Abstract: the claim to 'introduce isomorphic and homomorphic structures... present some results and examples' is unsupported by any explicit constructions, theorems, or data in the manuscript, making it impossible to verify whether these structures satisfy the intended properties or whether the RST adaptation is free of contradictions.

Authors: The body of the manuscript contains the explicit definitions of the isomorphic and homomorphic structures (Section 2), the stated results and examples (Sections 3–4), and the RST adaptation discussion (Section 5). To address the referee’s concern about clarity, we will revise the abstract to more precisely describe these contributions and add forward references to the specific sections and constructions. This will make verification of the intended properties and absence of contradictions more direct for readers. revision: yes

Circularity Check

1 steps flagged

Isomorphic/homomorphic structures and RST adaptation rest entirely on the author's prior model theory paper with no independent re-derivation or verification supplied here.

specific steps

self citation load bearing [Abstract]
"We study a new model theory for formal mathematical systems that we developed in a previous paper. We introduce isomorphic and homomorphic structures for formal languages, present some results and examples and conclude our paper with a discussion about the reduced set theory RST adapted to our new theory."

The introduction of isomorphic and homomorphic structures for formal languages, along with results and the RST adaptation, is defined in terms of the model theory from the author's previous paper. No re-derivation, axiom restatement, or external validation of that base theory appears in the current manuscript, so any inconsistency in the prior work propagates directly and the new structures have no independent grounding.

full rationale

The paper explicitly states that it studies a model theory developed in a previous paper by the same author, then proceeds to introduce isomorphic and homomorphic structures, results, examples, and an RST adaptation built on that foundation. No section re-states the base axioms, provides machine-checked verification, or offers self-contained constructions independent of the prior work. This makes the central claims reduce directly to the soundness of the self-cited prior construction, satisfying the self-citation load-bearing pattern without external benchmarks or independent content.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The entire contribution rests on the validity of the model theory introduced in the author's prior paper, which functions as an unexamined domain assumption. No free parameters, additional axioms, or invented entities are identifiable from the abstract.

axioms (1)

domain assumption The model theory developed in the previous paper by the same author is a valid and consistent foundation for formal mathematical systems.
Invoked as the starting point for defining isomorphic and homomorphic structures and for adapting RST.

pith-pipeline@v0.9.0 · 5315 in / 1319 out tokens · 47876 ms · 2026-05-10T14:32:21.813346+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

9 extracted references · 4 canonical work pages

[1]

a shorter model theory

Hodges, Wilfrid,“a shorter model theory”, Cambridge University Press (2003)

2003
[2]

Set Theory

Jech, Thomas, “Set Theory”, Springer Monographs in Mathematics, Springer (2006)

2006
[3]

Formal mathematical systems including a structural induc- tion principle

Kunik, Matthias, “Formal mathematical systems including a structural induc- tion principle”. Available online, see https://arxiv.org/abs/2005.04951 (2020)

work page arXiv 2005
[4]

Further results and examples for formal mathe- matical systems with structural induction

Kunik, Matthias, “Further results and examples for formal mathe- matical systems with structural induction”’. Available online, see https://arxiv.org/abs/2008.07385 (2020)

work page arXiv 2008
[5]

Reduced set theory

Kunik, Matthias, “Reduced set theory”. Available online, see https://arxiv.org/abs/2311.18551 (2023)

work page arXiv 2023
[6]

On the downward L¨ owenheim-Skolem Theorem for ele- mentary submodels

Kunik, Matthias, “On the downward L¨ owenheim-Skolem Theorem for ele- mentary submodels”. Available online, see https://arxiv.org/abs/2406.03860 (2024)

work page arXiv 2024
[7]

Models and Reality

Putnam, Hilary, “Models and Reality”,The Journal of Symbolic Logic, Vol. 45, No. 3, pp. 464–482 (1980)

1980
[8]

Mathematical logic

Shoenfield, Joseph R., “Mathematical logic”,Association for symbolic logic (1967)

1967
[9]

Abstract set theory

Skolem, Thoralf A., “Abstract set theory”,Notre Dame Mathematical Lectures, Number8(1962). Universit¨at Magdeburg, IAN, Geb ¨aude 02, Universit ¨atsplatz 2, D- 39106 Magdeburg, Germany Email address:matthias.kunik@ovgu.de

1962