相关论文: On a strengthening of Kotlarski's theorem

A satisfaction class is a set of nonstandard sentences respecting Tarski's truth definition. We are mainly interested in full satisfaction classes, i.e., satisfaction classes which decides all nonstandard sentences. Kotlarski, Krajewski and…

Working in any model theoretic structure, we single out a class of definable bipartite graphs that admit definable, close to perfect matchings. We use this result to prove a strengthening of Tarski's theorem for the definable setting.

Our main result (Theorem A) shows the incompleteness of any consistent sequential theory T formulated in a finite language such that T is axiomatized by a collection of sentences of bounded quantifier-alternation-depth. Our proof employs an…

The purpose of this paper is to generalize a very famous result on products of normal operators, due to I. Kaplansky. The context of generalization is that of bounded hyponormal and unbounded normal operators on complex separable Hilbert…

Constructive meaning is given to the assertion that every finite Boolean algebra is an injective object in the category of distributive lattices. To this end, we employ Scott's notion of entailment relation, in which context we describe…

We describe the countable ordinals in terms of iterations of Mostowski collapsings. This gives a proof-theoretic bound of definable countable ordinals in the Zermelo-Fraenkel's set theory ZF.

The aim of this work is to firstly demonstrate the efficacy of the recently proposed Orlicz space formalism for Quantum theory \cite{ML}, and secondly to show how noncommutative differential structures may naturally be incorporated into…

In this paper we prove a generalization of famous Larchr's theorem concerning good lattice points.

Most of the implicit contractions introduced by Wardowski [Fixed Point Th. Appl., 2012, 2012:94] are Matkowski type contractions.

A concept of abstract inductive definition on a complete lattice is formulated and studied. As an application, a constructive and predicative version of Tarski's fixed point theorem is obtained.

We provide a type theoretic treatment of the paper "On Tarski's fixed point theorem" by Giovanni Curi. There are benefits to having a type theoretic formulation apart from routine implementation in a proof assistant. By taking advantage of…

This is mainly a small exposition on extensions of valuation rings as a filtered union of smooth algebras.

In this paper we introduce the theory of ends and coends in the context of enriched bicategories. This will be an enriched version of the theory introduced in [Cor16], and a bicategorical version of the classical theory of enriched…

This paper is based on the author's paper "Koszul duality in deformation quantization, I", with some improvements. In particular, an Introduction is added, and the convergence of the spectral sequence in Lemma 2.1 is rigorously proven. Some…

A concise presentation of Schrodinger's ancilla theorem (1936 Proc. Camb. Phil. Soc. 32, 446) and its several recent rediscoveries.

We present and discuss the many results obtained concerning a famous limit theorem, the local limit theorem, which has many interfaces, with Number Theory notably, and for which, in spite of considerable efforts, the question concerning…

Of late, the field of BFKL physics has been the subject of significant developments. The calculation of the NLL terms was recently completed, and they turned out to be very large. Techniques have been proposed to resum these corrections.…

In this paper we study the logical foundations of automated inductive theorem proving. To that aim we first develop a theoretical model that is centered around the difficulty of finding induction axioms which are sufficient for proving a…

In previous work, the second author introduced a topology, for spaces of irreducible representations, that reduces to the classical Zariski topology over commutative rings but provides a proper refinement in various noncommutative settings.…

We give a new independent proof of a generalised version of the theorem by Rashevskii, which appeared in [Uch. Zapiski Ped. Inst. K. 2 (1938), 83 -- 94] and from which the classical Chow-Rashevskii Theorem follows as a corollary. The proof…