When are profinite many-sorted algebras retracts of ultraproducts of finite many-sorted algebras?

&
Logic Journal of the IGPL 26 (4):381-407 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzy005

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,063

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

First-order theories as many-sorted algebras.V. Manca & A. Salibra - 1984 - Notre Dame Journal of Formal Logic 25 (1):86-94.
On the completeness theorem of many-sorted equational logic and the equivalence between Hall algebras and Bénabou theories.Juan Vidal & Juan Tur - 2006 - Reports on Mathematical Logic:127-158.
The Embedding Property for Sorted Profinite Groups.L. E. E. Junguk - 2023 - Journal of Symbolic Logic 88 (3):1005-1037.
Turning decision procedures into disprovers.André Rognes - 2009 - Mathematical Logic Quarterly 55 (1):87-104.
A many-sorted variant of Japaridze’s polymodal provability logic.Gerald Berger, Lev D. Beklemishev & Hans Tompits - 2018 - Logic Journal of the IGPL 26 (5):505-538.
Many-sorted Logic and Its Applications.K. Meinke & J. V. Tucker - 1993 - Wiley.
A Relational Formalisation Of Arbitrary Finite Valued Logics.B. Konikowska, C. Morgan & E. Orlowska - 1998 - Logic Journal of the IGPL 6 (5):755-774.
Profinite Structures are Retracts of Ultraproducts of Finite Structures.H. Mariano & F. Miraglia - 2007 - Reports on Mathematical Logic.
From semirings to residuated Kleene lattices.Peter Jipsen - 2004 - Studia Logica 76 (2):291 - 303.
Profinite Locally Finite Quasivarieties.Anvar M. Nurakunov & Marina V. Schwidefsky - 2024 - Studia Logica 112 (4):835-859.

Analytics

Added to PP
2018-07-26

Downloads
28 (#788,995)

6 months
8 (#549,811)

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

Add more references