Related papers: Understanding preservation theorems: omega-omega b…
We present natural constructions of trees and gaps using a quite general construction scheme. In particular, we solve a natural problem about $(\omega_1, \omega_1)$-gaps. As it is well known $(\omega_1, \omega_1)$-gaps can sometimes be…
We provide elementary algorithms for two preservation theorems for first-order sentences (FO) on the class \^ad of all finite structures of degree at most d: For each FO-sentence that is preserved under extensions (homomorphisms) on \^ad, a…
The treatment of exact conservation laws in Lagrangian gauge theories constitutes the main axis of the first part of the thesis. The formalism is developed as a self-consistent theory but is inspired by earlier works, mainly by…
We systematically study conservation theorems on theories of semi-classical arithmetic, which lie in-between classical arithmetic $\mathsf{PA}$ and intuitionistic arithmetic $\mathsf{HA}$. Using a generalized negative translation, we first…
In this paper we make a detailed analysis of conservation principles in the context of a family of fourth-order gravitational theories generated via a quadratic Lagrangian. In particular, we focus on the associated notion of energy and…
The paper is devoted to a generalized and simplified version of author's approach to covering theorems in bounded cohomology theory. The amenability assumptions are replaced by weaker and more natural acyclicity assumprions. In the case of…
We provide complete proofs of the lemmas about the properties of the regularized loss function that is used in the second order techniques for learning time-series with structural breaks in Osogami (2021). In addition, we show experimental…
The Benjamin--Ono equation is shown to be well-posed, both on the line and on the circle, in the Sobolev spaces $H^s$ for $s>-\tfrac12$. The proof rests on a new gauge transformation and benefits from our introduction of a modified Lax pair…
Inertial manifold theory, saddle point property and exponential dichotomy have been treated as different topics in the literature with different proofs. As a common feature, they all have the purpose of `splitting' the space to understand…
We study the long-time behavior of scalar viscous conservation laws via the structure of $\omega$-limit sets. We show that $\omega$-limit sets always contain constants or shocks by establishing convergence to shocks for arbitrary monotone…
We will read, through the Emmy Noether paper and the two concepts of `proper' and `improper' conservation laws, the problem, posed by Hilbert, of the nature of the law of conservation of energy in the theory of General Relativity.…
We establish the equations which translate a conservation law for the problem of the seismic response of an above-ground structure (e.g., building, hill or mountain) of arbitrary shape and inquire whether both the implicit (formal) and…
There are new integrable cases due to the construction from the previous version.
In chapter 9 of his book "The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal", Woodin shows how to force the Strong Chang Conjecture over models of determinacy using $\mathbb{P}_{\mathrm{max}}$. We show here how a…
These are the lecture notes based on earlier papers with some additional new results. New and simple proofs are given for local freeness theorem and the semipositivity theorem. A decomposition theorem for higher direct images of dualizing…
In this current article, we introduce the quadruple Shehu transform and its inverse. We also introduce some properties of quadruple Shehu transform. The Convolution theorem and its proof are also discussed. Further, to solve homogeneous and…
Tree properties are introduced by Shelah, and it is well-known that a theory has TP (the tree property) if and only if it has TP$_1$ or TP$_2$. In any simple theory (i.e., a theory not having TP), forking supplies a good independence notion…
We review various derivations of the partition function of the two-dimensional Ising Model of ferromagnetism and proofs of the stability of matter, paying attention to passages where there would appear to be a lacuna between steps or where…
This article is devoted to the interplay between forcing with fusion and combinatorial covering properties. We discuss known instances of this interplay as well as present a new one, namely that in the Laver model for the consistency of the…
The objective of this paper is, in the main, twofold: Firstly, to develop an algebraic setting for dealing with Bell polynomials and related extensions. Secondly, based on the author's previous work on multivariate Stirling polynomials…