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

Latest revision as of 09:46, 30 July 2024

scientific article

Language	Label	Description	Also known as
English	An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)	scientific article

Statements

instance of

scholarly article

0 references

title

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

0 references

0 references

0 references

1976

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

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

0 references

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

0 references

Significato e verita nell'aritmetica peaniana

0 references

Problemi aperti sulle algebre diagonali

0 references

Q4121962

0 references

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

0 references

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

0 references

An algebraic approach to non-classical logics

0 references

Q5734410

0 references

Topological aspects of suitable theories

0 references

Q3900021

0 references

Intuitionistic diagonalizable algebras

0 references

full work available at URL

https://doi.org/10.1007/bf02123402

0 references

Identifiers

zbMATH Open document ID

0357.02028

0 references

DOI

10.1007/BF02123402

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1237723

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The fixed-point theorem for diagonalizable algebras. (The algebraization of the theories which express Theor. III.)
+Normal rank
@@ Property / cites work @@
+The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.)
+Normal rank
@@ Property / cites work @@
+Significato e verita nell'aritmetica peaniana
@@ Property / cites work: Significato e verita nell'aritmetica peaniana / rank @@
+Normal rank
@@ Property / cites work @@
+Problemi aperti sulle algebre diagonali
@@ Property / cites work: Problemi aperti sulle algebre diagonali / rank @@
+Normal rank
@@ Property / cites work @@
+Q4121962
@@ Property / cites work: Q4121962 / rank @@
+Normal rank
@@ Property / cites work @@
+Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.)
+Normal rank
@@ Property / cites work @@
+Gödel's diagonalization technique and related properties of theories
+Normal rank
@@ Property / cites work @@
+An algebraic approach to non-classical logics
@@ Property / cites work: An algebraic approach to non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Topological aspects of suitable theories
@@ Property / cites work: Topological aspects of suitable theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3900021
@@ Property / cites work: Q3900021 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic diagonalizable algebras
@@ Property / cites work: Intuitionistic diagonalizable algebras / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf02123402
+Normal rank
@@ Property / OpenAlex ID @@
+W1987214648
@@ Property / OpenAlex ID: W1987214648 / rank @@
+Normal rank