Subalgebras of Diagonalizable Algebras of Theories Containing Arithmetic

(1993)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

ISBN(s)

8385116753

Links

PhilArchive



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

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

Topological Structure of Diagonalizable Algebras and Corresponding Logical Properties of Theories.Giovanna D'Agostino - 1994 - Notre Dame Journal of Formal Logic 35 (4):563-572.
Undecidability in diagonalizable algebras.V. Yu Shavrukov - 1997 - Journal of Symbolic Logic 62 (1):79-116.
For everyn, then-freely generated algebra is not functionally free in the equational class of diagonalizable algebras.Franco Montagna - 1975 - Studia Logica 34 (4):315 - 319.
Effectively inseparable Boolean algebras in lattices of sentences.V. Yu Shavrukov - 2010 - Archive for Mathematical Logic 49 (1):69-89.
On the equational class of diagonalizable algebras.Glaudio Bernardi - 1975 - Studia Logica 34 (4):321 - 331.
Interpretations of the first-order theory of diagonalizable algebras in peano arithmetic.Franco Montagna - 1980 - Studia Logica 39 (4):347 - 354.
An abstract algebraic logic approach to tetravalent modal logics.Josep Maria Font & Miquel Rius - 2000 - Journal of Symbolic Logic 65 (2):481-518.
Monadic GMV-algebras.Jiří Rachůnek & Dana Šalounová - 2008 - Archive for Mathematical Logic 47 (3):277-297.
Cyclic Elements in MV‐Algebras and Post Algebras.Antoni Torrens - 1994 - Mathematical Logic Quarterly 40 (4):431-444.
Decision problems for classes of diagonalizable algebras.Aldo Ursini - 1985 - Studia Logica 44 (1):87 - 89.
Pseudomonadic Algebras as Algebraic Models of Doxastic Modal Logic.Nick Bezhanishvili - 2002 - Mathematical Logic Quarterly 48 (4):624-636.
A note on the diagonalizable algebras of PA and ZF.V. Yu Shavrukov - 1993 - Annals of Pure and Applied Logic 61 (1-2):161-173.
Model Theory of Algebra and Arithmetic: Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz,Poland, September 1-7, 1979.L. Pacholski, Jędrzej Wierzejewski, J. Wierzejewski & A. J. Wilkie - 1980 - Lecture Notes in Mathematics.
A model in which every Boolean algebra has many subalgebras.James Cummings & Saharon Shelah - 1995 - Journal of Symbolic Logic 60 (3):992-1004.
Lindenbaum algebras of intuitionistic theories and free categories.Peter Freyd, Harvey Friedman & Andre Scedrov - 1987 - Annals of Pure and Applied Logic 35 (C):167-172.

Analytics

Added to PP
2015-02-03

Downloads
1 (#1,899,057)

6 months
1 (#1,462,504)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

An algebraic theory of normal forms.Silvio Ghilardi - 1995 - Annals of Pure and Applied Logic 71 (3):189-245.
Uniform interpolation and sequent calculi in modal logic.Rosalie Iemhoff - 2019 - Archive for Mathematical Logic 58 (1-2):155-181.
A note on the diagonalizable algebras of PA and ZF.V. Yu Shavrukov - 1993 - Annals of Pure and Applied Logic 61 (1-2):161-173.
Provability logic.Rineke Verbrugge - 2008 - Stanford Encyclopedia of Philosophy.

View all 9 citations / Add more citations

References found in this work

No references found.

Add more references