-
Some contributions to sheaf model theory
Authors:
Andreas Brunner,
Charles Morgan,
Darllan Pinto
Abstract:
This paper makes contributions to "pure" sheaf model theory, the part of model theory in which the models are sheaves over a complete Heyting algebra. We start by outlining the theory in a way we hope is readable for the non-specialist. We then give a careful treatment of the interpretation of terms and formulae. This allows us to prove various preservation results, including strengthenings of the…
▽ More
This paper makes contributions to "pure" sheaf model theory, the part of model theory in which the models are sheaves over a complete Heyting algebra. We start by outlining the theory in a way we hope is readable for the non-specialist. We then give a careful treatment of the interpretation of terms and formulae. This allows us to prove various preservation results, including strengthenings of the results of Brunner and Miraglia. We give refinements of Miraglia's work on directed colimits and an analogue of Tarski's theorem on the preservation of $\forall_2$-sentences under unions of chains. We next show various categories whose objects are (pairs of) presheaves and sheaves with various notions of morphism are accessible in the category theoretic sense. Together these ingredients allow us ultimately to prove that these categories are encompassed in the AECats framework for independence relations developed by Kamsma.
△ Less
Submitted 26 September, 2024;
originally announced September 2024.
-
An Efficient Sweep-based Solver for the $S_{N}$ Equations on High-Order Meshes
Authors:
T. S. Haut,
P. G. Maginot,
V. Z. Tomov,
B. S. Southworth,
T. A. Brunner,
T. S. Bailey
Abstract:
We propose a graph-based sweep algorithm for solving the steady state, mono-energetic discrete ordinates on meshes of high-order curved mesh elements. Our spatial discretization consists of arbitrarily high-order discontinuous Galerkin finite elements using upwinding at mesh element faces. To determine mesh element sweep ordering, we define a directed, weighted graph whose vertices correspond to m…
▽ More
We propose a graph-based sweep algorithm for solving the steady state, mono-energetic discrete ordinates on meshes of high-order curved mesh elements. Our spatial discretization consists of arbitrarily high-order discontinuous Galerkin finite elements using upwinding at mesh element faces. To determine mesh element sweep ordering, we define a directed, weighted graph whose vertices correspond to mesh elements, and whose edges correspond to mesh element upwind dependencies. This graph is made acyclic by removing select edges in a way that approximately minimizes the sum of removed edge weights. Once the set of removed edges is determined, transport sweeps are performed by lagging the upwind dependency associated with the removed edges. The proposed algorithm is tested on several 2D and 3D meshes composed of high-order curved mesh elements.
△ Less
Submitted 9 January, 2019; v1 submitted 25 October, 2018;
originally announced October 2018.
-
Topological representation of intuitionistic and distributive abstract logics
Authors:
Andreas B. M. Brunner,
Steffen Lewitzka
Abstract:
We continue work of our earlier paper (Lewitzka and Brunner: Minimally generated abstract logics, Logica Universalis 3(2), 2009), where abstract logics and particularly intuitionistic abstract logics are studied. Abstract logics can be topologized in a direct and natural way. This facilitates a topological study of classes of concrete logics whenever they are given in abstract form. Moreover, such…
▽ More
We continue work of our earlier paper (Lewitzka and Brunner: Minimally generated abstract logics, Logica Universalis 3(2), 2009), where abstract logics and particularly intuitionistic abstract logics are studied. Abstract logics can be topologized in a direct and natural way. This facilitates a topological study of classes of concrete logics whenever they are given in abstract form. Moreover, such a direct topological approach avoids the often complex algebraic and lattice-theoretic machinery usually applied to represent logics. Motivated by that point of view, we define in this paper the category of intuitionistic abstract logics with stable logic maps as morphisms, and the category of implicative spectral spaces with spectral maps as morphisms. We show the equivalence of these categories and conclude that the larger categories of distributive abstract logics and distributive sober spaces are equivalent, too.
△ Less
Submitted 18 August, 2015;
originally announced August 2015.
-
Distributive abstract logics and the Esakia duality
Authors:
Andreas B. M. Brunner,
Darllan Conceição Pinto
Abstract:
In this paper we develop an almost general process to switch from abstract logics in the sense of Brown and Suszko to lattices. With this method we can establish dualities between some categories of abstract logics to the correspondent topological space categories. In more detail we will explain the duality between the category of abstract intuitionistic logics with intuitionistic morphisms and th…
▽ More
In this paper we develop an almost general process to switch from abstract logics in the sense of Brown and Suszko to lattices. With this method we can establish dualities between some categories of abstract logics to the correspondent topological space categories. In more detail we will explain the duality between the category of abstract intuitionistic logics with intuitionistic morphisms and the category of Esakia spaces with the Esakia morphisms.
△ Less
Submitted 29 October, 2014; v1 submitted 15 August, 2014;
originally announced August 2014.
-
Abelian state-closed subgroups of automorphisms of m-ary trees
Authors:
Andrew M. Brunner,
Said N. Sidki
Abstract:
The group A_{m} of automophisms of a one-rooted m-ary tree admits a diagonal monomorphism which we denote by x. Let A be an abelian state-closed (or self-similar) subgroup of A_{m}. We prove that the combined diagonal and tree-topological closure A* of A is additively a finitely presented Z_m [[x]]-module where Z_m is the ring of m-adic integers. Moreover, if A* is torsion-free then it is a fini…
▽ More
The group A_{m} of automophisms of a one-rooted m-ary tree admits a diagonal monomorphism which we denote by x. Let A be an abelian state-closed (or self-similar) subgroup of A_{m}. We prove that the combined diagonal and tree-topological closure A* of A is additively a finitely presented Z_m [[x]]-module where Z_m is the ring of m-adic integers. Moreover, if A* is torsion-free then it is a finitely generated pro-m group. The group A splits over its torsion subgroup. We study in detail the case where A* corresponds to a cyclic Z_m[[x]]-module and when m is a prime number, we show A* to be conjugate by a tree automorphism to one of two specific types of groups.
△ Less
Submitted 22 October, 2009; v1 submitted 18 June, 2009;
originally announced June 2009.
