Results 11 to 20 of about 595 (40)

Singly generated quasivarieties and residuated structures [PDF]

, 2019
A quasivariety K of algebras has the joint embedding property (JEP) iff it is generated by a single algebra A. It is structurally complete iff the free countably generated algebra in K can serve as A.
Anderson A. R., Bergman C., Chang C. C., Citkin A. I., Citkin A. I., Dywan Z., Esakia L. L., Esakia L. L., Galatos N., Gorbunov V. A., Jónsson B., Kuznetsov A. V., Magari R., Maltsev A. I., Maltsev A. I., Maltsev A. I., Minari P., Pogorzelski W. A., Pogorzelski W. A., Prucnal T., Rybakov V. V., Wroński A., Wroński A., Wroński A., Łoś J., Łoś J.   +25 more
core   +2 more sources

Overlap Algebras as Almost Discrete Locales [PDF]

, 2016
Boolean locales are almost discrete. In fact, spatial Boolean locales are the same thing as discrete spaces. This does not make sense intuitionistically, since (non-trivial) discrete locales fail to be Boolean.
Ciraulo, Francesco
core   +2 more sources

Speakable in Quantum Mechanics [PDF]

, 2011
At the 1927 Como conference Bohr spoke the now famous words "It is wrong to think that the task of physics is to find out how nature is. Physics concerns what we can say about nature." However, if the Copenhagen interpretation really holds on to this ...
A. Baltag, A. Döring, A. Kent, A. Peres, A. Peres, A. Peres, A. Stairs, C. J. Isham, D. A. Meyer, D. Bohm, H. J. Folse, J. F. Clauser, J. V. Corbett, K. R. Popper, M. Caspers, M. Dummett, R. B. Griffiths, R. Clifton, R. Hermens, R. P. Feynman, Ronnie Hermens, S. Bell J., T. Maudlin   +22 more
core   +4 more sources

Topos-Theoretic Extension of a Modal Interpretation of Quantum Mechanics

, 2007
This paper deals with topos-theoretic truth-value valuations of quantum propositions. Concretely, a mathematical framework of a specific type of modal approach is extended to the topos theory, and further, structures of the obtained truth-value ...
B. Fraassen van, B.A. Davey, C.J. Isham, C.J. Isham, C.J. Isham, J. Bub, J. Bub, J. Butterfield, J. Butterfield, J. Hamilton, J. Lambek, J.L. Bell, Kunji Nakayama, P. Vermaas, R. Goldblatt, S. Kochen, S. MacLane   +16 more
core   +1 more source

Variable sets over an algebra of lifetimes: a contribution of lattice theory to the study of computational topology [PDF]

, 2015
A topos theoretic generalisation of the category of sets allows for modelling spaces which vary according to time intervals. Persistent homology, or more generally, persistence is a central tool in topological data analysis, which examines the structure ...
Costa, João Pita, Johansson, Mikael Vejdemo, Škraba, Primož   +2 more
core  

Topological Properties of Prime Filters and Minimal Prime Filters on a Paradistributive Latticoid

International Journal of Mathematics and Mathematical Sciences, Volume 2024, Issue 1, 2024.
In this paper, we study the concepts of prime filters and minimal prime filters on a paradistributive latticoid (PDL) and discuss various results. In addition, we prove that the annihilator filter S• is equal to the intersection of all prime filters not containing S.
Suryavardhani Ajjarapu, Ravikumar Bandaru, Ramakoteswara Rao Kotha, Rahul Shukla, Anwar Saleh Alwardi   +4 more
wiley   +1 more source

Some notes on Esakia spaces [PDF]

, 2014
Under Stone/Priestley duality for distributive lattices, Esakia spaces correspond to Heyting algebras which leads to the well-known dual equivalence between the category of Esakia spaces and morphisms on one side and the category of Heyting algebras and ...
Dedicated To Manuela Sobral, Dirk Hofmann, Pedro Nora   +2 more
core  

Finitary Topos for Locally Finite, Causal and Quantal Vacuum Einstein Gravity

, 2005
Previous work on applications of Abstract Differential Geometry (ADG) to discrete Lorentzian quantum gravity is brought to its categorical climax by organizing the curved finitary spacetime sheaves of quantum causal sets involved therein, on which a ...
Raptis, Ioannis
core   +4 more sources

Coherence in Modal Logic [PDF]

, 2018
A variety is said to be coherent if the finitely generated subalgebras of its finitely presented members are also finitely presented. In a recent paper by the authors it was shown that coherence forms a key ingredient of the uniform deductive ...
Kowalski, Tomasz, Metcalfe, George
core   +1 more source

Towards a Paraconsistent Quantum Set Theory

, 2015
In this paper, we will attempt to establish a connection between quantum set theory, as developed by Ozawa, Takeuti and Titani, and topos quantum theory, as developed by Isham, Butterfield and Doring, amongst others.
Eva, Benjamin
core   +2 more sources