- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
The Automorphism Group of the Fraïssé Limit of Finite Heyting Algebras
Journal of Symbolic Logic 88 (3):1310-1320 (2023)
Abstract
Roelcke non-precompactness, simplicity, and non-amenability of the automorphism group of the Fraïssé limit of finite Heyting algebras are proved among others.Other Versions
No versions found
My notes
Similar books and articles
The Automorphism Group of the Fraïssé Limit of Finite Heyting Algebras—Addendum.Kentarô Yamamoto - 2023 - Journal of Symbolic Logic 88 (3):1321-1322.
Homogeneous structures with nonuniversal automorphism groups.Wiesław Kubiś & Saharon Shelah - 2020 - Journal of Symbolic Logic 85 (2):817-827.
Coherent extension of partial automorphisms, free amalgamation and automorphism groups.Daoud Siniora & Sławomir Solecki - 2020 - Journal of Symbolic Logic 85 (1):199-223.
On Bellissima’s construction of the finitely generated free Heyting algebras, and beyond.Luck Darnière & Markus Junker - 2010 - Archive for Mathematical Logic 49 (7-8):743-771.
Degree of Satisfiability in Heyting Algebras.Benjamin Merlin Bumpus & Zoltan A. Kocsis - forthcoming - Journal of Symbolic Logic:1-19.
The Amalgamation Property and Urysohn Structures in Continuous Logic.G. A. O. Su & R. E. N. Xuanzhi - forthcoming - Journal of Symbolic Logic:1-61.
The jiang–su algebra as a fraïssé limit.Shuhei Masumoto - 2017 - Journal of Symbolic Logic 82 (4):1541-1559.
Boolean Algebras With A Distinguished Automorphism.M. Abad, J. P. D.\'{\I.}az Varela & M. Zander - 2003 - Reports on Mathematical Logic:101-112.
Fraïssé Limits of C*-Algebras.Christopher J. Eagle, Ilijas Farah, Bradd Hart, Boris Kadets, Vladyslav Kalashnyk & Martino Lupini - 2016 - Journal of Symbolic Logic 81 (2):755-773.
On a generalized fraïssé limit construction and its application to the jiang–su algebra.Shuhei Masumoto - 2020 - Journal of Symbolic Logic 85 (3):1186-1223.
Analytics
Added to PP
2022-06-09
Downloads
25 (#875,284)
6 months
5 (#1,032,319)
2022-06-09
Downloads
25 (#875,284)
6 months
5 (#1,032,319)
Historical graph of downloads
Citations of this work
The Automorphism Group of the Fraïssé Limit of Finite Heyting Algebras—Addendum.Kentarô Yamamoto - 2023 - Journal of Symbolic Logic 88 (3):1321-1322.
References found in this work
On an interpretation of second order quantification in first order intuitionistic propositional logic.Andrew M. Pitts - 1992 - Journal of Symbolic Logic 57 (1):33-52.
Interpolation and amalgamation; pushing the limits. Part I.Judit X. Madarász - 1998 - Studia Logica 61 (3):311-345.
Model completions and r-Heyting categories.Silvio Ghilardi & Marek Zawadowski - 1997 - Annals of Pure and Applied Logic 88 (1):27-46.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-667477cd97-7qg25 dc2