English
Related papers

Related papers: Some fundamental problems on real-analytic sets

200 papers

Metaphysical interpretations of set theory are either inconsistent or incoherent. The uses of sets in mathematics actually involve three distinct kinds of collections (surveyable, definite, and heuristic), which are governed by three…

History and Overview · Mathematics 2009-05-12 Nik Weaver

In this article, we will showcase some analytical concepts that can be used to tackle Functional Equations (FE) in the positive real numbers domain. Such concepts and related techniques have occasionally appeared in recent High School Math…

History and Overview · Mathematics 2023-11-21 Konstantinos Konstantinidis

A problem list in singularity theory. Most of these problems are related with the algorithmic enumeration of possible topological types of non-discriminant Morsifications of real function singularities, and/or with the Picard--Lefschetz…

Algebraic Geometry · Mathematics 2015-04-09 V. A. Vassiliev

One of the significant problems associated with imbalanced data classification is the lack of reliable metrics. This runs primarily from the fact that for most real-life (as well as commonly used benchmark) problems, we do not have…

Machine Learning · Computer Science 2024-04-16 Szymon Wojciechowski , Michał Woźniak

Data is always at the center of the theoretical development and investigation of the applicability of formal concept analysis. It is therefore not surprising that a large number of data sets are repeatedly used in scholarly articles and…

Artificial Intelligence · Computer Science 2025-04-30 Tom Hanika , Robert Jäschke

The growing complexity of modern practical problems puts high demands on the mathematical modelling. Given that various models can be used for modelling one physical phenomenon, the role of model comparison and model choice becomes…

Category Theory · Mathematics 2021-08-16 Dmitrii Legatiuk

This book dwells on mathematical and algorithmic issues of data analysis based on generality order of descriptions and respective precision. To speak of these topics correctly, we have to go some way getting acquainted with the important…

Logic in Computer Science · Computer Science 2019-08-30 Sergei O. Kuznetsov

Dahmen and Schmeding have obtained the result that although the smooth Lie group $G$ of real analytic diffeomorphisms $\mathbb S^{\,1.}\to\mathbb S^{\,1.}$ has a compatible analytic manifold structure, it does not make $G$ a real analytic…

Functional Analysis · Mathematics 2015-12-21 Seppo I. Hiltunen

This article introduces Hilbert $*$-categories: an abstraction of categories with similar algebraic and analytic properties to the categories of real, complex, and quaternionic Hilbert spaces and bounded linear maps. Other examples include…

Category Theory · Mathematics 2025-12-09 Matthew Di Meglio , Chris Heunen

Alternative set theory (AST) may be suitable for the ones who try to capture objects or phenomenons with some kind of indefiniteness of a border. While AST provides various notions for advanced mathematical studies, correspondence of them…

Logic · Mathematics 2020-05-12 Kiri Sakahara , Takashi Sato

Category theory gives a mathematical characterization of naturality but not of canonicity. The purpose of this paper is to develop the logical theory of canonical maps based on the broader demonstration that the dual notions of elements &…

Category Theory · Mathematics 2024-10-07 David Ellerman

Complexity theory provides a wealth of complexity classes for analyzing the complexity of decision and counting problems. Despite the practical relevance of enumeration problems, the tools provided by complexity theory for this important…

Computational Complexity · Computer Science 2017-10-25 Nadia Creignou , Markus Kröll , Reinhard Pichler , Sebastian Skritek , Heribert Vollmer

Many different types of fractional calculus have been proposed, which can be organised into some general classes of operators. For a unified mathematical theory, results should be proved in the most general possible setting. Two important…

Classical Analysis and ODEs · Mathematics 2021-01-12 Christian Maxime Steve Oumarou , Hafiz Muhammad Fahad , Jean-Daniel Djida , Arran Fernandez

In this note we characterize, within the framework of the theory of finite set, those categories of graphs that are {\em algebraic universal} in the sense that every concrete category embeds in them. The proof of the characterization is…

Category Theory · Mathematics 2016-08-04 J. Nesetril , P. Ossona de Mendez

The notion of a simplicial set originated in algebraic topology, and has also been utilized extensively in category theory, but until relatively recently was not used outside of those fields. However, with the increasing prominence of…

Algebraic Topology · Mathematics 2024-11-28 Julia E. Bergner

The aim of these notes is to provide a succinct, accessible introduction to some of the basic ideas of category theory and categorical logic. The notes are based on a lecture course given at Oxford over the past few years. They contain…

Category Theory · Mathematics 2015-05-27 Samson Abramsky , Nikos Tzevelekos

We define a notion which contains numerous basic notions of Analysis as special cases, for example limit, continuity, differential, Riemann and Lebesgue integral, root and exponential functions. Properties like additivity or linearity of…

Classical Analysis and ODEs · Mathematics 2015-07-07 Matthias Mossburger

Differential categories provide an axiomatization of the basics of differentiation and categorical models of differential linear logic. As differentiation is an important tool throughout quantum mechanics and quantum information, it makes…

Logic in Computer Science · Computer Science 2020-05-04 Jean-Simon Pacaud Lemay

We present an intrinsic and concrete development of the subdivision of small categories, give some simple examples and derive its fundamental properties. As an application, we deduce an alternative way to compare the homotopy categories of…

Algebraic Topology · Mathematics 2018-07-10 Matias Luis del Hoyo

Asking which sets are fixed-parameter tractable for a given parameterization constitutes much of the current research in parameterized complexity theory. This approach faces some of the core difficulties in complexity theory. By focussing…

Logic in Computer Science · Computer Science 2018-01-17 Jouke Witteveen , Leen Torenvliet