Other Versions
No versions found
(no proxy)My notes
Similar books and articles
Decision problems for classes of diagonalizable algebras.Aldo Ursini -1985 -Studia Logica 44 (1):87 - 89.
On Shavrukov’s Non-Isomorphism Theorem for Diagonalizable Algebras.Evgeny A. Kolmakov -2024 -Review of Symbolic Logic 17 (1):206-243.
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.
The undecidability of the first-order theory of diagonalizable algebras.Franco Montagna -1980 -Studia Logica 39 (4):355 - 359.
Representation and duality theory for diagonalizable algebras.Roberto Magari -1975 -Studia Logica 34 (4):305 - 313.
Strong amalgamation property of diagonalizable algebras.Irena Janicka-Zuk -1983 -Bulletin of the Section of Logic 12 (3):105-108.
Shavrukov's Theorem on the Subalgebras of Diagonalizable Algebras for Theories Containing IΔ0+exp.Domenico Zambella -1994 -Notre Dame Journal of Formal Logic 35 (1):147-157.
Interpretations of the first-order theory of diagonalizable algebras in peano arithmetic.Franco Montagna -1980 -Studia Logica 39 (4):347 - 354.
A Topological Interpretation of Diagonalizable Algebras.Jacek Hawranek -1990 -Bulletin of the Section of Logic 19 (4):117-121.
The fixed-point theorem for diagonalizable algebras.Claudio Bernardi -1975 -Studia Logica 34 (3):239 - 251.
Analytics
Added to PP
2010-09-13
Downloads
74 (#306,519)
6 months
6 (#726,207)
2010-09-13
Downloads
74 (#306,519)
6 months
6 (#726,207)
Historical graph of downloads
How can I increase my downloads?Citations of this work
On Shavrukov’s Non-Isomorphism Theorem for Diagonalizable Algebras.Evgeny A. Kolmakov -2024 -Review of Symbolic Logic 17 (1):206-243.
References found in this work
Induction rules, reflection principles, and provably recursive functions.Lev D. Beklemishev -1997 -Annals of Pure and Applied Logic 85 (3):193-242.
Metamathematics of First-Order Arithmetic.Petr Hajék &Pavel Pudlák -1994 -Studia Logica 53 (3):465-466.
Home |New books and articles |Bibliographies |Philosophy journals |About PhilPapers |API |Contact us |Code of conduct
PhilPapers logo byAndrea Andrews andMeghan Driscoll.
This site uses cookies and Google Analytics (see ourterms & conditions for details regarding the privacy implications).Use of this site is subject toterms & conditions.
All rights reserved byThe PhilPapers Foundation
Server: philpapers-web-54b44b69b7-sq5lk uwo