Equivalence relations induced by extensional formulae: classification by means of a new fixed point property
From MaRDI portal
Publication:3677759
DOI10.4064/fm-124-3-221-233zbMath0564.03043MaRDI QIDQ3677759
Franco Montagna, Claudio Bernardi
Publication date: 1984
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/211552
equivalence relations; fixed point; provability; first order arithmetic; theory of numerations; extensional formulas; hyperdiagonalizable algebras
03F30: First-order arithmetic and fragments
03D45: Theory of numerations, effectively presented structures
Related Items
Hyperdiagonalizable algebras, Generic generalized Rosser fixed points, On a conjecture of Bergstra and Tucker, Calculating self-referential statements. I: Explicit calculations, Rosser and Mostowski sentences, Jumps of computably enumerable equivalence relations, Obituary: Franco Montagna (1948--2015), Weakly precomplete computably enumerable equivalence relations, UNIVERSAL COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS, A Survey on Universal Computably Enumerable Equivalence Relations, Precomplete Equivalence Relations in Dominical Categories