Related papers: Finite Localities II
We provide a formal introduction into the classic theorems of general topology and its axiomatic foundations in set theory. In this second part we introduce the fundamental concepts of topological spaces, convergence, and continuity, as…
We discuss a few selected topics in finite temperature field theory.
Internal preneighbourhood spaces inside any finitely complete category with finite coproducts and proper factorisation structure were first introduced in my earlier paper. This paper proposes a closure operation on internal preneighbourhood…
Work in progress concerning alternative formalizations of arithmetic.
This paper gives a quick overview of the author's recent result that all finitely presented groups are QSF.
We describe structure of locally finite groups of finite centraliser dimension.
In this paper we study the number of finite topologies on an $n$-element set subject to various restrictions.
We extend the 2-representation theory of finitary 2-categories to certain 2-categories with infinitely many objects, denoted locally finitary 2-categories, and extend the classical classification results of simple transitive…
The aim of the paper is to start to develop the most general theory of localizations/inversion. Several new concepts are introduced and studied.
We develop a novel formal theory of finite structures, based on a view of finite structures as a fundamental artifact of computing and programming, forming a common platform for computing both within particular finite structures, and in the…
Some early chapters of the upcoming book "Polyfold Constructions: Tools, Techniques, and Functors"
We study finite morphisms of varieties and the link between their top multiplicity loci under certain assumptions. More precisely, we focus on how to determine that link in terms of the spaces of arcs of the varieties.
The locality hypothesis is generally considered necessary for the study of the kinematics of non-inertial systems in special relativity. In this paper we discuss this hypothesis, showing the necessity of an improvement, in order to get a…
This report assumes the basics of inverse semigroup theory as described in the first primer but goes on to show how they may be analysed using ideas from category theory.
We develop the theory of locally small spaces in a new simple language and apply this simplification to re-build the theory of locally definable spaces over structures with topologies.
The article is a continuation of the author's work "Linear quasigroups. I" and devoted to linear quasigroups and some of their generalizations. In the second part identities and linearity of quasigroups are investigated, in particular, the…
We continue our discussion from part I.
This is a survey, intended both for group theorists and model theorists, concerning the structure of pseudofinite groups, that is, infinite models of the first order theory of finite groups. The focus is on concepts from stability theory…
We prove a stronger version of a termination theorem appeared in the paper "On existence of log minimal models II". We essentially just get rid of the redundant assumptions so the proof is almost the same as in there. However, we give a…
This paper is the last part of a comprehensive survey of a newly emerging field: a topological approach to the study of locally finite graphs that crucially incorporates their ends. Topological arcs and circles, which may pass through ends,…