On the public citation graph

The uniqueness of the fixed-point in every diagonalizable algebra

https://doi.org/10.1007/bf02123401
0 signed · 34 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/bf02121661openalex-snapshot
Representation and duality theory for diagonalizable algebras
inferredcites →https://doi.org/10.1007/bf02125226openalex-snapshot
The fixed-point theorem for diagonalizable algebras
inferredcites →https://doi.org/10.1201/b13782-17openalex-snapshot
An Introduction to Mathematical Logic
inferredcites →https://doi.org/10.2307/2266895openalex-snapshot
Solution of a problem of Leon Henkin
inferredcites →https://doi.org/10.2307/2272065openalex-snapshot
The relation of A to Prov ˹A˺ in the Lindenbaum sentence algebra
inferredcites →https://doi.org/10.2307/2313586openalex-snapshot
Introduction to Mathematical Logic.

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/malq.19870330403openalex-snapshot
Iterated Extensional Rosser's Fixed Points and Hyperhyperdiagonalizable Algebras
inferred← citeshttps://doi.org/10.1007/1-4020-3521-7_3openalex-snapshot
Provability Logic
inferred← citeshttps://doi.org/10.1007/978-0-387-69245-6_1openalex-snapshot
On Two Models of Provability
inferred← citeshttps://doi.org/10.1007/978-0-8176-4769-8_9openalex-snapshot
The Development of Self-Reference: Löb’s Theorem
inferred← citeshttps://doi.org/10.1007/978-1-4613-8601-8_6openalex-snapshot
Fixed Point Algebras
inferred← citeshttps://doi.org/10.1007/978-3-031-47921-2_2openalex-snapshot
Lewisian Fixed Points I: Two Incomparable Constructions
inferred← citeshttps://doi.org/10.1007/978-3-319-09719-0_17openalex-snapshot
The Henkin Sentence
inferred← citeshttps://doi.org/10.1007/978-94-009-6259-0_9openalex-snapshot
Modal Logic and Self-Reference
inferred← citeshttps://doi.org/10.1007/bf00293433openalex-snapshot
The modal logic of provability. The sequential approach
inferred← citeshttps://doi.org/10.1007/bf00370381openalex-snapshot
Generic generalized Rosser fixed points
inferred← citeshttps://doi.org/10.1007/bf00370383openalex-snapshot
Provability: the emergence of a mathematical modality
inferred← citeshttps://doi.org/10.1007/bf00493670openalex-snapshot
Calculating self-referential statements, I: Explicit calculations
inferred← citeshttps://doi.org/10.1007/bf00713544openalex-snapshot
Interpretations of the first-order theory of diagonalizable algebras in peano arithmetic
inferred← citeshttps://doi.org/10.1007/bf01191752openalex-snapshot
The well-founded algebras
inferred← citeshttps://doi.org/10.1007/bf01229971openalex-snapshot
Finite fixed point algebras are subdiagonalisable
inferred← citeshttps://doi.org/10.1007/bf02124724openalex-snapshot
On the algebraization of a Feferman's predicate
inferred← citeshttps://doi.org/10.1007/bf02124729openalex-snapshot
Fixed points through the finite model property
inferred← citeshttps://doi.org/10.1007/s00153-023-00882-6openalex-snapshot
The fixed point and the Craig interpolation properties for sublogics of $$\textbf{IL}$$
inferred← citeshttps://doi.org/10.1007/s11225-009-9170-9openalex-snapshot
On Modal μ-Calculus and Gödel-Löb Logic
inferred← citeshttps://doi.org/10.1016/s0049-237x(98)80022-0openalex-snapshot
The Logic of Provability
inferred← citeshttps://doi.org/10.1016/s1570-2464(07)80019-xopenalex-snapshot
16 Modal logic in mathematics
inferred← citeshttps://doi.org/10.1090/s0002-9939-1984-0740189-9openalex-snapshot
A uniformly, extremely nonextensional formula of arithmetic with many undecidable fixed points in many theories
inferred← citeshttps://doi.org/10.1090/s0273-0979-1982-15002-9openalex-snapshot
Fixed point algebras
inferred← citeshttps://doi.org/10.1093/jigpal/jzac054openalex-snapshot
The early history of formal diagonalization
inferred← citeshttps://doi.org/10.1111/j.1755-2567.1996.tb00529.xopenalex-snapshot
Provability logic—a short introduction
inferred← citeshttps://doi.org/10.3166/jancl.17.317-346openalex-snapshot
Definable fixed points in modal and temporal logics : A survey
inferred← citeshttps://doi.org/10.48550/arxiv.2007.05427openalex-snapshot
The fixed point and the Craig interpolation properties for sublogics of $\mathbf{IL}$
inferred← citeshttps://doi.org/10.70675/ab8c4538zf338z4b1dzb5c4z539a6179abc8openalex-snapshot
A study on the expressive power of some fragments of the modal µ-calculus
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.