Related papers: The Mostowski Bridge
A proof of G\"odel's incompleteness theorem is given. With this new proof a transfinite extension of G\"odel's theorem is considered. It is shown that if one assumes the set theory ZFC on the meta level as well as on the object level, a…
This article describes a Turing machine which can solve for $\beta^{'}$ which is RE-complete. RE-complete problems are proven to be undecidable by Turing's accepted proof on the Entscheidungsproblem. Thus, constructing a machine which…
We present a new proof of the generalized {\L}o\'s-Tarski theorem ($\mathsf{GLT}(k)$) introduced in [1], over arbitrary structures. Instead of using $\lambda$-saturation as in [1], we construct just the "required saturation" directly using…
It is shown, at the level of the classical action, that the Wess-Zumino-Witten-Novikov model is equivalent to a combined BF theory and a Chern-Simons action in the presence of a unique boundary term. This connection relies on the techniques…
We introduce a proof-theoretic approach to showing nondefinability of second-order intuitionistic connectives by quantifier-free schemata. We apply the method to prove that Taranovsky's "realizability disjunction" connective does not admit…
The founding of the theory of cylindric algebras, by Alfred Tarski, was a conscious effort to create algebras out of first order predicate calculus. Let $n\in\omega$. The classes of non-commutative cylindric algebras ($NCA_n$) and weakened…
This work uses mostly model-theoretic methods to establish new proof-theoretic theorems about several axiomatic theories of truth over KP (Kripke-Platek set theory) and stronger theories, especially ZF (Zermelo-Fraenkel set theory).
Qualitative spatial models based on Goodman-style mereology and pseudo-topology often pose problems for advanced geometric reasoning, as they lack true Euclidean geometry and fully developed topological spaces. We address this issue by…
We show that the existence of a Pi^{1}_{N}-indescribable cardinal over the Zermelo-Fraenkel's set theory ZF is proof-theoretically reducible to iterations of Mostowski collapsings and lower Mahlo operations. Furthermore we describe a…
A formalisation of G\"odel's incompleteness theorems using the Isabelle proof assistant is described. This is apparently the first mechanical verification of the second incompleteness theorem. The work closely follows {\'S}wierczkowski…
We first partly develop a mathematical notion of stable consistency intended to reflect the actual consistency property of human beings. Then we give a generalization of the first and second G\"odel incompleteness theorem to stably…
This paper examines $\mathbb{Z}$-graded manifolds as semiformal homogeneity structures, comparing two polynomial filtrations from their local models. In finite dimensions, these are componentwise equivalent, yielding isomorphic graded…
This is a paper for a special issue of the journal "Studia Semiotyczne" devoted to Stanislaw Krajewski's paper [30]. This paper gives some supplementary notes to Krajewski's [30] on the Anti-Mechanist Arguments based on G\"{o}del's…
In 1955 George Mackey suggested that there is a fundamental dichotomy in the unitary representation theory of locally compact second countable groups. He felt that there cannnot be a reasonable classification theory for the unitary…
We are interested in investigating some definitions and assumptions stated in [4], in particular the notions of measurability and atomicity that the two authors used in order to give a representation for multiplicative linear functionals…
We show that the real continuous, symmetric, and cancellative n-ary semigroups are topologically order-isomorphic to additive real n-ary semigroups. The binary case (n=2) was originally proved by Acz\'el (1949); there symmetry was…
This paper is the second in a series devoted to the study of unstable synthetic deformations through the lens of Malcev theories: certain $\infty$-categorical algebraic theories $\mathcal{P}$ with well-behaved $\infty$-categories…
For a given graph $G$, Budzik, Gaiotto, Kulp, Wang, Williams, Wu, Yu, and the first author studied a ''topological'' differential form $\alpha_G$, which expresses violations of BRST-closedness of a quantum field theory along a single…
We investigate the correspondence between two dimensional topological gauge theories and quantum integrable systems discovered by Moore, Nekrasov, Shatashvili. This correspondence means that the hidden quantum integrable structure exists in…
In 1966, Mal'cev proved that a class $\mathcal{K}$ of first-order structures with a specified signature is a quasivariety if and only if $\mathcal{K}$ contains a unit and is closed under isomorphisms, substructures, and reduced products. In…