Cover Image

Order positive fields II

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Korovina, Margarita, Kudinov, Oleg
Format:	Preprint
Published:	2025
Subjects:	Number Theory 03D45, 03D80 G.1.0; F.3.0
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The Fractal Logic of Phi-adic Recursion
by: Rosko, Milan
Published: (2025)

Adversarial Barrier in Uniform Class Separation
by: Rosko, Milan
Published: (2025)

The reverse mathematics of the pigeonhole hierarchy
by: Houérou, Quentin Le, et al.
Published: (2024)

The reverse mathematics of bounded Ramsey's theorem for pairs
by: Houérou, Quentin Le, et al.
Published: (2025)

Non-Compact Proofs
by: Artemov, Sergei
Published: (2025)

Consistency formula is strictly stronger in PA than PA-consistency
by: Artemov, Sergei
Published: (2025)

Serial Properties, Selector Proofs, and the Provability of Consistency
by: Artemov, Sergei
Published: (2024)

Skolem, Gödel, and Hilbert fibrations
by: Trotta, Davide, et al.
Published: (2024)

Gödel coding on fibrations and geminal categories
by: Ikeda, Yuto
Published: (2026)

Remarks on Primitive Regulation
by: Rosko, Milan
Published: (2026)

Toposes with enough points as categories of étale spaces
by: van Gool, Sam, et al.
Published: (2025)

Different Theories of Parts
by: Pietruszczak, Andrzej
Published: (2024)

Bounded Ramsey's theorem for triples in computability theory
by: Patey, Ludovic, et al.
Published: (2026)

A Completeness Theorem for Topological Doctrines
by: Ghilardi, Silvio, et al.
Published: (2025)

Algorithmic correspondence and analytic rules
by: De Domenico, Andrea, et al.
Published: (2022)

Word equations and the exponent of periodicity
by: Diekert, Volker, et al.
Published: (2025)

More conservativity for weak Kőnig's lemma
by: Freund, Anton, et al.
Published: (2024)

Computable Approximations of Semicomputable Graphs
by: Čačić, Vedran, et al.
Published: (2024)

Constructive Limits of Cantor's Diagonal Method: Countability, Enumerability, and the Impossibility of Exhausting the Continuum
by: Semenov, Stanislav
Published: (2025)

Fractal Countability as a Constructive Alternative to the Power Set of N: A Meta-Formal Approach to Stratified Definability
by: Semenov, Stanislav
Published: (2025)

Fractal Boundaries of Constructivity: A Meta-Theoretical Critique of Countability and Continuum
by: Semenov, Stanislav
Published: (2025)

Computability in infinite Galois theory and algorithmically random algebraic fields
by: Calvert, Wesley, et al.
Published: (2023)

Possibility Semantics
by: Holliday, Wesley H.
Published: (2024)

Categorical structure in coherent theory of arithmetic
by: Ye, Lingyuan
Published: (2023)

Recursions for quadratic rotation symmetric functions weights
by: Cusick, Thomas W.
Published: (2025)

Intuitionism and computing with partial information
by: Ganchev, Hristo, et al.
Published: (2026)

Uniform Interpolation
by: van Gool, Sam
Published: (2025)

$Π^0_4$ conservation of the Ordered Variable Word theorem
by: Houérou, Quentin Le, et al.
Published: (2024)

$Π^0_4$ conservation of Ramsey's theorem for pairs
by: Houérou, Quentin Le, et al.
Published: (2024)

The finite cohesiveness principle
by: Sun, Mengzhou
Published: (2025)

Ramsey-like theorems for separable permutations
by: Houérou, Quentin Le, et al.
Published: (2025)

Alpay Algebra III: Observer-Coupled Collapse and the Temporal Drift of Identity
by: Alpay, Faruk
Published: (2025)

Alpay Algebra II: Identity as Fixed-Point Emergence in Categorical Data
by: Alpay, Faruk
Published: (2025)

Decoupling Positional and Symbolic Attention Behavior in Transformers
by: Urrutia, Felipe, et al.
Published: (2025)

A non-speedup result for the chain-antichain principle over a weak base theory
by: Kowalik, Katarzyna W.
Published: (2025)

Countable Ordered Groups and Weihrauch Reducibility
by: Li, Ang
Published: (2024)

An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees
by: Samra, Jean Abou, et al.
Published: (2026)

Regressive versions of Hindman's Theorem
by: Carlucci, Lorenzo, et al.
Published: (2022)

Dilators and the reverse mathematics zoo
by: Freund, Anton
Published: (2024)

A dynamical algorithm to compute hyperbolic Julia sets in polynomial time
by: Boyd, Suzanne, et al.
Published: (2025)