Buchumschlag

On the Realizability of Prime Conjectures in Heyting Arithmetic

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Rosko, Milan
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic Logic in Computer Science 03F55 (primary), 03F03, 11A41, 68Q05, 11U05 (secondary) F.4.1; F.1.1; F.3.2; G.1.0; G.2.1
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Adversarial Barrier in Uniform Class Separation
von: Rosko, Milan
Veröffentlicht: (2025)

On the existence of strong proof complexity generators
von: Krajicek, Jan
Veröffentlicht: (2022)

The Fractal Logic of Phi-adic Recursion
von: Rosko, Milan
Veröffentlicht: (2025)

A Logspace Constructive Proof of L=SL
von: Buss, Sam, et al.
Veröffentlicht: (2025)

The Solver's Paradox in Formal Problem Spaces
von: Rosko, Milan
Veröffentlicht: (2025)

On some computational properties of open sets
von: Normann, Dag, et al.
Veröffentlicht: (2024)

On the computational properties of ambivalent sets and functions
von: Normann, Dag, et al.
Veröffentlicht: (2026)

Extended Nullstellensatz proof systems
von: Krajicek, Jan
Veröffentlicht: (2023)

Fibonacci Numbers and Model-Complete Axiomatization of Presburger Arithmetic Expanded with a Beatty Sequence
von: Khani, Mohsen, et al.
Veröffentlicht: (2025)

Consistent ultrafinitist logic
von: Gajda, Michał J.
Veröffentlicht: (2021)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
von: Barroso-Nascimento, Victor, et al.
Veröffentlicht: (2025)

Insignificant Choice Polynomial Time: A Logic Capturing PTIME
von: Schewe, Klaus-Dieter
Veröffentlicht: (2020)

Exploring the abyss in Kleene's computability theory
von: Sanders, Sam
Veröffentlicht: (2023)

Computability of Initial Value Problems
von: Brattka, Vasco, et al.
Veröffentlicht: (2024)

Pure Data Spaces
von: Youssef, Saul
Veröffentlicht: (2025)

Undecidability in Relevant Logic
von: Knudstorp, Søren Brinck
Veröffentlicht: (2026)

Cut elimination for propositional cyclic proof systems with fixed-point operators
von: Hori, Hiromasa, et al.
Veröffentlicht: (2023)

Remarks on Primitive Regulation
von: Rosko, Milan
Veröffentlicht: (2026)

Linear Orders in Presburger Arithmetic
von: Pakhomov, Fedor, et al.
Veröffentlicht: (2022)

Do not throw out the baby: Clarithmetics as alternatives to weak arithmetics
von: Japaridze, Giorgi
Veröffentlicht: (2026)

Weihrauch problems as containers
von: Pradic, Cécilia, et al.
Veröffentlicht: (2025)

A propositional cirquent calculus for computability logic
von: Japaridze, Giorgi
Veröffentlicht: (2024)

Universal Gluing and Contextual Choice: Categorical Logic and the Foundations of Analytic Approximation
von: Santacana, Andreu Ballus
Veröffentlicht: (2025)

Computing Non-Repetitive Sequences with a Computable Lefthanded Local Lemma
von: Mourad, Daniel
Veröffentlicht: (2024)

Reversible computations are computations
von: Aubert, Clément, et al.
Veröffentlicht: (2025)

Complexities of Well-Quasi-Ordered Substructural Logics
von: Galatos, Nikolaos, et al.
Veröffentlicht: (2025)

A Constructive Fragment of Physical Propositions
von: Rosko, Milan
Veröffentlicht: (2025)

A proof complexity conjecture and the Incompleteness theorem
von: Krajicek, Jan
Veröffentlicht: (2023)

Relative Constructibility via Generalised Sequential Algorithms
von: Lau, Desmond
Veröffentlicht: (2024)

A correspondence between the time and space complexity
von: Latkin, Ivan V.
Veröffentlicht: (2023)

Transordinal Fixed-Point Operators and Self-Referential Games: A Categorical Framework for Reflective Semantic Convergence
von: Alpay, Faruk, et al.
Veröffentlicht: (2025)

Structural focalization
von: Simmons, Robert J.
Veröffentlicht: (2011)

Arithmetics within the Linear Time Hierarchy
von: Pollett, Chris
Veröffentlicht: (2025)

Verified Program Extraction in Number Theory: The Fundamental Theorem of Arithmetic and Relatives
von: Wiesnet, Franziskus
Veröffentlicht: (2025)

A Classifying Topos for the Spectrum of Equivalences
von: Oggad, Kenan
Veröffentlicht: (2026)

Internal Effectful Forcing in System T
von: Escardo, Martin H., et al.
Veröffentlicht: (2025)

A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums
von: Ramos, Arthur, et al.
Veröffentlicht: (2025)

Loops, Inverse Limits and Non-Determinism
von: Brattka, Vasco
Veröffentlicht: (2025)

A vector logic for extensional formal semantics
von: Quigley, Daniel
Veröffentlicht: (2024)

#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?
von: Bannach, Max, et al.
Veröffentlicht: (2025)