English
Related papers

Related papers: A remark on algebraic immunity of Boolean function…

200 papers

We prove a few uniform versions of the Mordell-Lang Conjecture and of the Shafarevich Conjecture for curves over function fields and their rational points. The main focus is on function fields having high transcendence degree over the…

Algebraic Geometry · Mathematics 2007-05-23 Lucia Caporaso

In this note we derive a property of maximal ideal-independent subsets of boolean algebras which has corollaries regarding the continuum cardinals p and s_mm(P(omega)/fin).

Logic · Mathematics 2012-08-09 Corey Thomas Bruns

The proposed system of integer functions is logically fully independent from the traditional mathematical analysis of the real functions, but there is a well-defined mutual correspondence between the two disciplines. The system of integer…

General Mathematics · Mathematics 2017-10-03 Jozsef Peredy

The general Galois theory for functions and relational constraints over arbitrary sets described in the authors' previous paper is refined by imposing algebraic conditions on relations.

Combinatorics · Mathematics 2009-02-10 Miguel Couceiro , Stephan Foldes

We investigate the representation and complete representation classes for algebras of partial functions with the signature of relative complement and domain restriction. We provide and prove the correctness of a finite equational…

Logic · Mathematics 2022-12-05 Célia Borlido , Brett McLean

Examples of discontinuous functions already appear in the work of Euler, Abel, Dirichlet, Fourier, and Bolzano. A ground-breaking discovery due to Baire was that many discontinuous functions are well-behaved in that they are the pointwise…

Logic · Mathematics 2026-02-06 Dag Normann , Sam Sanders

A class of rational functions characterized by some wonderful properties is studied. The properties that identify this class include simple algebra (their inverses can be expressed in radicals), simple topology (the total space of the…

Algebraic Geometry · Mathematics 2010-05-25 Yuri Burda

We introduce and discuss a new class of (multivalued analytic) transcendental functions which still share with algebraic functions the property that the number of their isolated zeros can be explicitly counted. On the other hand, this class…

Classical Analysis and ODEs · Mathematics 2011-09-12 Gal Binyamini , Dmitry Novikov , Sergei Yakovenko

Bent functions as optimal combinatorial objects are difficult to characterize and construct. In the literature, bent idempotents are a special class of bent functions and few constructions have been presented, which are restricted by the…

Information Theory · Computer Science 2015-08-25 Chunming Tang , Yanfeng Qi , Zhengchun Zhou , Cuiling Fan

The structure of quotient Boolean algebras in terms of cardinal invariants is investigated. Some results of Gitik and Shelah regarding atomless ideals are reproved and proofs are significantly simplified.

Logic · Mathematics 2013-04-04 Ryszard Frankiewicz , Sławomir Szczepaniak

computable functions are defined by abstract finite deterministic algorithms on many-sorted algebras. We show that there exist finite universal algebraic specifications that specify uniquely (up to isomorphism) (i) all abstract computable…

Logic in Computer Science · Computer Science 2007-05-23 J. V. Tucker , J. I. Zucker

We investigate how to model exchangeability with choice functions. Exchangeability is a structural assessment on a sequence of uncertain variables. We show how such assessments are a special indifference assessment, and how that leads to a…

Artificial Intelligence · Computer Science 2017-03-07 Arthur Van Camp , Gert de Cooman

Using tools from the Siegel-Shidlovskii theory of transcendental numbers, we prove that a nontrivial solution of the Airy equation, its derivative, and an antiderivative are algebraically independent over the field of rational functions.…

Classical Analysis and ODEs · Mathematics 2025-03-19 Folkmar Bornemann

We introduce the notion of fully Hilbertian fields, a strictly stronger notion than that of Hilbertian fields. We show that this class of fields exhibits the same good behavior as Hilbertian fields, but for fields of uncountable…

Number Theory · Mathematics 2009-07-03 Lior Bary-Soroker , Elad Paran

We study the form of possible algebraic relations between functions satisfying linear differential equations. In particular , if f and g satisfy linear differential equations and are algebraically dependent, we give conditions on the…

Commutative Algebra · Mathematics 2020-11-04 Julien Roques , Michael F. Singer

The first part I talk about the motivation for Lu Qi-Keng conjecture and the results about the presence or absence of zeroes of the Bergman kernel function of a bounded domain in ${\bf{C^n}}$. The second part I summarize the main results on…

Complex Variables · Mathematics 2007-05-23 Weiping Yin

We introduce a new factorial function which agrees with the usual Euler gamma function at both the positive integers and at all half-integers, but which is also entire. We describe the basic features of this function.

Classical Analysis and ODEs · Mathematics 2021-07-26 Matthew D. Klimek

We consider a function-field analogue of Dirichlet series associated with the Goldbach counting function, and prove that it can, or cannot, be continued meromorphically to the whole plane. When it cannot, we further prove the existence of…

Number Theory · Mathematics 2023-02-07 Shigeki Egami , Kohji Matsumoto

A new definition for the Dirichlet beta function for positive integer arguments is discovered and presented for the first time. This redefinition of the Dirichlet beta function, based on the polygamma function for some special values,…

Number Theory · Mathematics 2015-01-07 Michael A. Idowu

Looking at some monoids and (semi)rings (natural numbers, integers and p-adic integers), and more generally, residually finite algebras (in a strong sense), we prove the equivalence of two ways for a function on such an algebra to behave…

Logic in Computer Science · Computer Science 2020-04-14 Patrick Cegielski , Serge Grigorieff , Irene Guessarian