相关论文: Sigma-continuity with closed witnesses

We introduce the notion of $B_1$-retract and investigate the connection between $B_1$- and $H_1$-retracts.

Sequent-type proof systems constitute an important and widely-used class of calculi well-suited for analysing proof search. In my master's thesis, I introduce sequent-type calculi for a variant of default logic employing \Lukasiewicz's…

In this paper we prove existence and multiplicity results of unbounded critical points for a general class of weakly lower semicontinuous functionals. We will apply a suitable nonsmooth critical point theory.

We prove an extension of the Bourgain-Sarnak-Ziegler theorem and then apply it to bound certain polynomial exponential sums with modular coefficients.

We study the asymptotic behavior of zeros of the Selberg zeta-function for the congruence subgroup $\Gamma_0(4)$ as a function of a one-parameter family of characters tending to the trivial character. The motivation for the study comes from…

In this paper we study Zariski Decomposition with support in a negative definite cycle, a variation introduced by Y. Miyaoka. We provide two extensions of the original statement, which was originally meant for effective $\Q$-divisors: we…

We disprove a conjecture of Simon for higher-order Szego theorems for orthogonal polynomials on the unit circle and propose a modified version of the conjecture.

We study the back stable $K$-theory Schubert calculus of the infinite flag variety. We define back stable (double) Grothendieck polynomials and double $K$-Stanley functions and establish coproduct expansion formulae. Applying work of…

We study problems related to continuous boundary extension of mappings of Orlicz-Sobolev classes in terms of prime ends. The results we obtain concern the case when the mappings are open, discrete, but not closed (not preserving the…

Let $X$ and $Y$ be Banach or normed linear spaces and $F\subset X$ a closed set. We apply our recent extension theorem for vector-valued Baire one functions arXiv:1512.03717 to obtain an extension theorem for vector-valued functions…

Inclusion dependencies form one of the most widely used dependency classes. We extend existing results on the axiomatization and computational complexity of their implication problem to two extended variants. We present an alternative…

In this paper we investigate the complexity-theoretical aspects of cyclic and non-wellfounded proofs in the context of parsimonious logic, a variant of linear logic where the exponential modality ! is interpreted as a constructor for…

For which choices of $X,Y,Z\in\{\Sigma^1_1,\Pi^1_1\}$ does no sufficiently strong $X$-sound and $Y$-definable extension theory prove its own $Z$-soundness? We give a complete answer, thereby delimiting the generalizations of G\"odel's…

Classical pseudo-differential operators of order zero on a graded nilpotent Lie group $G$ form a $^*$-subalgebra of the bounded operators on $L^2(G)$. We show that its $C^*$-closure is an extension of a noncommutative algebra of principal…

We extend Krasnoselskii's fixed point result to non-self-real functions. We find a new and simple proof for Hillam's result. In our approach, we don't assume the image of the related mapping to be compact or bounded. In this way, we extend…

Using dynamical methods we give a new proof of the theorem saying that if $A,B,X$ are rational functions of degree at least two such that $A\circ X=X\circ B$ and $\mathbb C(B,X)=\mathbb C(z)$, then the Galois closure of the field extension…

We provide an action for gauge theories discretized on simplicial meshes, inspired by finite element methods. The action is discretely gauge invariant and we give a proof of consistency. A discrete Noether's theorem that can be applied to…

We present an analogue of G\"{o}del's second incompleteness theorem for systems of second-order arithmetic. Whereas G\"{o}del showed that sufficiently strong theories that are $\Pi^0_1$-sound and $\Sigma^0_1$-definable do not prove their…

Imposing some conditions on derivatives of the known functions, using the Fiber Contraction Theorem we prove the existence of $C^1$ solutions of a class of iterative functional equations which involves iterates of the unknown functions and…

We describe a simple method that produces automatically closed forms for the coefficients of continued fractions expansions of a large number of special functions. The function is specified by a non-linear differential equation and initial…