Related papers: A nonstandard proof for Szpilrajn's theorem
We study transfinite extensions of Japaridze's provability logic GLP and the well-founded relations that naturally occur within them. Every ordinal induces a partial order over the class of "words," which are iterated consistency statements…
In [Adv. Math., 321 (2017) 269-286], using the theory of ultrafilters, J. H. Johnson Jr., and F. K. Richter proved the nilpotent polynomial Hales-Jewett theorem. Using this result they proved the restricted version of the van der Waerden…
This talk is a sneak preview of the project, 'proof theory for theories of ordinals'. Background, aims, survey and furture works on the project are given. Subsystems of second order arithmetic are embedded in recursively large ordinals and…
The purpose of this note is to give a direct and self-contained proof of the Proportionality Theorem of Brasselet-Schwartz. This theorem relates the Schwartz indices of frames obtained by radial extension on Whitney stratified analytic…
A result of H.-W. Wiesbrock is extended from the case of a common cyclic and separating vector for the half-sided modular inclusion of von Neumann algebras to the case of a common faithful normal semifinite weight and at the same time a gap…
The variety $\mathbf{I}$ of implication zroupoids was defined and investigated by Sankappanavar ([7]) as a generalization of De Morgan algebras. Also, in [7], several new subvarieties of $\mathbf{I}$ were introduced, including the…
We prove a $p$-nilpotency criterion for finite groups in terms of the element orders of its $p'$-reduced sections that extends a nilpotency criterion by T{\u{a}}rn{\u{a}}uceanu.
Solving a decades-old problem we show that Keisler's 1967 order on theories has the maximum number of classes. The theories we build are simple unstable with no nontrivial forking, and reflect growth rates of sequences which may be thought…
In 1950, B.A. Trakhtenbrot showed that the set of first-order tautologies associated to finite models is not recursively enumerable. In 1999, P. H\'ajek generalized this result to the first-order versions of \L ukasiewicz, G\"odel and…
In this paper we present a constructive proof of cut elimination for a system of full second order logic with the structural rules absorbed and using sets instead of sequences. The standard problem of the cutrank growth is avoided by using…
We show that every unstable NIP theory admits a V-definable linear quasi-order, over a finite set of parameters. In particular, if the theory is omega-categorical, then it interprets an infinite linear order. This partially answers a…
Regarding Euler's odd-strict theorem, which is the most basic partition identity, A refinement was done by Sylvester, and it was generalized by Bessenrodt to the r-regular and r-class regular cases. In this paper, we focus on the…
Commutative totally ordered monoids abound, number systems for example. When the monoid is not assumed commutative, one may be hard pressed to find an example. One suggested by Professor Orr Shalit are the countable ordinals with addition.…
In classical set theory, the ordinals form a linear chain that we often think of as a very thin portion of the set-theoretic universe. In intuitionistic set theory, however, this is not the case and there can be incomparable ordinals. In…
Let $(P,\leq)$ be a finite poset (partially ordered set), where $P$ has cardinality $n$. Consider linear extensions of $P$ as permutations $x_1x_2\cdots x_n$ in one-line notation. For distinct elements $x,y\in P$, we define…
In 1966 Harry Kesten settled the Erd\H os-Sz\"usz conjecture on the local discrepancy of irrational rotations. His proof made heavy use of continued fractions and Diophantine analysis. In this paper we give a purely topological proof…
We study models of HST, a nonstandard set theory which includes, in particular, the ZFC Replacement and Separation schemata in the language containing the membership and standardness predicates, and Saturation for well-orderable families of…
In this paper we prove the orthonormal Strichartz estimates for the higher order and fractional Schr\"odinger, wave, Klein-Gordon and Dirac equations with potentials. As in the case of the Schr\"odinger operator, the proofs are based on the…
We find it absurd that Walliser [1] essentially used the same analysis and obtained identical results as reported in [3], yet arrived at different conclusions. Namely, based on an incomplete theory and using erroneous arguments, he not only…
This is a survey and research note on the modified Orlik conjecture derived from the division theorem introduced in [2]. The division theorem is a generalization of classical addition-deletion theorems for free arrangements. The division…