The undecidability of the first-order theory of diagonalizable algebras
Studia Logica 39 (4):355 - 359 (1980)
| Abstract | The undecidability of the first-order theory of diagonalizable algebras is shown here. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesMiklós Erdélyi-Szabó (2000). Undecidability of the Real-Algebraic Structure of Models of Intuitionistic Elementary Analysis. Journal of Symbolic Logic 65 (3):1014-1030.
Glaudio Bernardi (1975). On the Equational Class of Diagonalizable Algebras. Studia Logica 34 (4):321 - 331.
Alfred Tarski (1968/2010). Undecidable Theories. Amsterdam, North-Holland Pub. Co..
Craig Smoryński (1982). The Finite Inseparability of the First-Order Theory of Diagonalisable Algebras. Studia Logica 41 (4):347 - 349.
Franco Montagna (1975). For Everyn, Then-Freely Generated Algebra is Not Functionally Free in the Equational Class of Diagonalizable Algebras. Studia Logica 34 (4):315 - 319.
Roberto Magari (1975). Representation and Duality Theory for Diagonalizable Algebras. Studia Logica 34 (4):305 - 313.
Roberto Magari (1976). On the Autological Character of Diagonalizable Algebras. Studia Logica 35 (4):327 - 333.
Aldo Ursini (1985). Decision Problems for Classes of Diagonalizable Algebras. Studia Logica 44 (1):87 - 89.
V. Yu Shavrukov (1997). Undecidability in Diagonalizable Algebras. Journal of Symbolic Logic 62 (1):79-116.
Franco Montagna (1980). Interpretations of the First-Order Theory of Diagonalizable Algebras in Peano Arithmetic. Studia Logica 39 (4):347 - 354.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads4 ( #180,507 of 556,888 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
