Preprint
Article

This version is not peer-reviewed.

Curved Meta-Relativity from Exact Witness Architectures Terminal-Fiber Geometry, Barrier Fields, and the Relativity of Exact Recognition

Submitted:

11 April 2026

Posted:

14 April 2026

You are already at the latest version

Abstract
We develop a metamathematical analogue of special and curved relativity built from exact witness architectures. For a proposition equipped with exact positive and negative witness channels, the corresponding positive and negative terminal directions are promoted to formal terminal meta-fibers. These play the role of null directions and generate a terminal cone together with an invariant interval dσ2 = dU dV = dT2 − dX2. This yields a flat theory, Terminal-Fiber Relativity, in which Lorentz-type transformations arise as exactly the observer changes preserving the terminal interval and the oriented terminal cone. We then reinterpret the principal barrier theorems of exact witness architecture theory as relativistic laws: the Selection Jump Theorem becomes a universal null-propagation principle; reflection collapse forbids global internal inertial charts on Π1-universal sectors; and Tarski and diagonal barriers forbid global arithmetic charts on truth-universal sectors. The second half of the paper extends the flat theory to curved meta-relativity. We define terminal-fiber manifolds, local null charts, occupancy fields, barrier fields, and a scalar curvature law in dimension 1+1. Because ordinary Einstein dynamics is trivial in two dimensions, the curved theory is governed instead by a conformal scalar equation sourced by barrier density and mixed terminal occupancy. We also formulate a higher-rank extension and a functorial packaging from exact witness architectures to terminal-fiber geometries. The result is not an empirical substitute for spacetime physics, but a geometric invariant theory of exact recognition.
Keywords: 
;  ;  ;  ;  ;  ;  ;  ;  ;  

1. Introduction

This paper proposes a metamathematical replacement for the formal role played by special and curved relativity. The proposal is not an empirical alternative to Lorentzian spacetime physics. Rather, it is a new geometric theory in which the primitive invariant objects are not spacetime light rays, but terminal meta-fibers arising from exact witness architectures.
The starting point is the metatheory of exact witness architectures developed in companion work [2]. There, a proposition or semantic class is studied together with distinguished exact witness channels. In the basic two-sided situation, one has a positive channel of stagewise certification and a negative channel of finite bad-witness production. The resulting theory exhibits strong structural laws: the positive terminal fiber is either empty or Π 2 0 -complete, the negative terminal fiber is either empty or Σ 1 0 -complete, nonempty stagewise-local classes obey a selection jump, and sufficiently universal internal or semantic exactness triggers reflection, Tarski, or diagonal collapse.
The guiding observation of the present paper is that the positive and negative terminal directions induced by an exact two-sided witness package play the same formal role in this metamathematical setting that null directions play in special relativity. They are the distinguished invariant directions from which the geometry should be built. Once this is taken seriously, a large portion of relativistic formalism has a natural reinterpretation:
  • the light cone is replaced by the terminal cone,
  • null directions are replaced by positive and negative terminal meta-fibers,
  • inertial frames are replaced by witness charts,
  • Lorentz transformations are replaced by exact-recognition recodings preserving the terminal interval,
  • proper time becomes proper meta-time,
  • curvature becomes barrier-induced deformation of terminal geometry.
This yields a flat theory, which we call Terminal-Fiber Relativity (TFR), and then a curved extension, which we call Curved Meta-Relativity (CMR).
The paper has two layers. The first, contained in , is deductive: it reorganizes and geometrizes results already available from exact witness architecture theory. The second, contained in , is axiomatic: it proposes a curved extension of the flat terminal-fiber model by introducing barrier fields, occupancy fields, null transport laws, and scalar curvature dynamics in dimension 1 + 1 . This separation is important. The flat sector is a rigorous reinterpretation of existing metatheory; the curved sector is a new formal development proposed here.
The specific contributions of the paper are as follows.
(1)
We define formal terminal meta-fibers  e P + , e P attached to any exact two-sided decidable witness package for a proposition P, and distinguish them from the realized positive and negative terminal fibers.
(2)
We construct the flat terminal-fiber plane
M P = R e P + R e P ,
equip it with a null metric, derive Lorentz-type boosts, proper meta-time, and a velocity-addition law, and show that the invariant interval is
d σ 2 = d U d V = d T 2 d X 2 .
(3)
We reinterpret the Selection Jump Theorem as a universal null-propagation law, reflection collapse as a no internal global inertial frame theorem, and the Tarski/diagonal barriers as global chart obstructions.
(4)
We state a formal axiomatization of flat Terminal-Fiber Relativity, including a direct replacement for Einstein’s two postulates.
(5)
We define terminal-fiber manifolds, prove a local null-coordinate theorem, compute the Levi-Civita connection in conformal null gauge, derive the null geodesic equations, and introduce a conformally natural scalar curvature K g adapted to the 1 + 1 terminal-fiber setting.
(6)
We define barrier fields
J , R , T , D
corresponding respectively to jump pressure, reflection pressure, truth pressure, and diagonal pressure, combine them into a total barrier scalar
B = α J + β R + γ T + δ D ,
and couple this to geometry and occupancy fields via a scalar curvature law.
(7)
We formulate occupancy transport in divergence form, derive a Raychaudhuri-type focusing equation for null congruences, and give an action principle in conformal null gauge.
(8)
We work out several explicit curved examples: flat vacuum, constant-curvature barrier vacua, one-sided occupancy sectors, smooth mixed-occupancy bubbles, and focusing by positive barrier load.
(9)
We outline a higher-rank extension and give a functorial packaging from exact witness architectures to terminal-fiber geometries.
The resulting theory is a geometric invariant theory of exact recognition. It is intended neither as metaphor alone nor as empirical spacetime physics, but as a new mathematical language for the architecture of certification, reflection, truth, and terminality.

2. Exact Witness Architectures, Terminal Fibers, and Formal Meta-Fibers

We begin by recalling the fragment of exact witness architecture theory needed in the present paper. For full proofs and broader context see [2].

2.1. Exact Witness Packages

Definition 1 
(Exact two-sided decidable witness package). A proposition P is said to carry anexact two-sided decidable witness packageif there exist decidable predicates
R P ( n , c ) N 2 , B P ( w ) N
such that in the standard model
N P n c R P ( n , c ) , N ¬ P w B P ( w ) .
The positive channel is thus stagewise:
P n c R P ( n , c ) ,
while the negative channel is one-shot:
¬ P w B P ( w ) .

2.2. Resolution Profiles and Terminal Fibers

We now recall the positive and negative terminal fibers attached to a resolver narrative.
Definition 2 
(Positive depth and negative witness rank). Fix a proposition P with an exact two-sided decidable witness package. Interpret elements of W e as tagged outputs:
0 , n , c and 1 , w .
Define the positive depth of e by
p P ( e ) : = sup N N : n < N c 0 , n , c W e R P ( n , c ) N { } ,
and the negative witness rank by
n P ( e ) : = min { w : 1 , w W e B P ( w ) } , if such a w exists , , otherwise .
Definition 3 
(Positive and negative terminal fibers). For a fixed proposition P with exact two-sided decidable witness package, define
P P : = { e N : p P ( e ) = } , N P : = { e N : n P ( e ) < } .
These are the positive terminal fiberand negative terminal fiber, respectively.
The terminology reflects the fact that P P consists of narratives with full positive stagewise completion, whereas N P consists of narratives reaching negative closure by exhibiting a finite bad witness.
Theorem 1 
(Terminal-fiber occupancy theorem; input from exact witness architecture theory). Let P carry an exact two-sided decidable witness package. Then:
(i)
if N P , then P P is Π 2 0 -complete and N P = ;
(ii)
if N ¬ P , then P P = and N P is Σ 1 0 -complete.
Proof. 
This is a direct reformulation of the positive and negative terminal-fiber theorems proved in [2]. □
Remark 1. 
The theorem shows that truth does not create the geometry; it determines the occupancy pattern of a pre-existing formal architecture. This distinction will become central below.

2.3. Formal Meta-Fibers

The realized terminal fibers P P and N P may be empty, depending on the truth of P. For geometry, however, what matters are the formal directions induced by the witness package itself.
Definition 4 
(Formal terminal meta-fibers). Let P carry an exact two-sided decidable witness package. The associated formal terminal meta-fibers are the two abstract symbols
e P + , e P ,
where:
  • e P + is attached to the positive stagewise channel
    n c R P ( n , c ) ,
  • e P is attached to the negative bad-witness channel
    w B P ( w ) .
Remark 2. 
The formal meta-fibers e P ± are the analogues of null directions. The realized terminal fibers P P and N P are the occupancy layers that live along those directions. The geometry will be built from the formal directions, not from the occupancy sets themselves.

2.4. Resolution-Chart Coordinates

To connect the formal geometry back to the underlying witness data, we record a coarse-grained chart construction.
Definition 5 
(Resolution-chart coordinates). Fix monotone regularizations
ψ + , ψ : N { } [ 0 , ]
with ψ ± ( ) = ; for example ψ ± ( m ) = log ( 1 + m ) for m N . For a resolver narrative e, define
U P ( e ) : = ψ + p P ( e ) , V P ( e ) : = ψ n P ( e ) .
Remark 3. 
These resolution-chart coordinates are observer-dependent coarse-grainings of the raw resolution profile. They are not the geometry itself. They provide one family of charts on partial-resolution states, while the terminal-fiber geometry is determined by the formal directions e P ± .

3. Flat Terminal-Fiber Relativity

We now build the flat 1 + 1 -dimensional geometry associated to a fixed exact witness architecture.

3.1. Meta-Event Space and Terminal Metric

Definition 6 
(Flat terminal-fiber plane). Let P carry an exact two-sided decidable witness package. The associated flat terminal-fiber plane is the real vector space
M P : = R e P + R e P .
An element
X = U e P + + V e P M P
is called ameta-event. The coordinates ( U , V ) are the null terminal coordinates.
Definition 7 
(Terminal metric). The terminal metricon M P is the symmetric bilinear form g P determined by
g P ( e P + , e P + ) = 0 , g P ( e P , e P ) = 0 , g P ( e P + , e P ) = 1 2 .
Proposition 1 
(Invariant interval). If
X = U e P + + V e P ,
then
g P ( X , X ) = U V .
If we set
T : = U + V 2 , X 1 : = U V 2 ,
then
g P ( X , X ) = T 2 ( X 1 ) 2 .
Equivalently,
d σ 2 = d U d V = d T 2 d ( X 1 ) 2 .
Proof. 
Using bilinearity and the defining relations of 7,
g P ( X , X ) = U 2 g P ( e P + , e P + ) + 2 U V g P ( e P + , e P ) + V 2 g P ( e P , e P ) = U V .
Now substitute
U = T + X 1 , V = T X 1 ,
to obtain
U V = ( T + X 1 ) ( T X 1 ) = T 2 ( X 1 ) 2 .
The differential form follows immediately. □

3.2. Terminal Cone, Causal Structure, and Null Propagation

Definition 8 
(Terminal cone). Thefuture terminal coneat the origin is
C P + : = { U e P + + V e P : U 0 , V 0 } .
A vector X M P is called:
  • nullif g P ( X , X ) = 0 ,
  • timelikeif g P ( X , X ) > 0 ,
  • spacelikeif g P ( X , X ) < 0 .
Remark 4. 
A future-directed null vector lies on one of the two boundary rays of C P + , i.e. along e P + or along e P . These are the two formal null directions of the theory.
Definition 9 
(Meta-worldline and proper meta-time). Afuture-directed meta-worldlineis a differentiable curve
γ : λ ( U ( λ ) , V ( λ ) )
with U ˙ ( λ ) 0 and V ˙ ( λ ) 0 . If γ is timelike, itsproper meta-timeis
σ [ γ ] : = U ˙ ( λ ) V ˙ ( λ ) d λ = T ˙ ( λ ) 2 X ˙ 1 ( λ ) 2 d λ .
Proposition 2 
(Null propagation). A future-directed curve in the flat terminal-fiber plane is null if and only if one of its null coordinates is constant. Equivalently, null propagation occurs along the formal meta-fibers.
Proof. 
Since
d σ 2 = d U d V ,
a future-directed curve is null exactly when U ˙ V ˙ = 0 . Because U ˙ , V ˙ 0 , this means either U ˙ = 0 identically or V ˙ = 0 identically, hence either U is constant or V is constant. □

3.3. Observers and Lorentz-Type Boosts

Definition 10 
(Flat witness chart). Aflat witness charton M P is a coordinate system ( T , X 1 ) obtained from null coordinates ( U , V ) by
T = U + V 2 , X 1 = U V 2 .
Definition 11 
(Flat boost). For η R , define theflat boost of rapidity η by
U = e η U , V = e η V .
Theorem 2 
(Classification of oriented flat boosts). Let A : M P M P be a linear automorphism preserving:
(i)
the ordered null rays R 0 e P + and R 0 e P , and
(ii)
the terminal metric g P .
Then there exists a unique λ > 0 such that
A ( e P + ) = λ e P + , A ( e P ) = λ 1 e P .
Equivalently, with η = log λ , A is exactly the flat boost
( U , V ) ( e η U , e η V ) .
Proof. 
Because A preserves the ordered null rays, there exist a , b > 0 such that
A ( e P + ) = a e P + , A ( e P ) = b e P .
Metric preservation implies
1 2 = g P ( e P + , e P ) = g P ( A e P + , A e P ) = a b g P ( e P + , e P ) = a b 2 ,
hence a b = 1 . Set λ : = a , so b = λ 1 . This representation is unique. □
Corollary 1 
(Cartesian form of flat boosts). In Cartesian coordinates ( T , X 1 ) , the flat boost of rapidity η is
T X 1 = cosh η sinh η sinh η cosh η T X 1 .
Proof. 
Since U = T + X 1 and V = T X 1 ,
T = U + V 2 = e η ( T + X 1 ) + e η ( T X 1 ) 2 ,
X 1 = U V 2 = e η ( T + X 1 ) e η ( T X 1 ) 2 .
Using
cosh η = e η + e η 2 , sinh η = e η e η 2 ,
the formula follows. □
Proposition 3 
(Invariance of proper meta-time). Flat boosts preserve the terminal interval and therefore preserve proper meta-time along timelike worldlines.
Proof. 
By definition,
d U d V = e η e η d U d V = d U d V .
Thus
d σ 2 = d σ 2 .
Integrating along a timelike worldline gives the claim. □
Definition 12 
(Meta-velocity). For a timelike flat meta-worldline expressed as X 1 = X 1 ( T ) , define themeta-velocity
β : = d X 1 d T .
Proposition 4 
(Terminal speed bound and velocity addition). Let γ be a future-directed timelike flat meta-worldline.
(i)
One has | β | < 1 .
(ii)
Under the flat boost of rapidity η, with v : = tanh η , the transformed meta-velocity satisfies
β = β + v 1 + v β .
In particular, the null speed | β | = 1 is invariant.
Proof. 
From
d σ 2 = d T 2 d ( X 1 ) 2
and timelikeness, we have
d T 2 d ( X 1 ) 2 > 0 ,
hence
d X 1 d T < 1 .
This proves (i).
For (ii), using 1,
d T d T = cosh η + sinh η β , d X 1 d T = sinh η + cosh η β .
Therefore
β = d X 1 / d T d T / d T = sinh η + cosh η β cosh η + sinh η β = β + tanh η 1 + β tanh η = β + v 1 + v β .
If | β | = 1 , the right-hand side again has absolute value 1. □

4. Barrier Laws Interpreted as Relativistic Laws

We now reinterpret the main barrier theorems of exact witness architecture theory in the language of Terminal-Fiber Relativity.

4.1. Selection Jump as Null Universality

Theorem 3 
(Selection Jump; input from exact witness architecture theory). Let ( n , c ) be decidable, and let
S = e : n t ( T K ( e , n , t ) ( n , U K ( t ) ) ) .
If S , then S is Π 2 0 -complete.
Proof. 
This is the Selection Jump Theorem from [2]. □
Theorem 4 
(Positive null universality law). In Terminal-Fiber Relativity, any nonempty stagewise-local positive sector is universal at the Π 2 0 level. Equivalently, the existence of a single successful positive seed forces universal positive null propagation.
Proof. 
This is a direct reinterpretation of 3: the stagewise-local sector is precisely the positive null sector determined by a local certification law. □
Remark 5. 
The content is structural, not merely a one-off reduction from TOT to a preselected set. The theorem says that every nonempty stagewise-local class with decidable local verification lies on the same universal positive null cone. In that sense, the positive null direction behaves like an invariant propagation channel.

4.2. Reflection Collapse as no Internal Global Inertial Frame

Theorem 5 
(Reflection collapse; input from exact witness architecture theory). Let T I Σ 1 be recursively axiomatizable. If an arithmetic formula Term ( x ) is adequate along a primitive recursive Π 1 -universal embedding, then T proves full Π 1 -reflection for itself.
Proof. 
This is the Reflection Collapse Theorem from [2]. □
Corollary 2 
(Internal-frame prohibition law). No consistent recursively axiomatizable extension of I Σ 1 admits an internal exact global inertial chart on a Π 1 -universal sector.
Proof. 
If such a chart existed, it would be represented by a same-theory adequate exact recognizer on a Π 1 -universal image, contradicting 5. □

4.3. Tarski and Diagonal Barriers as Global Chart Obstructions

Theorem 6 
(Exact threshold; input from exact witness architecture theory). An arithmetic exact terminality predicate exists on a truth-faithfully embedded fragment if and only if the corresponding fragment truth set is arithmetical.
Proof. 
This is the Exact Threshold Theorem from [2]. □
Corollary 3 
(Global arithmetic chart prohibition). A truth-universal witness class admits no global arithmetic exact chart.
Proof. 
Apply 6 to the full arithmetic truth set. □
Theorem 7 
(Diagonal collapse; input from exact witness architecture theory). A diagonally universal witness class admits no global arithmetic exact classifier, and any full internal biconditional scheme along a truth-universal image is inconsistent.
Proof. 
This is the combined diagonal-barrier and internal-biconditional collapse theorem from [2]. □
Remark 6. 
In the relativistic picture, Tarski’s theorem says that the full truth cone has no global arithmetic coordinate chart, while diagonal collapse says that a sufficiently self-referential charting attempt creates a paradoxical self-intersection of the chart system.

4.4. Truth as Occupancy Pattern

Remark 7 
(Truth is occupancy, not geometry). The formal terminal directions e P + , e P exist once the exact witness package is fixed. The truth value of P does not determine whether the geometry exists. Rather:
  • if P is true, the positive terminal fiber is populated and the negative one is empty;
  • if P is false, the negative terminal fiber is populated and the positive one is empty.
Thus truth is theoccupancy patternof the terminal geometry.

5. Axioms of Terminal-Fiber Relativity

This section packages the flat theory into an explicit axiomatic form.
Definition 13  
(Flat Terminal-Fiber Relativity). Aflat Terminal-Fiber Relativity systemconsists of data
M , g , e + , e , O + , O
satisfying the following axioms:
(TFR-1)
Dual terminal directions.There are two distinguished formal null directions e + , e .
(TFR-2)
Meta-event space.The meta-event space is the 2-dimensional real vector space
M = R e + R e .
(TFR-3)
Terminal metric.There is a symmetric bilinear form g such that
g ( e + , e + ) = g ( e , e ) = 0 , g ( e + , e ) = 1 2 .
(TFR-4)
Terminal cone.The future terminal cone is the convex cone generated by e + and e .
(TFR-5)
Observer principle.Observers are coordinate systems or linear recodings preserving the oriented terminal cone.
(TFR-6)
Boost invariance.Observer changes preserving g act in null coordinates by
( U , V ) ( λ U , λ 1 V ) ( λ > 0 ) .
(TFR-7)
Realized occupancy.There are occupancy layers O + and O attached to the two terminal directions.
(TFR-8)
Positive null universality.Any nonempty stagewise-local positive sector is universal at the Π 2 0 level.
(TFR-9)
Global chart barriers.No same-theory internal exact global chart exists on a Π 1 -universal sector, and no arithmetic exact global chart exists on a truth-universal sector.
Remark 8.  
The first six axioms define the flat geometry. The last three import the principal barrier laws that make the geometry specifically metamathematical rather than purely formal.
Definition 14  
(Terminal-Fiber postulates). The two analogues of Einstein’s postulates are:
(P1)
Witness-law invariance.The laws of exact witness propagation are the same in every inertial witness chart.
(P2)
Terminal-cone invariance.The terminal cone generated by the positive and negative meta-fibers is observer-invariant.
Proposition 5.  
The flat model constructed in Section 3 satisfies the Terminal-Fiber postulates of 14.
Proof. 
Witness-law invariance is built into the requirement that the observer changes preserve the metric and the oriented terminal cone. Terminal-cone invariance is immediate because the permitted observer changes act by positive rescaling on the two null rays. □

6. Curved Meta-Relativity

We now pass from the flat model to a curved one. Since a single exact two-sided witness architecture canonically yields a 1 + 1 null geometry, the natural curved extension is a 1 + 1 Lorentzian theory built from a pair of null line fields.
Remark 9  
(Status of the curved theory). The curved theory from this section onward is axiomatic. It is proposed as a mathematically coherent extension of the flat terminal-fiber model, not as a theorem already forced by the witness-architecture results of the companion work.

6.1. Terminal-Fiber Manifolds

Definition 15 
(Terminal-fiber manifold). Aterminal-fiber manifoldis a quadruple
( M , N + , N , g )
consisting of:
(i)
a smooth 2-manifold M;
(ii)
smooth rank-1 subbundles N + , N T M ;
(iii)
a Lorentzian metric g on M;
such that:
(a)
N x + N x = T x M for every x M ;
(b)
both N + and N are null for g;
(c)
if k + N x + and k N x are positively oriented generators, then
g ( k + , k ) > 0 .
Remark 10. 
A terminal-fiber manifold is the curved analogue of the flat data ( M P , g P , e P + , e P ) . The null line bundles N ± are the curved terminal meta-fibers.
Proposition 6 
(Local null coordinates). Let ( M , N + , N , g ) be a terminal-fiber manifold. Then every point of M has a neighborhood with coordinates ( u , v ) such that
N + = span ( u ) , N = span ( v ) ,
and
g = Ω ( u , v ) d u d v
for some smooth function Ω ( u , v ) > 0 .
Proof. 
Each rank-1 smooth distribution is locally integrable. Choose local nonvanishing vector fields k + Γ ( N + ) and k Γ ( N ) near the point under consideration. Their integral curves define two local one-dimensional foliations. Because the distributions are complementary, the corresponding foliations are transverse, and therefore determine local coordinates ( u , v ) in which the leaves of N + are given by fixing v and the leaves of N are given by fixing u.
In these coordinates, k + and k are nonzero multiples of u and v , respectively. Reparametrizing u along the N + leaves and v along the N leaves, we may assume
N + = span ( u ) , N = span ( v ) .
Since both u and v are null, the metric has no d u 2 or d v 2 term. Thus in local coordinates
g = A ( u , v ) d u d v
for some smooth function A. Because g ( u , v ) > 0 by orientation convention, A > 0 . Writing Ω : = A completes the proof. □
Definition 16 
(Conformal null gauge). A local coordinate system ( u , v ) as in 6 is called aconformal null gauge. Writing
Ω = e 2 Φ ,
we call Φ theconformal meta-potential.

6.2. Connection, Geodesics, and Curvature

When
g = Ω ( u , v ) d u d v ,
we adopt the symmetric tensor convention
g = Ω 2 ( d u d v + d v d u ) ,
so that in coordinates
g u v = g v u = Ω 2 , g u u = g v v = 0 .
Lemma 1 
(Inverse metric and volume density). In conformal null gauge one has
g u v = g v u = 2 Ω , g u u = g v v = 0 ,
and
| det ( g a b ) | = Ω 2 4 .
Hence the volume density is
| det g | = Ω 2 .
Proof. 
The matrix of g in the basis ( u , v ) is
0 Ω / 2 Ω / 2 0 .
Its inverse is
0 2 / Ω 2 / Ω 0 ,
which gives the inverse-metric coefficients. The determinant is
Ω 2 2 ,
so its absolute value is Ω 2 / 4 , and the square root is Ω / 2 . □
Proposition 7 
(Levi-Civita connection in conformal null gauge). In conformal null gauge the only nonzero Christoffel symbols are
Γ u u u = u ( log Ω ) , Γ v v v = v ( log Ω ) .
Proof. 
Using the standard formula
Γ b c a = 1 2 g a d b g c d + c g b d d g b c ,
and the coefficients from 1, we compute:
Γ u u u = 1 2 g u v u g u v + u g u v v g u u = 1 2 · 2 Ω · 2 u ( Ω / 2 ) = u Ω Ω = u ( log Ω ) .
Similarly,
Γ v v v = v ( log Ω ) .
For mixed symbols, one finds for example
Γ u v u = 1 2 g u v u g v v + v g u u v g u v + 1 2 g u u ( ) = 0 ,
since g u u = g v v = 0 and g u u = 0 . The remaining symbols vanish by the same reasoning. □
Corollary 4 
(Geodesic equations). A curve λ ( u ( λ ) , v ( λ ) ) is an affinely parametrized geodesic if and only if
u ¨ + u ( log Ω ) u ˙ 2 = 0 ,
v ¨ + v ( log Ω ) v ˙ 2 = 0 .
Proof. 
Substitute the connection coefficients from 7 into the geodesic equation
x ¨ a + Γ b c a x ˙ b x ˙ c = 0 .
Only Γ u u u contributes to the u equation and only Γ v v v contributes to the v equation. □
Proposition 8 
(Null geodesics). In a terminal-fiber manifold, the unparametrized null geodesics are locally the coordinate lines
u = constant or v = constant
of a conformal null gauge.
Proof. 
By 6, the null directions are locally u and v . Since the corresponding coordinate lines are tangent to these null directions, they are the local null integral curves. Conversely, every null curve is tangent to one of the null line fields and hence locally coincides with one of these coordinate lines up to reparametrization. □
Definition 17 
(Meta-curvature scalar). In a conformal null gauge
g = Ω ( u , v ) d u d v ,
define themeta-curvature scalarby
K g : = Ω 1 u v ( log Ω ) .
Equivalently, if Ω = e 2 Φ , then
K g = 2 e 2 Φ u v Φ .
Remark 11. 
Up to a conventional factor, K g is the usual scalar curvature of a 1 + 1 Lorentzian metric in null coordinates [4,9]. The normalization above is chosen because it interacts especially cleanly with the barrier-field equations introduced later.
Proposition 9 
(Gauge invariance of meta-curvature). The scalar K g is invariant under oriented null-coordinate changes
u f ( u ) , v g ( v ) ,
with f , g > 0 .
Proof. 
Under such a change,
d u d v = 1 f ( u ) g ( v ) d u d v ,
so the conformal factor transforms as
Ω = Ω f ( u ) g ( v ) .
Therefore
log Ω = log Ω log f ( u ) log g ( v ) .
Applying u v kills the additive terms depending only on u or only on v, yielding
u v ( log Ω ) = u v ( log Ω ) .
Since
( Ω ) 1 = f ( u ) g ( v ) Ω 1 , u = 1 f ( u ) u , v = 1 g ( v ) v ,
the Jacobian factors cancel in the expression
( Ω ) 1 u v ( log Ω ) ,
and one obtains exactly K g . □
Definition 18 
(Future-directed timelike curve and proper meta-time). A differentiable curve
γ : λ ( u ( λ ) , v ( λ ) )
in a conformal null gauge isfuture-directed timelikeif
u ˙ ( λ ) > 0 , v ˙ ( λ ) > 0 .
Itsproper meta-timeis
σ [ γ ] = Ω γ ( λ ) u ˙ ( λ ) v ˙ ( λ ) d λ .
Proposition 10 
(Null curves in the curved theory). A future-directed curve in a terminal-fiber manifold is null if and only if locally one of its null coordinates is constant.
Proof. 
In conformal null gauge,
d σ 2 = Ω d u d v .
Since Ω > 0 , the null condition is exactly u ˙ v ˙ = 0 . For a future-directed curve, this means either u ˙ = 0 or v ˙ = 0 locally. □
Definition 19 
(Meta-observer field). Ameta-observer fieldon a terminal-fiber manifold is a future-directed unit timelike vector field τ.
Proposition 11 
(Observer decomposition). Let ( M , N + , N , g ) be a terminal-fiber manifold, and work in a conformal null gauge
g = Ω d u d v .
Then every future-directed unit timelike vector field τ can be written uniquely in the form
τ = Ω 1 / 2 e χ u + e χ v
for a unique smooth real-valued function χ, called therapidity fieldof the observer.
Proof. 
Write
τ = a u + b v .
Future-directed timelikeness implies a , b > 0 . The normalization condition is
1 = g ( τ , τ ) = Ω a b .
Hence a b = Ω 1 . Since a , b > 0 , there exists a unique χ such that
a = Ω 1 / 2 e χ , b = Ω 1 / 2 e χ .
Substituting gives the claimed formula. □
Remark 12. 
The observer decomposition shows that local observer changes in the curved theory are controlled by a rapidity field χ, i.e. a pointwise Lorentz boost. In this sense the curved theory is a local-gauge version of the flat boost picture.

7. Barrier Fields, Occupancy Fields, and Curvature

The flat theory identifies the principal metamathematical obstructions: selection jump, reflection collapse, truth/Tarski obstruction, and diagonal collapse. The curved theory interprets these obstructions as source fields that bend the terminal geometry.

7.1. Occupancy Fields

Definition 20 
(Positive and negative occupancy fields). Let ( M , N + , N , g ) be a terminal-fiber manifold. A pair of nonnegative scalar fields
ρ + , ρ : M [ 0 , )
is called apositive/negative occupancy field pair.
Remark 13. 
The fields ρ + and ρ are coarse-grained analogues of realized occupancy along the positive and negative terminal fibers. In a region dominated by positive terminal completion one expects ρ + ρ ; in a region dominated by negative closure one expects the reverse.
Definition 21 
(Occupancy polarization and total occupancy). Given occupancy fields ρ + , ρ , define
Q : = ρ + ρ , N : = ρ + + ρ .
We call Q theoccupancy polarizationand N thetotal occupancy density.

7.2. Barrier Fields

Definition 22 
(Barrier field components). Abarrier field systemon a terminal-fiber manifold consists of scalar fields
J , R , T , D : M R ,
interpreted respectively as:
  • J:jump densityorselection-jump pressure,
  • R :reflection pressure,
  • T :truth pressureorTarski pressure,
  • D :diagonal pressure.
Definition 23 
(Total barrier scalar). Fix coupling constants α , β , γ , δ R . The associatedtotal barrier scalaris
B : = α J + β R + γ T + δ D .
Remark 14. 
The scalar B is the metamathematical analogue of a curvature source density. It records how strongly the architecture at a given region is being driven by universality pressure, reflection pressure, truth pressure, and diagonal instability.

7.3. Curvature Law

A key subtlety is that ordinary Einstein dynamics is trivial in dimension 1 + 1 : the Einstein tensor vanishes identically. Accordingly, curved meta-relativity must use a different dynamical law. The simplest nontrivial law is a scalar curvature law.
Definition 24 
(Geometric source scalar). Fix a coupling constant ζ R . Thegeometric source scalaris
Σ : = B + ζ ρ + ρ .
Axiom 8 
(Curvature law). A curved terminal-fiber geometry satisfies the scalar curvature equation
K g = Λ + κ Σ
for fixed constants Λ , κ R .
Remark 15. 
The mixed occupancy term ρ + ρ is included because genuinely mixed positive/negative occupancy should contribute more strongly to curvature than a purely one-sided occupancy sector. The constant Λ is a meta-cosmological term.
Proposition 12 
(Conformal form of the curvature law). In conformal null gauge
g = e 2 Φ d u d v ,
8 is equivalent to
u v Φ + 1 2 e 2 Φ Λ + κ ( B + ζ ρ + ρ ) = 0 .
Proof. 
By 17,
K g = 2 e 2 Φ u v Φ .
Substitute this into 8 and multiply by 1 2 e 2 Φ . □
Corollary 5 
(Flat vacuum limit). If
Λ = 0 , B = 0 , ρ + ρ = 0 ,
then the constant conformal factor Φ 0 is a solution, recovering flat Terminal-Fiber Relativity.
Proof. 
In that case 12 reduces to
u v Φ = 0 .
The constant solution Φ 0 gives
g = d u d v ,
the flat terminal metric. □

7.4. Occupancy Transport in Divergence Form

Definition 25 
(Positive and negative occupancy currents). In a conformal null gauge, define the positive and negative occupancy currents by
J + : = ρ + u , J : = ρ v .
Axiom 9 
(Occupancy transport law). There exist source scalars σ + , σ such that
div J + = σ + , div J = σ .
Proposition 13 
(Coordinate form of occupancy transport). In conformal null gauge the occupancy transport law is equivalent to
u ( Ω ρ + ) = Ω σ + ,
v ( Ω ρ ) = Ω σ .
Proof. 
By 1, the volume density is Ω / 2 . Hence
div J + = 1 Ω / 2 u Ω 2 ρ + = Ω 1 u ( Ω ρ + ) .
Thus div J + = σ + is equivalent to (3). The negative equation is identical with u and v exchanged. □
Corollary 6 
(One-sided occupancy conservation). If σ + = 0 , then the weighted positive occupancy Ω ρ + is constant along positive null flow lines. If σ = 0 , then Ω ρ is constant along negative null flow lines.
Proof. 
Immediate from (3) and (). □

7.5. Null Expansions and Focusing

Definition 26 
(Null expansion scalars). In a conformal null gauge define
θ + : = u ( log Ω ) , θ : = v ( log Ω ) .
Proposition 14 
(Raychaudhuri-type focusing equations). The null expansion scalars satisfy
v θ + = Ω K g , u θ = Ω K g .
Hence under the curvature law,
v θ + = Ω Λ + κ Σ , u θ = Ω Λ + κ Σ .
Proof. 
By definition,
v θ + = u v ( log Ω ) , u θ = u v ( log Ω ) .
Using
K g = Ω 1 u v ( log Ω ) ,
the first pair of equations follows. Substitute the curvature law
K g = Λ + κ Σ
to get the second pair. □
Remark 16. 
A positive effective source Λ + κ Σ > 0 decreases both null expansions and therefore acts as a focusing source. A negative effective source acts as a defocusing source.

8. An Action Principle for Curved Meta-Relativity

The curvature law of 8 admits a natural action principle in conformal null gauge. This provides a compact variational form of the curved theory.
Definition 27  
(Liouville-barrier action). Fix a conformal null chart ( u , v ) and treat Σ = B + ζ ρ + ρ as an external source field. Define the action
S [ Φ ; Σ ] : = U 1 2 u Φ v Φ 1 4 Λ + κ Σ e 2 Φ d u d v ,
for compactly supported variations of Φ in a coordinate neighborhood U .
Theorem 10  
(Euler–Lagrange equation). Critical points of the Liouville-barrier action satisfy
u v Φ + 1 2 e 2 Φ Λ + κ Σ = 0 .
Equivalently, they satisfy the conformal curvature law of 12.
Proof. 
Let Φ ε = Φ + ε ψ , where ψ is compactly supported in U . Then
d d ε | ε = 0 S [ Φ ε ; Σ ] = U 1 2 u ψ v Φ + u Φ v ψ 1 2 Λ + κ Σ e 2 Φ ψ d u d v .
Integrating the first term by parts in both variables and using the compact support of ψ gives
δ S = U u v Φ + 1 2 Λ + κ Σ e 2 Φ ψ d u d v .
Thus δ S = 0 for all compactly supported ψ if and only if
u v Φ + 1 2 Λ + κ Σ e 2 Φ = 0 .
Remark 17.  
If Σ is constant, the field equation becomes a Liouville equation. Thus constant barrier/occupancy load produces constant meta-curvature geometries.

9. Worked Examples in Curved Meta-Relativity

We now develop several explicit examples showing how the curved terminal-fiber equations behave.

9.1. Flat Vacuum

Example 1 
(Flat vacuum). Assume
Λ = 0 , B = 0 , ρ + ρ = 0 , σ + = σ = 0 .
Then
Φ 0 , g = d u d v ,
solves the curvature and transport equations. The null expansions vanish,
θ + = θ = 0 ,
and both occupancy currents are conserved.
This is the exact curved-theory reduction to flat Terminal-Fiber Relativity.

9.2. Constant-Curvature Barrier Vacua

Proposition 15 
(Explicit constant-curvature family). Fix a constant k R . On the domain
D k : = ( u , v ) R 2 : 1 + k 2 u v > 0 ,
define
Ω k ( u , v ) : = 1 1 + k 2 u v 2 , g k : = Ω k d u d v .
Then
K g k = k .
Equivalently, g k is a constant-curvature terminal-fiber geometry. If
k = Λ + κ Σ 0
for a constant source Σ 0 , then g k solves the curvature law with source Σ Σ 0 .
Proof. 
We have
log Ω k = 2 log 1 + k 2 u v .
Differentiating once in u gives
u log Ω k = k v 1 + k 2 u v .
Differentiating again in v yields
u v log Ω k = k 1 + k 2 u v 2 = k Ω k .
Hence
K g k = Ω k 1 u v log Ω k = Ω k 1 ( k Ω k ) = k .
If k = Λ + κ Σ 0 , then
K g k = Λ + κ Σ 0 ,
so the curvature law is satisfied. □
Example 2 
(Positive-curvature barrier vacuum). Suppose Σ Σ 0 > 0 and Λ 0 , so
k = Λ + κ Σ 0 > 0 .
Then the metric of 15 has positive constant curvature. The null expansions are
θ + = k v 1 + k 2 u v , θ = k u 1 + k 2 u v ,
and are nonpositive in the future terminal quadrant u , v 0 , expressing focusing by positive barrier load.
Example 3 
(Negative-curvature barrier vacuum). If k < 0 , then the same explicit metric has negative constant curvature. In that case the null expansions have opposite sign and the geometry is defocusing in the future quadrant.

9.3. One-Sided Occupancy Sectors

Proposition 16 
(Pure one-sided null occupancy in the minimal model). Assume
Λ = 0 , B = 0 , ρ = 0 , σ + = 0 = σ .
Then the mixed source term vanishes:
Σ = ζ ρ + ρ = 0 .
Hence the flat metric
g = d u d v
solves the curvature law regardless of the profile of ρ + , provided ρ + satisfies the transport equation
u ρ + = 0 .
Thus in the minimal curved theory, pure one-sided positive occupancy may propagate curvature-free.
Proof. 
Since ρ = 0 and B = 0 = Λ , the curvature equation becomes
K g = 0 .
The flat metric has K g = 0 , so it solves the curvature law. The transport law reduces to
u ( ρ + ) = 0 ,
since Ω = 1 , and the negative transport equation is trivially satisfied. Hence any profile of the form ρ + ( u , v ) = f ( v ) propagates along positive null flow lines without bending the geometry. □
Remark 18. 
This is an important structural feature of the chosen minimal coupling: curvature is sourced only by barrier pressure and bymixedoccupancy interaction. Purely one-sided null transport remains curvature-free.

9.4. Weak-Field Mixed Occupancy Bubbles

We now construct a smooth localized mixed-occupancy solution in the weak-field regime.
Proposition 17 
(Weak-field linearization). Assume
Λ = 0 , B = 0 , ρ + ρ = ε s ( u , v ) ,
where 0 < ε 1 and s is a smooth bounded function. Let
Φ = ε ϕ + O ( ε 2 ) .
Then, to first order in ε, the curvature law is
u v ϕ = κ ζ 2 s ( u , v ) .
Proof. 
By 12,
u v Φ + 1 2 e 2 Φ κ ζ ρ + ρ = 0 .
Substitute
Φ = ε ϕ + O ( ε 2 ) , ρ + ρ = ε s .
Since
e 2 Φ = 1 + O ( ε ) ,
the equation becomes
ε u v ϕ + 1 2 κ ζ ε s = O ( ε 2 ) .
Divide by ε and drop higher-order terms. □
Example 4 
(Smooth mixed occupancy bubble). Fix constants A , α , β > 0 and define
ρ + ( u , v ) = A sech ( α u ) sech ( β v ) , ρ ( u , v ) = A sech ( α u ) sech ( β v ) .
Then
ρ + ρ = A sech 2 ( α u ) sech 2 ( β v ) .
In the weak-field regime of 17, one explicit first-order solution is
ϕ ( u , v ) = κ ζ A 2 α β tanh ( α u ) tanh ( β v ) .
Thus
Φ ( u , v ) = ε κ ζ A 2 α β tanh ( α u ) tanh ( β v ) + O ( ε 2 )
describes a smooth mixed-occupancy bubble.
Proof. 
Differentiate:
u ϕ = κ ζ A 2 β sech 2 ( α u ) tanh ( β v ) ,
and then
u v ϕ = κ ζ A 2 sech 2 ( α u ) sech 2 ( β v ) .
This is exactly the linearized equation
u v ϕ = κ ζ 2 ρ + ρ .
Remark 19. 
The bubble example shows explicitly how mixed occupancy curves the geometry while remaining smooth and localized. In the weak-field approximation, the conformal potential is simply the double antiderivative of the source.

9.5. Barrier Focusing and Meta-Lensing

Proposition 18 
(Focusing under positive effective load). Suppose a region of a terminal-fiber manifold satisfies
Λ + κ Σ > 0 .
Then along future-directed null flow lines the null expansions obey
v θ + < 0 , u θ < 0 .
Hence both null congruences are focused in that region.
Proof. 
By 14,
v θ + = Ω ( Λ + κ Σ ) , u θ = Ω ( Λ + κ Σ ) .
Since Ω > 0 and the effective load is assumed positive, both right-hand sides are strictly negative. □
Example 5 
(Barrier lens). A region with positive localized source Σ acts as abarrier lens: positive and negative null congruences passing through it experience focusing in the sense of 18. In the constant-curvature metric
g k = d u d v ( 1 + k 2 u v ) 2 ( k > 0 ) ,
the explicit expansions are
θ + = k v 1 + k 2 u v , θ = k u 1 + k 2 u v ,
and are monotonically decreasing along the corresponding null directions.

9.6. Timelike Geodesics in Constant-Curvature Terminal Geometry

Proposition 19 
(Geodesics in the constant-curvature family). In the metric
g k = d u d v ( 1 + k 2 u v ) 2 ,
the geodesic equations are
u ¨ k v 1 + k 2 u v u ˙ 2 = 0 ,
v ¨ k u 1 + k 2 u v v ˙ 2 = 0 .
In particular, the null coordinate lines are geodesics, and the affine parametrization along a positive null geodesic satisfies
d 2 u d λ 2 = 0
whenever v is constant.
Proof. 
Substitute
Ω k = ( 1 + k 2 u v ) 2
into the geodesic equations of 4. Since
u log Ω k = k v 1 + k 2 u v , v log Ω k = k u 1 + k 2 u v ,
the displayed equations follow. If v is constant, then (5) reduces to
u ¨ k v 1 + k 2 u v u ˙ 2 = 0 .
In the special case v = 0 , this becomes u ¨ = 0 . More generally, any null coordinate line is a geodesic up to reparametrization, by 8. □
Remark 20. 
Even in the curved theory, null propagation remains confined to the terminal meta-fiber directions. Curvature changes the parameterization and the focusing properties, but not the null directions themselves.

10. An Action Principle for Curved Meta-Relativity

The scalar curvature law of 8 already arose from the Liouville-barrier action in Section 8. We summarize the key point here in conceptual form.
Remark 21.  
The action principle shows that curved meta-relativity is not merely a collection of coordinate formulas. Its field equation arises variationally from a conformal kinetic term and an exponential source potential. The latter couples the conformal geometry directly to barrier density and mixed occupancy.

11. Higher-Rank and Categorical Extensions

The 1 + 1 theory attached to a single exact two-sided witness package is the basic local model. There are two natural ways to go further: by assembling several null pairs into a higher-rank geometry, and by functorially assigning terminal-fiber geometries to witness architectures.

11.1. Higher-Rank Flat Models

Definition 28 
(Multi-architecture flat terminal space). Let
( P 1 , , P m )
be a finite family of exact two-sided witness packages. The associatedmulti-architecture flat terminal spaceis
M P 1 , , P m : = a = 1 m R e P a + R e P a
with metric
g = a = 1 m d U a d V a .
Remark 22. 
This gives a flat space of signature ( m , m ) in null coordinates. One may then choose aggregate temporal/spatial decompositions according to the intended application. The present paper does not pursue the higher-rank dynamics in detail, but the construction suggests a natural route toward richer meta-spacetime models.

11.2. A Functorial Packaging

Definition 29 
(Category of exact witness architectures). Let EWA 2 denote the category whose objects are exact two-sided decidable witness packages
( P , R P , B P ) ,
and whose morphisms are exact recodings preserving the positive and negative witness channels.
Definition 30 
(Category of terminal-fiber geometries). Let TFR 1 , 1 denote the category whose objects are null-oriented 1 + 1 terminal-fiber geometries
( M , N + , N , g ) ,
and whose morphisms are orientation-preserving conformal maps preserving the null line fields.
Definition 31 
(Terminal-fiber geometry functor). Define
F : EWA 2 TFR 1 , 1
on objects by
F ( P , R P , B P ) = ( M P , R e P + , R e P , g P ) ,
and on morphisms by the induced channel-preserving linear/conformal map.
Proposition 20. 
The assignment F is a functor.
Proof. 
Identity morphisms go to identity maps by construction. Composition is preserved because induced channel-preserving recodings compose in the obvious way. □
Remark 23. 
The functor F expresses the core thesis of the paper: exact witness architectures are not merely collections of logical equivalences, but geometric objects carrying a null-oriented invariant form.

12. Dictionary with Special and Curved Relativity

The table below summarizes the proposed correspondence.
Table 1. Dictionary between ordinary relativity and terminal-fiber meta-relativity
Table 1. Dictionary between ordinary relativity and terminal-fiber meta-relativity
Ordinary relativity Terminal-fiber meta-relativity
spacetime point meta-event
light ray / null direction positive or negative terminal meta-fiber
light cone terminal cone
inertial frame witness chart
Lorentz boost null-coordinate rescaling preserving terminal interval
proper time proper meta-time
null propagation propagation along e + or e
matter/energy source barrier and occupancy source scalar
curvature of spacetime barrier-induced deformation of terminal geometry
global coordinate obstruction Tarski barrier
causal paradox / self-intersection diagonal collapse
Remark 24.  
The analogy should be taken seriously at the level of invariant form, null structure, observer change, and curvature source. It should not be misunderstood as a claim that witness architectures are literally physical spacetime.

13. Conclusion

We have developed a metamathematical analogue of special and curved relativity built from exact witness architectures. The basic move is to replace lightlike directions by the two formal terminal directions induced by an exact two-sided witness package. These directions become the positive and negative terminal meta-fibers, and from them one obtains a flat null geometry with invariant interval
d σ 2 = d U d V = d T 2 d X 2 .
This flat theory, Terminal-Fiber Relativity, carries a full Lorentz-type structure: observer changes are boosts preserving the terminal cone and interval, proper meta-time is invariant, null propagation occurs along the two terminal meta-fibers, and the selection jump becomes a universal propagation law.
We then interpreted the principal barrier theorems of exact witness architecture theory as no-go theorems for global charting: reflection collapse forbids internal exact global inertial frames on Π 1 -universal sectors; Tarski’s theorem forbids global arithmetic charts on truth-universal sectors; and diagonal collapse forbids globally self-applicative exact chart systems. Truth itself is reinterpreted as the occupancy pattern of terminal geometry rather than the origin of that geometry.
The second half of the paper developed a curved extension. A terminal-fiber manifold is a 1 + 1 Lorentzian manifold equipped with two null line bundles. In local null coordinates, every such geometry is conformal:
g = Ω d u d v .
We computed the local connection, geodesic equations, and null-expansion equations, then coupled the geometry to barrier and occupancy fields. Because ordinary Einstein dynamics is trivial in dimension 1 + 1 , the curved theory is governed by a scalar curvature law driven by barrier pressure and mixed occupancy interaction. The resulting field equation is Liouville-type in conformal gauge and admits explicit constant-curvature, weak-field bubble, and barrier-focusing solutions.
Several directions remain open. The higher-rank theory should be developed in detail, especially if one wants a genuine ( 1 + n ) -style meta-spacetime. The coupling between occupancy transport and curvature deserves a more systematic variational treatment. The categorical packaging proposed here should be pushed further, possibly toward a sheaf-theoretic treatment of local witness charts. Most importantly, one can now ask whether concrete theorem-level witness packages induce nontrivial curved meta-geometries of their own.
The central conclusion, however, is already clear. Exact witness architectures naturally generate a relativistic geometry. Flat terminal fibers yield a special-relativistic theory of exact recognition, and barrier fields deform that geometry into a curved meta-relativity. In that sense, the paper replaces special relativity in the metamathematical domain by a new invariant theory built from terminal fibers.

References

  1. Boolos, George; Burgess, John; Jeffrey, Richard. Computability and Logic, 5th ed.; Cambridge University Press: Cambridge, 2007. [Google Scholar]
  2. Emmerson, Parker; Buchanan, Ryan J. A Metatheory of Exact Witness Architectures: The Selection Jump, Reflection Collapse, and Tarski/Diagonal Barriers.
  3. Hájek, Petr; Pudlák, Pavel. Metamathematics of First-Order Arithmetic; Springer: Berlin, 1993. [Google Scholar]
  4. O’Neill, Barrett. Semi-Riemannian Geometry with Applications to Relativity; Academic Press: New York, 1983. [Google Scholar]
  5. Rogers, Hartley, Jr. Theory of Recursive Functions and Effective Computability; MIT Press: Cambridge, MA, 1987. [Google Scholar]
  6. Smoryński, Craig. Self-Reference and Modal Logic; Springer: New York, 1985. [Google Scholar]
  7. Soare, Robert I. Turing Computability: Theory and Applications; Springer: Heidelberg, 2016. [Google Scholar]
  8. Tarski, Alfred. The Concept of Truth in Formalized Languages, in Logic, Semantics, Metamathematics, 2nd ed.; Hackett: Indianapolis, 1983. [Google Scholar]
  9. Robert, M. Wald, General Relativity; University of Chicago Press: Chicago, 1984. [Google Scholar]
  10. Emmerson, Parker; Buchanan, Ryan J. Exact Witness Architectures: Selection Jump and Limits of Exact Certification forthcoming.
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.
Prerpints.org logo

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

Subscribe

Disclaimer

Terms of Use

Privacy Policy

Privacy Settings

© 2026 MDPI (Basel, Switzerland) unless otherwise stated