Cover Image

Remarks on Primitive Regulation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Rosko, Milan
Format:	Preprint
Published:	2026
Subjects:	Logic 03B20, 68V15, 03F55, 03D10, 18C50, 03B35 F.4.1; F.3.0
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

A minimalist two-level foundation for constructive mathematics
by: Maietti, Maria Emilia
Published: (2008)

A vector logic for extensional formal semantics
by: Quigley, Daniel
Published: (2024)

Formally Verifying a Transformation from MLTL Formulas to Regular Expressions
by: Wang, Zili, et al.
Published: (2025)

Formalizing MLTL Formula Progression in Isabelle/HOL
by: Kosaian, Katherine, et al.
Published: (2024)

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

Biased elementary doctrines and quotient completions
by: Cioffo, Cipriano Junior
Published: (2023)

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

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

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

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

A Logspace Constructive Proof of L=SL
by: Buss, Sam, et al.
Published: (2025)

The biequivalence of path categories and axiomatic Martin-Löf type theories
by: Otten, Daniël, et al.
Published: (2025)

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

The Solver's Paradox in Formal Problem Spaces
by: Rosko, Milan
Published: (2025)

Continuous and algebraic domains in univalent foundations
by: de Jong, Tom, et al.
Published: (2024)

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
by: Vodrazka, Daniel
Published: (2025)

The cohesive and stable Ramsey theorems and proof size over a weak base theory
by: Kołodziejczyk, Leszek Aleksander, et al.
Published: (2026)

Induction on Dilators and Bachmann-Howard Fixed Points
by: Aguilera, Juan P., et al.
Published: (2024)

On inverse Goodstein sequences
by: Uftring, Patrick
Published: (2023)

On the Realizability of Prime Conjectures in Heyting Arithmetic
by: Rosko, Milan
Published: (2025)

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

Weak and Strong Versions of Effective Transfinite Recursion
by: Uftring, Patrick
Published: (2022)

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

Largeness notions and polytime translation for $\forall Σ^0_3$-consequences of $\mathsf{RT}^2_2$
by: Houérou, Quentin Le, et al.
Published: (2026)

Continuations and Completeness in Proof-theoretic Semantics
by: Gu, Tao, et al.
Published: (2026)

On the computational properties of ambivalent sets and functions
by: Normann, Dag, et al.
Published: (2026)

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

Mechanised uniform interpolation for modal logics K, GL, and iSL
by: Férée, Hugo, et al.
Published: (2024)

Herbrandized modified realizability
by: Ferreira, Gilda, et al.
Published: (2024)

A vector logic for intensional formal semantics
by: Quigley, Daniel
Published: (2026)

Carryless Pairing: Additive Pairing in the Fibonacci Basis
by: Rosko, Milan
Published: (2025)

Hierarchical formula classes with respect to semi-classical prenex normalization
by: Fujiwara, Makoto, et al.
Published: (2025)

ProofCloud: A Proof Retrieval Engine for Verified Proofs in Higher Order Logic
by: Wang, Shuai
Published: (2024)

Consistent ultrafinitist logic
by: Gajda, Michał J.
Published: (2021)

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

A 2-categorical approach to the semantics of dependent type theory with computation axioms
by: Spadetto, Matteo
Published: (2025)

Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic
by: Walsh, Sean
Published: (2024)

Why the classes P and NP are not well-defined finitarily
by: Anand, Bhupinder Singh
Published: (2024)

Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2025)