This paper is about three problems raised by Bjarni Jonsson and their influence on the development and direction of lattice theory. In lattice theory

by Vortex-

This report contains a brief introduction to the lattice theory and path integral methods in Quantum Mechanics, including some short calculations on the harmonic oscillator. Numerical simulations based on the Metropolis algorithm have been performed to obtain some properties of the harmonic

A notion of simulation of one datatype by another is defined as a constructive preorder. A calculus of datatype simulation is then developed by formulating constructive versions of least-fixed-point theorems in lattice theory. The calculus is applied to the construction of several isomorphisms

Abstract not found

We have used the first-order model-searching programs MACE and SEM to study various problems in lattice theory. First, we present a case study in which the two programs are used to examine the differences between the stages along the way from lattice theory to Boolean algebra. Second, we answer

In the early 1890’s, Richard Dedekind was working on a revised and enlarged edition of Dirichlet’s Vorlesungen über Zahlentheorie, and asked himself the following question: Given three subgroups A, B, C of an abelian group G, how many different subgroups can you get by taking intersections and sums, e.g., A + B, (A+B)∩C,

Arguesian identities. In a previous work we showed that an Arguesian identity can be unfolded with respect to a vector variable to get a lattice inequality, which holds in various lattices. In this paper, we extend this technique to an arbitrary variable. We prove that for any variable v of an Arguesian

Soft set theory was introduced by Molodtsov in 1999 as a general mathematical tool for dealing with problems that contain uncertainty. In this paper, we define concept of fuzzy soft lattice, fuzzy soft sublattice, complete fuzzy soft lattice, modular fuzzy soft lattice, distributive fuzzy soft

We present a Hamiltonian formulation for gauged non-anomalous chiral theories on a spatial lattice. The formulation has the desirable properties that it provides exact chiral symmetry in the mass + 0 limit, with a correct fermion spectrum and correct weak coupling perturbation theory for QED