Fixed point algebras

DOI10.1090/S0273-0979-1982-15002-9MaRDI QIDQ3333037zbMATH OpenOpenAlexFDO

Authors Craig Smoryński

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

zbMATH Keywords

diagonalizable algebrasfixed point algebraLindenbaum sentence algebraPeano arithmeticself-reference

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Logical aspects of Boolean algebras (03G05)

Recommendations

• A COMPLETENESS RESULT FOR FIXED‐POINT ALGEBRAS
• The Lindenbaum fixed point algebra is undecidable
• Finite fixed point algebras are subdiagonalisable
• scientific article; zbMATH DE number 3914320
• Hyperdiagonalizable algebras

Cites work

• A first course in group theory
• A modal calculus analogous to K4W, based on intuitionistic propositional logic, I^0
• A model of set-theory in which every set of reals is Lebesgue measurable
• An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
• An inside view of EXP; or, The closed fragment of the provability logic of IΔ₀ + Ω₁ with a prepositional constant for EXP
• Arithmetization of metamathematics in a general setting
• Calculating self-referential statements
• Calculating self-referential statements. I: Explicit calculations
• Calculating self-referential statements: Guaspari sentences of the first kind
• Commutativity and self-reference
• Fifty years of self-reference in arithmetic
• Fixed points through the finite model property. (The algebraization of the theories which express Theor; XI)
• 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.)
• Gödel's diagonalization technique and related properties of theories
• scientific article; zbMATH DE number 3142898 (Why is no real title available?)
• scientific article; zbMATH DE number 3652414 (Why is no real title available?)
• scientific article; zbMATH DE number 3724412 (Why is no real title available?)
• scientific article; zbMATH DE number 3760157 (Why is no real title available?)
• scientific article; zbMATH DE number 3775493 (Why is no real title available?)
• scientific article; zbMATH DE number 3455237 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 3539254 (Why is no real title available?)
• scientific article; zbMATH DE number 3547370 (Why is no real title available?)
• scientific article; zbMATH DE number 3552487 (Why is no real title available?)
• scientific article; zbMATH DE number 3606452 (Why is no real title available?)
• scientific article; zbMATH DE number 3628926 (Why is no real title available?)
• scientific article; zbMATH DE number 3343689 (Why is no real title available?)
• scientific article; zbMATH DE number 3365265 (Why is no real title available?)
• scientific article; zbMATH DE number 3395897 (Why is no real title available?)
• scientific article; zbMATH DE number 3422356 (Why is no real title available?)
• Intuitionistic diagonalizable algebras
• On the algebraization of a Feferman's predicate. (The algebraization of theories which express Theor; X)
• On the autological character of diagonalizable algebras
• On the equational class of diagonalizable algebras. (The algebraization of the theories which express Theor. VI.)
• operators and alternating sentences in arithmetic
• Partially Conservative Extensions of Arithmetic
• Problemi aperti sulle algebre diagonali
• Provability interpretations of modal logic
• Relative Interpretations
• Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.)
• Rosser sentences
• Solution of a problem of Leon Henkin
• The finite inseparability of the first-order theory of diagonalisable algebras
• The fixed-point theorem for diagonalizable algebras. (The algebraization of the theories which express Theor. III.)
• The Theory of Representation for Boolean Algebras
• The undecidability of the first-order theory of diagonalizable algebras
• The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.)
• Topological aspects of suitable theories
• Un'estensione del teorema di Lob

Cited in

(19)

• Hyperdiagonalizable algebras
• An algebraic study of well-foundedness
• Provability: The emergence of a mathematical modality
• Algebraization of quantifier logics, an introductory overview
• A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism
• Canonical extensions and ultraproducts of polarities
• Varieties of complex algebras
• Equivalence relations induced by extensional formulae: classification by means of a new fixed point property
• A COMPLETENESS RESULT FOR FIXED‐POINT ALGEBRAS
• scientific article; zbMATH DE number 3914320 (Why is no real title available?)
• Iterated Extensional Rosser's Fixed Points and Hyperhyperdiagonalizable Algebras
• scientific article; zbMATH DE number 12779 (Why is no real title available?)
• scientific article; zbMATH DE number 39151 (Why is no real title available?)
• scientific article; zbMATH DE number 177477 (Why is no real title available?)
• Undecidability in diagonalizable algebras
• Finite fixed point algebras are subdiagonalisable
• A note on the diagonalizable algebras of PA and ZF
• The finite inseparability of the first-order theory of diagonalisable algebras
• The Lindenbaum fixed point algebra is undecidable

This page was built for publication: Fixed point algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3333037)