LD-Algebras Beyond I0

Notre Dame Journal of Formal Logic 60 (3):395-405 (2019)
  Copy   BIBTEX

Abstract

The algebra of embeddings at the I3 level has been deeply analyzed, but nothing is known algebra-wise for embeddings above I3. In this article, we introduce an operation for embeddings at the level of I0 and above, and prove that they generate an LD-algebra that can be quite different from the one implied by I3.

Categories

Keywords

Reprint years

DOI

10.1215/00294527-2019-0009

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Qb And Normal Algebras.Bronislaw Tembrowski - 1985 - Bulletin of the Section of Logic 14 (1):41-45.
Free Algebras in Varieties of Glivenko MTL-Algebras Satisfying the Equation 2(x²) = (2x)².Roberto Cignoli & Antoni Torrens Torrell - 2006 - Studia Logica 83 (1-3):157 - 181.
On the definability of join by means of polynomials in implicative algebras.Antoni Torrens - 1985 - Bulletin of the Section of Logic 14 (4):158-162.
The theory of Boolean algebras with an additional binary operation.Bronis?aw Tembrowski - 1983 - Studia Logica 42 (4):389 - 405.
On Generalized I-algebras And 4-valued Modal Algebras.Aldo Figallo & Paolo Landini - 1995 - Reports on Mathematical Logic:3-18.
-}$bounded Wajsberg Algebras With A U- Operator.M. Lattanzi - 2005 - Reports on Mathematical Logic:89-111.
Varieties of BL-Algebras III: Splitting Algebras.Paolo Aglianó - 2019 - Studia Logica 107 (6):1235-1259.
On ockham algebras: Congruence lattices and subdirectly irreducible algebras.P. Garcia & F. Esteva - 1995 - Studia Logica 55 (2):319 - 346.
Perfect MV-Algebras and l-Rings.Lawrence P. Belluce, Antonio Di Nola & George Georgescu - 1999 - Journal of Applied Non-Classical Logics 9 (1):159-172.
Averaging the truth-value in łukasiewicz logic.Daniele Mundici - 1995 - Studia Logica 55 (1):113 - 127.
Subdirectly Irreducible IKt-Algebras.Aldo V. Figallo, Inés Pascual & Gustavo Pelaitay - 2017 - Studia Logica 105 (4):673-701.
Effect Algebras with the Riesz Decomposition Property and AF C*-Algebras.Sylvia Pulmannova - 1999 - Foundations of Physics 29 (9):1389-1401.
Pure Hilbert Algebras with Infimum.Aldo Figallo Jr - 2007 - Logic Journal of the IGPL 15 (5-6):527-533.
Temporal Algebras, Pretemporal Algebras, and Modal Algebras: A Relation between Time and Necessity.Francisco García Olmed & Antonio Rodríguez Salas - 1995 - Mathematical Logic Quarterly 41 (1):24-38.
On Some Varieties of MTL-algebras.Carles Noguera, Francesc Esteva & Joan Gispert - 2005 - Logic Journal of the IGPL 13 (4):443-466.

Analytics

Added to PP
2019-06-11

Downloads
20 (#744,405)

6 months
2 (#1,263,261)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Elementary embeddings and infinitary combinatorics.Kenneth Kunen - 1971 - Journal of Symbolic Logic 36 (3):407-413.
Suitable extender models II: Beyond ω-huge.W. Hugh Woodin - 2011 - Journal of Mathematical Logic 11 (2):115-436.
The well-foundedness of the Mitchell order.J. R. Steel - 1993 - Journal of Symbolic Logic 58 (3):931-940.
Inverse limit reflection and the structure of L.Scott S. Cramer - 2015 - Journal of Mathematical Logic 15 (1):1550001.
A partially non-proper ordinal beyond L.Vincenzo Dimonte - 2012 - Annals of Pure and Applied Logic 163 (9):1309-1321.

View all 8 references / Add more references