Fixed point algebras (Q3333037)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Fixed point algebras	scientific article

Statements

scholarly article

0 references

Fixed point algebras (English)

0 references

zbMATH Open document ID

0 references

10.1090/S0273-0979-1982-15002-9

0 references

Bulletin of the American Mathematical Society

0 references

publication date

1982

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

zbMATH Keywords

fixed point algebra

0 references

Lindenbaum sentence algebra

0 references

self-reference

0 references

diagonalizable algebras

0 references

Peano arithmetic

0 references

Craig Smorynski

0 references

MaRDI profile type

MaRDI publication profile

0 references

0 references

0 references

The fixed-point theorem for diagonalizable algebras. (The algebraization of the theories which express Theor. III.)

0 references

On the equational class of diagonalizable algebras. (The algebraization of the theories which express Theor. VI.)

0 references

The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.)

0 references

Arithmetization of metamathematics in a general setting

0 references

A first course in group theory

0 references

Partially Conservative Extensions of Arithmetic

0 references

Rosser sentences

0 references

0 references

0 references

0 references

0 references

0 references

Solution of a problem of Leon Henkin

0 references

Gödel's diagonalization technique and related properties of theories

0 references

Problemi aperti sulle algebre diagonali

0 references

0 references

0 references

Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.)

0 references

On the autological character of diagonalizable algebras

0 references

0 references

operators and alternating sentences in arithmetic

0 references

0 references

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.)

0 references

On the algebraization of a Feferman's predicate. (The algebraization of theories which express Theor; X)

0 references

0 references

The undecidability of the first-order theory of diagonalizable algebras

0 references

Relative Interpretations

0 references

0 references

Un'estensione del teorema di Lob

0 references

An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)

0 references

Fixed points through the finite model property. (The algebraization of the theories which express Theor; XI)

0 references

0 references

Topological aspects of suitable theories

0 references

Calculating self-referential statements. I: Explicit calculations

0 references

Calculating self-referential statements

0 references

Calculating self-referential statements: Guaspari sentences of the first kind

0 references

Fifty years of self-reference in arithmetic

0 references

Commutativity and self-reference

0 references

The finite inseparability of the first-order theory of diagonalisable algebras

0 references

Provability interpretations of modal logic

0 references

A model of set-theory in which every set of reals is Lebesgue measurable

0 references

0 references

The Theory of Representation for Boolean Algebras

0 references

0 references

Intuitionistic diagonalizable algebras

0 references

A modal calculus analogous to K4W, based on intuitionistic propositional logic, \(I^0\)

0 references

An inside view of EXP; or, The closed fragment of the provability logic of I<i>Δ</i><sub>0</sub> + <i>Ω</i><sub>1</sub> with a prepositional constant for EXP

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:3333037

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3333037&oldid=34702099"