English
Related papers

Related papers: Topological systems as a framework for institution…

200 papers

We show that the concept of topological order, introduced to describe ordered quantum systems which cannot be classified by broken symmetries, also applies to classical systems. Starting from a specific example, we show how to use pure…

Strongly Correlated Electrons · Physics 2011-11-09 Claudio Castelnovo , Claudio Chamon , .

Some particular examples of classical and quantum systems on the lattice are solved with the help of orthogonal polynomials and its connection to continuous models are explored.

Mathematical Physics · Physics 2007-05-23 M. Lorente

This paper investigates spaces equipped with a family of metric-like functions satisfying certain axioms. These functions provide a unified framework for defining topology, uniformity, and diffeology. The framework is based on a family of…

General Topology · Mathematics 2026-03-25 Masaki Taho

Scientists often think of the world (or some part of it) as a dynamical system, a stochastic process, or a generalization of such a system. Prominent examples of systems are (i) the system of planets orbiting the sun or any other classical…

History and Philosophy of Physics · Physics 2021-04-30 Christian List , Marcus Pivato

Generalizing a construction of P. Vanhaecke, we introduce a large class of degenerate (i.e., associated to a degenerate Poisson bracket) completely integrable systems on (a dense subset of) the space $\R^{2d+n+1}$, called the generalized…

solv-int · Physics 2008-02-03 Peter Bueken

The theory of stratified institutions is a general axiomatic approach to model theories where the satisfaction is parameterised by states of the models. In this paper we further develop this theory by introducing a new technique for…

Logic · Mathematics 2021-12-28 Răzvan Diaconescu

In this work we consider the topological analysis of symbolic formal systems in the framework of network theory. In particular we analyse the network extracted by Principia Mathematica of B. Russell and A.N. Whitehead, where the vertices…

Physics and Society · Physics 2011-09-09 A. P. Masucci

Recently, J. D. Lawson encouraged the domain theory community to consider the scientific program of developing domain theory in the wider context of $T_0$ spaces instead of restricting to posets. In this paper, we respond to this calling…

Logic in Computer Science · Computer Science 2023-06-22 Hadrian Andradi , Weng Kin Ho

The intrinsic connection between lattice theory and topology is fairly well established, For instance, the collection of open subsets of a topological subspace always forms a distributive lattice. Persistent homology has been one of the…

Rings and Algebras · Mathematics 2014-02-03 Primož Škraba , João Pita Costa

In this work, we will introduce the notion of generalized topological groups using generalized topological structure and generalized continuity defined by ?A. Cs?asz?ar [2]. We will discuss some basic properties of this kind of structures…

General Topology · Mathematics 2016-11-11 Murad Hussain , Moiz Ud Din Khan , Cenap Özel

The definition of 'classical state', and how it was used in earlier work to prove a decomposition theorem internally in the language of State Property Systems, presupposes as an additional datum an orthocomplementation on the property…

Quantum Physics · Physics 2012-03-28 Diederik Aerts , Bart D'Hooghe , Mark Sioen

This paper outlines a general formal framework for reasoning systems, intended to support future analysis of inference architectures across domains. We model reasoning systems as structured tuples comprising phenomena, explanation space,…

Artificial Intelligence · Computer Science 2025-08-05 Saleh Nikooroo , Thomas Engel

We introduce semiframes (an algebraic structure) and investigate their duality with semitopologies (a topological one). Both semitopologies and semiframes are relatively recent developments, arising from a novel application of topological…

Logic in Computer Science · Computer Science 2026-02-18 Murdoch J. Gabbay

Recent decades have seen the discovery of numerous complex materials. At the root of the complexity underlying many of these materials lies a large number of possible contending atomic- and larger-scale configurations and the intricate…

Materials Science · Physics 2023-01-30 P. Ronhovde , S. Chakrabarty , M. Sahu , K. K. Sahu , K. F. Kelton , N. Mauro , Z. Nussinov

Let $X$ be a scheme. In this text, we extend the known definitions of a topology on the set $X(R)$ of $R$-rational points from topological fields, local rings and ad\`ele rings to any ring $R$ with a topology. This definition is functorial…

Algebraic Geometry · Mathematics 2015-09-03 Oliver Lorscheid , Cecília Salgado

We construct algorithms and topological invariants that allow us to distinguish the topological type of a surface, as well as functions and vector fields for their topological equivalence. In the first part we discus the main structures…

Dynamical Systems · Mathematics 2025-01-28 Alexandr Prishlyak

We develop the concept of pluri-Lagrangian structures for integrable hierarchies. This is a continuous counterpart of the pluri-Lagrangian (or Lagrangian multiform) theory of integrable lattice systems. We derive the multi-time Euler…

Mathematical Physics · Physics 2019-11-11 Yuri B. Suris , Mats Vermeeren

This is the first in a series of papers devoted to foundations of topological stacks. We begin developing a homotopy theory for topological stacks along the lines of classical homotopy theory of topological spaces. In this paper we go as…

Algebraic Geometry · Mathematics 2007-05-23 Behrang Noohi

There are many examples of dualities between topological spaces and algebras in the literature. Particularly, many of those examples come from the algebraic counterpart of a logical system, e.g, boolean and heyting algebras, MV-algebras,…

Category Theory · Mathematics 2023-11-08 Mayk de Andrade , Hugo Mariano

Formal concept analysis has grown from a new branch of the mathematical field of lattice theory to a widely recognized tool in Computer Science and elsewhere. In order to fully benefit from this theory, we believe that it can be enriched…

Logic in Computer Science · Computer Science 2012-01-23 Pascal Hitzler , Markus Krötzsch , Guo-Qiang Zhang