Related papers: Lifschitz Realizability as a Topological Construct…
The first part of this article deals with theorems on uniqueness in law for \sigma-finite and constructive countable random sets, which in contrast to the usual assumptions may have points of accumulation. We discuss and compare two…
Bishop's informal set theory is briefly discussed and compared to Lawvere's Elementary Theory of the Category of Sets (ETCS). We then present a constructive and predicative version of ETCS, whose standard model is based on the constructive…
We give an analysis and generalizations of some long-established constructive completeness results in terms of categorical logic and pre-sheaf and sheaf semantics. The purpose is in no small part conceptual and organizational: from a few…
By Solovay's celebrated completeness result on formal provability we know that the provability logic $\mathrm GL$ describes exactly all provable structural properties for any sound and strong enough arithmetical theory with a decidable…
In constructive algebra one cannot in general decide the irreducibility of a polynomial over a field K. This poses some problems to showing the existence of the algebraic closure of K. We give a possible constructive interpretation of the…
With every pca $\mathcal{A}$ and subpca $\mathcal{A}_\#$ we associate the nested realizability topos $\mathsf{RT}(\mathcal{A},\mathcal{A}_\#)$ within which we identify a class of small maps $\mathcal{S}$ giving rise to a model of…
{\AA}qvist's logics (E, F, F+(CM), and G) are among the best-known systems in the long tradition of preference-based approaches for modeling conditional obligation. While the general semantics of preference models align well with…
This survey paper examines the effective model theory obtained with the BSS model of real number computation. It treats the following topics: computable ordinals, satisfaction of computable infinitary formulas, forcing as a construction…
Regular model checking is a well-established technique for the verification of regular transition systems (RTS): transition systems whose initial configurations and transition relation can be effectively encoded as regular languages. In…
We construct supersymmetric Lifshitz field theories with four real supercharges in a general number of space dimensions. The theories consist of complex bosons and fermions and exhibit a holomorphic structure and non-renormalization…
We show that the topology of pointwise convergence on scattered spaces is compatible with the group structure of their homeomorphism group. We then establish a few topological properties of the homeomorphism group of the first uncountable…
We explore an application of homological algebra to set theoretic objects by developing a cohomology theory for Hausdorff gaps. The cohomology theory is introduced with enough generality to be applicable to other questions in set theory.…
We explore various combinatorial problems mostly borrowed from physics, that share the property of being continuously or discretely integrable, a feature that guarantees the existence of conservation laws that often make the problems…
Given a proper toric variety and a line bundle on it, we describe the morphism on singular cohomology given by the cup product with the Chern class of that line bundle in terms of the data of the associated fan. Using that, we relate the…
This paper introduces categories of assemblies which are closely connected to realizability interpretations and which are based on an important subcategory of the effective topos. There is a list of properties which characterize these…
We show that satisfiability for CTL* with equality-, order-, and modulo-constraints over Z is decidable. Previously, decidability was only known for certain fragments of CTL*, e.g., the existential and positive fragments and EF.
Using the isomorphism between highest weight U_q(sl_2)-modules and homologies of certain local systems on the configuration spaces, constructed by Varchenko, we give a geometric construction of the dual of the Lusztig's canonical basis in a…
We give two constructions of functorial topological realizations for schemes of finite type over the field $\mathbb{C}(\!(t)\!)$ of formal Laurent series with complex coefficients, with values in the homotopy category of spaces over the…
Let S be a Noetherian scheme and f:X -> S a proper morphism. By SGA 4 XIV, for any constructible sheaf F of Z/nZ-modules on X, the sheaves of Z/nZ-modules R^if_*F obtained by direct image (for the etale topology) are also constructible:…
Lattice field theories with a complex action can be studied numerically by allowing a complexified configuration space to be explored. Here we compare the recently introduced formulation on a Lefschetz thimble with the result from…