Search Results - "Bounded arithmetics"

ON NP ∩ coNP PROOF COMPLEXITY GENERATORS.

Authors: KRAJÍČEK, JAN¹, jan.krajicek@protonmail.com

Source: Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 2, p1-8, 8p

PRIME FACTORIZATION IN MODELS OF PV1.

Authors: JEŽIL, ONDŘEJ¹, ondrej.jezil@email.cz

Source: Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 2, p1-13, 13p

Limited Math: Aligning Mathematical Semantics with Finite Computation.

Authors: Wen, Lian¹ (AUTHOR) l.wen@griffith.edu.au

Source: Foundations of Science. May2026, p1-24. 24p.

Ramsey's theorem for pairs, collection, and proof size.

Authors: Kołodziejczyk, Leszek Aleksander Wong, Tin Lok Yokoyama, Keita

Source: Journal of Mathematical Logic. Aug2024, Vol. 24 Issue 2, p1-40. 40p.

ON THE CONSISTENCY OF STRONGER LOWER BOUNDS FOR NEXP.

Authors: THAPEN, NEIL¹, thapen@math.cas.cz

Source: Logical Methods in Computer Science (LMCS); 2025, Vol. 21 Issue 4, p23:1-23:9, 1p

Approximate counting and NP search problems.

Authors: Kołodziejczyk, Leszek Aleksander Thapen, Neil

Source: Journal of Mathematical Logic. Dec2022, Vol. 22 Issue 3, p1-31. 31p.

ℋ-Colouring Dichotomy in Proof Complexity.

Authors: Gaysin, Azza¹ (AUTHOR) azza.gaysin@karlov.mff.cuni.cz

Source: Journal of Logic & Computation. Jul2021, Vol. 31 Issue 5, p1206-1225. 20p.

Subjects: Directed graphs, Bounded arithmetics, Evidence, Undirected graphs, Constraint satisfaction, Algorithms

Iterated multiplication in VTC0.

Authors: Jeřábek, Emil¹, jerabek@math.cas.cz

Source: Archive for Mathematical Logic; Jul2022, Vol. 61 Issue 5/6, p705-767, 63p

MODELS OF BOUNDED ARITHMETIC THEORIES AND SOME RELATED COMPLEXITY QUESTIONS.

Authors: Alam, Abolfazl Moniri, Morteza

Source: Bulletin of the Section of Logic. Jun2022, Vol. 51 Issue 2, p163-176. 14p.

Sprague–Grundy theory in bounded arithmetic.

Authors: Kuroda, Satoru¹, satoru@mail.gpwu.ac.jp

Source: Archive for Mathematical Logic; Feb2022, Vol. 61 Issue 1/2, p233-262, 30p

MODAL QUANTIFIERS, POTENTIAL INFINITY, AND YABLO SEQUENCES.

Authors: GODZISZEWSKI, MICHAŁ TOMASZ URBANIAK, RAFAŁ

Source: Review of Symbolic Logic; Mar2026, Vol. 19 Issue 1, p1-22, 22p

ON PROVING CONSISTENCY OF EQUATIONAL THEORIES IN BOUNDED ARITHMETIC.

Authors: BECKMANN, ARNOLD YAMAGATA, YORIYUKI

Source: Journal of Symbolic Logic; Mar2025, Vol. 90 Issue 1, p135-165, 31p

Geometry and arithmetic of semi‐arithmetic Fuchsian groups.

Authors: Belolipetsky, Mikhail Cosac, Gregory Dória, Cayo et al.

Source: Journal of the London Mathematical Society; Feb2025, Vol. 111 Issue 2, p1-17, 17p

An Outer Generalized Prime System and Some Discrete Examples.

Authors: AL-Nafee, Ahmed B. AL-Maamori, Faez

Source: International Journal of Neutrosophic Science (IJNS); 2025, Vol. 25 Issue 1, p137-147, 11p

Bounded finite set theory.

Source: Mathematical Logic Quarterly. May2021, Vol. 67 Issue 2, p149-163. 15p.

Subjects: Set theory, Bounded arithmetics, Arithmetic, Axioms, Model theory

The Maximum Multiflow Problems with Bounded Fractionality.

Authors: Hirai, Hiroshi¹ hirai@mist.i.u-tokyo.ac.jp

Source: Mathematics of Operations Research (INFORMS). Feb2014, Vol. 39 Issue 1, p60-104. 45p.

On the existence of free sublattices of bounded index and arithmetic applications.

Authors: Johnston, Henri Torzewski, Alex

Source: Journal of Algebra. Nov2024, Vol. 657, p81-108. 28p.

Uniform, Integral, and Feasible Proofs for the Determinant Identities.

Authors: TZAMERET, IDDO COOK, STEPHEN A.

Source: Journal of the ACM. Mar2021, Vol. 68 Issue 2, p1-80. 80p.

Induction rules in bounded arithmetic.

Authors: Jeřábek, Emil¹, jerabek@math.cas.cz

Source: Archive for Mathematical Logic; May2020, Vol. 59 Issue 3/4, p461-501, 41p

Frege Systems for Quantified Boolean Logic.

Authors: BEYERSDORFF, OLAF BONACINA, ILARIO CHEW, LEROY et al.

Source: Journal of the ACM. Mar2020, Vol. 67 Issue 2, p1-36. 36p.