Fixed point algebras
From MaRDI portal
Publication:3333037
DOI10.1090/S0273-0979-1982-15002-9zbMath0544.03032OpenAlexW4230878649MaRDI QIDQ3333037
Publication date: 1982
Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1090/s0273-0979-1982-15002-9
Related Items
Hyperdiagonalizable algebras, Varieties of complex algebras, Undecidability in diagonalizable algebras, Provability: The emergence of a mathematical modality, Algebraization of quantifier logics, an introductory overview, A note on the diagonalizable algebras of PA and ZF, Finite fixed point algebras are subdiagonalisable, Canonical extensions and ultraproducts of polarities, A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism, The finite inseparability of the first-order theory of diagonalisable algebras, The Lindenbaum fixed point algebra is undecidable
Cites Work
- Commutativity and self-reference
- The finite inseparability of the first-order theory of diagonalisable algebras
- A modal calculus analogous to K4W, based on intuitionistic propositional logic, \(I^0\)
- Intuitionistic diagonalizable algebras
- A first course in group theory
- The undecidability of the first-order theory of diagonalizable algebras
- Fifty years of self-reference in arithmetic
- The fixed-point theorem for diagonalizable algebras. (The algebraization of the theories which express Theor. III.)
- For every n, the n-freely generated algebra is not functionally free in the equational class of diagonalizable algebras. (The algebraization of theories which express Theor. V.)
- On the equational class of diagonalizable algebras. (The algebraization of the theories which express Theor. VI.)
- Un'estensione del teorema di Lob
- The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.)
- Provability interpretations of modal logic
- Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.)
- An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
- On the autological character of diagonalizable algebras
- On the algebraization of a Feferman's predicate. (The algebraization of theories which express Theor; X)
- Fixed points through the finite model property. (The algebraization of the theories which express Theor; XI)
- Calculating self-referential statements. I: Explicit calculations
- A model of set-theory in which every set of reals is Lebesgue measurable
- Partially Conservative Extensions of Arithmetic
- Solution of a problem of Leon Henkin
- Arithmetization of metamathematics in a general setting
- Rosser sentences
- Calculating self-referential statements
- operators and alternating sentences in arithmetic
- Calculating self-referential statements: Guaspari sentences of the first kind
- An inside view of EXP; or, The closed fragment of the provability logic of IΔ0 + Ω1 with a prepositional constant for EXP
- Topological aspects of suitable theories
- Problemi aperti sulle algebre diagonali
- Gödel's diagonalization technique and related properties of theories
- Relative Interpretations
- The Theory of Representation for Boolean Algebras
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
