Cover Image

Bounding 2D Functions by Products of 1D Functions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Dorais, François, Hathaway, Dan
Format:	Preprint
Published:	2016
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On $(Σ^2_1)^{uB}$ Absoluteness Between V and HOD
by: Goldberg, Gabriel, et al.
Published: (2025)

Uniform Bounds in D-Minimal Structures
by: Farris, Madie, et al.
Published: (2026)

Functional Reduction to Speed Up Bounded Model Checking
by: Yu, Changyuan, et al.
Published: (2025)

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

Comodule Representations of Second-Order Functionals
by: Ahman, Danel, et al.
Published: (2024)

Reinhardt Cardinals and Eventually Dominating Functions
by: Mohammd, Marwan Salam
Published: (2025)

Zeta Functions and the (Linear) Logic of Markov Processes
by: Seiller, Thomas
Published: (2020)

Functional variant of Polynomial Analogue of Gandy's Fixed Point Theorem
by: Nechesov, Andrey
Published: (2024)

Function spaces for orbit-finite sets
by: Bojańczyk, Mikołaj, et al.
Published: (2024)

The Provably Total Set-Recursive Functions of KPl
by: Aguilera, Juan Pablo, et al.
Published: (2025)

String Diagrams for $λ$-calculi and Functional Computation
by: Ghica, Dan, et al.
Published: (2023)

On proving consistency of equational theories in Bounded Arithmetic
by: Beckmann, Arnold, et al.
Published: (2022)

Bijective proofs for Eulerian numbers of types B and D
by: Santocanale, Luigi
Published: (2021)

Tolerance and the Bounds
by: Rohan French
Published: (2021)

Towards Verifying Exact Conditions for Implementations of Density Functional Approximations
by: Helal, Sameerah, et al.
Published: (2024)

Mazurkiewicz Sets and Containment of Sierpiński-Zygmund Functions under Rotations
by: Pan, Cheng-Han
Published: (2025)

Construction Defining Functionality:A Constructive Perspective on Functions through Their Generated Structures
by: Nishiyama, Yumiko
Published: (2025)

Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks
by: König, Matthias, et al.
Published: (2024)

Pixelating Relations and Functions Without Adding Substructures
by: Fischer, Eldar
Published: (2024)

An Approximate Skolem Function Counter
by: Shaw, Arijit, et al.
Published: (2023)

Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
by: de Jong, Tom
Published: (2024)

Ramsey Theory and Bounding in Arithmetic
by: Cholak, Peter
Published: (2026)

Bounded depth in Hilbert algebras
by: Carai, Luca, et al.
Published: (2026)

Quantitative Types for the Functional Machine Calculus
by: Heijltjes, Willem
Published: (2025)

Computable domains of a Halting Function
by: Peralta, Abel Luis
Published: (2024)

Verified Purely Functional Catenable Real-Time Deques
by: Viennot, Jules, et al.
Published: (2025)

Space-Bounded OTMs and REG$^{\infty}$
by: Carl, Merlin
Published: (2017)

Models of Bounded Arithmetic and variants of Pigeonhole Principle
by: Narusevych, Mykyta
Published: (2022)

Tho Modal Logic of Minimal Upper Bounds
by: Knudstorp, Søren Brinck
Published: (2024)

Scott Spectral Gaps are Bounded for Linear Orderings
by: Gonzalez, David, et al.
Published: (2024)

Cardinal Characteristics on Bounded Generalised Baire Spaces
by: van der Vlugt, Tristan
Published: (2023)

Parameterized D-torsors in differential Galois theory
by: Sánchez, Omar León, et al.
Published: (2026)

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

The Uniform Functional Interpretation with Informative Types
by: Ferreira, Fernando, et al.
Published: (2025)

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

Deciding Predicate Logical Theories of Real-Valued Functions
by: Ratschan, Stefan
Published: (2023)

The Functional Machine Calculus III: Choice (Early Announcement)
by: Heijltjes, Willem
Published: (2024)

Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO
by: Mählmann, Nikolas
Published: (2025)

Definability of the Integrability Locus in Polynomially Bounded o-Minimal Structures
by: Brown, L. C.
Published: (2025)

Minimization Principle for Polynomial-Time Predicates and Forcing in Bounded Arithmetic
by: Narusevych, Mykyta
Published: (2026)