SU\G(𝔸)/K·U

Craig Smory'nski

Follow

Generating author description...

All published works
Action Title Year Authors
+ PDF Chat Fixed point algebras 1982 Craig Smory'nski
Common Coauthors
Coauthor Papers Together
Commonly Cited References
Action Title Year Authors # of times referenced
+ On the equational class of diagonalizable algebras 1975 Glaudio Bernardi
 1
+ PDF Chat Arithmetization of metamathematics in a general setting 1960 Solomon Feferman
 1
+ An effective fixed-point theorem in intuitionistic diagonalizable algebras 1976 Giovanni Sambin
 1
+ PDF Chat Fifty years of self-reference in arithmetic. 1981 C. Smoryński
 1
+ The uniqueness of the fixed-point in every diagonalizable algebra 1976 Claudio Bernardi
 1
+ On the autological character of diagonalizable algebras 1976 Roberto Magari
 1
+ Interpretations of the first-order theory of diagonalizable algebras in peano arithmetic 1980 Franco Montagna
 1
+ Solution of a problem of Leon Henkin 1955 M. Lob
 1
+ The finite inseparability of the first-order theory of diagonalisable algebras 1982 C. Smoryński
 1
+ Intuitionistic diagonalizable algebras 1979 Aldo Ursini
 1
+ Calculating self-referential statements: Guaspari sentences of the first kind 1981 C. Smoryński
 1
+ The undecidability of the first-order theory of diagonalizable algebras 1980 Franco Montagna
 1
+ PDF Chat Topological aspects of suitable theories 1975 Harold Simmons
 1
+ Representation and duality theory for diagonalizable algebras 1975 Roberto Magari
 1
+ The lattices of numerations of theories containing Peano's arithmetic 1973 Stanislav Palúch
 1
+ The fixed-point theorem for diagonalizable algebras 1975 Claudio Bernardi
 1