Cover Image

Prime Factorization in Models of PV$_1$

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Ježil, Ondřej
Format:	Preprint
Published:	2025
Subjects:	Logic Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Parallelism and Adaptivity in Student-Teacher Witnessing
by: Ježil, Ondřej, et al.
Published: (2026)

Limits of structures and Total NP Search Problems
by: Ježil, Ondřej
Published: (2023)

Feasibility of Primality in Bounded Arithmetic
by: Jalali, Raheleh, et al.
Published: (2025)

Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to Beat
by: Tóth, Jan, et al.
Published: (2024)

When Are Prime Formulae Characteristic?
by: Aceto, Luca, et al.
Published: (2024)

Terminating Hybrid Tableaus for Ordered Models
by: Nishimura, Yuki
Published: (2025)

Modelling of logical systems by means of their fragments
by: Rybakov, Mikhail
Published: (2025)

A Logic of Secrecy on Simplicial Models
by: Wang, Shanxia
Published: (2026)

The Pebble-Relation Comonad in Finite Model Theory
by: Montacute, Yoàv, et al.
Published: (2021)

Proofs that Modify Proofs, 1/2
by: Towsner, Henry
Published: (2025)

Embedded Finite Models Beyond Restricted Quantifier Collapse
by: Benedikt, Michael, et al.
Published: (2023)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
by: Grilletti, Gianluca, et al.
Published: (2024)

An Effective Orchestral Approach to Satisfiability Modulo Prime Fields
by: Isabel, Miguel, et al.
Published: (2026)

SMT with Uninterpreted Functions and Monotonicity Constraints in Systems Biology
by: Huvar, Ondřej, et al.
Published: (2026)

Knowledge on a Budget
by: Majer, Ondrej, et al.
Published: (2026)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
by: Livson, Ori, et al.
Published: (2025)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
by: Oda, Yukihiro
Published: (2025)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
by: Gaßner, Christine
Published: (2025)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
by: Artale, Alessandro, et al.
Published: (2025)

Proof-theoretic Semantics for Second-order Logic
by: Gheorghiu, Alexander V., et al.
Published: (2025)

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
by: Hansen, Helle Hvid, et al.
Published: (2025)

Proof-Theoretic Functional Completeness for the Connexive Logic C
by: Ayhan, Sara, et al.
Published: (2025)

On semantics of first-order justification logic with binding modalities
by: Yavorskaya, Tatiana, et al.
Published: (2025)

Basis-Sensitive Quantum Typing via Realisability
by: Díaz-Caro, Alejandro, et al.
Published: (2025)

An abstract fixed-point theorem for Horn formula equations
by: Hetzl, Stefan, et al.
Published: (2025)

Skolemization In Intermediate Logics
by: Baaz, Matthias, et al.
Published: (2025)

Shininess, strong politeness, and unicorns
by: Przybocki, Benjamin, et al.
Published: (2025)

Quantum modal logic
by: Tokuo, Kenji
Published: (2025)

Simple Classes of Automatic Structures
by: Blumensath, Achim
Published: (2025)

Constructive Ordinal Exponentiation
by: de Jong, Tom, et al.
Published: (2025)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
by: Gheorghiu, Alexander V., et al.
Published: (2025)

Intuitionistic monotone modal logic via translation
by: de Groot, Jim
Published: (2025)

Realizing the totally unordered structure of ordinals
by: Fontanella, Laura, et al.
Published: (2025)

Tree Rewriting Calculi for Strictly Positive Logics
by: Santiago-Fernández, Sofía, et al.
Published: (2025)

Bilateral base-extension semantics
by: Barroso-Nascimento, Victor, et al.
Published: (2025)

Infinite trees
by: Goy, Alexandre
Published: (2025)

A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras
by: Alvarez, David Quinn
Published: (2025)

Difference-restriction algebras with operators
by: Borlido, Célia, et al.
Published: (2025)

Unravelling Cyclic First-Order Arithmetic
by: Leigh, Graham E., et al.
Published: (2025)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2025)