Pages that link to "Item:Q3677759"
From MaRDI portal
The following pages link to Equivalence relations induced by extensional formulae: classification by means of a new fixed point property (Q3677759):
Displaying 18 items.
- Hyperdiagonalizable algebras (Q1078181) (← links)
- Generic generalized Rosser fixed points (Q1099165) (← links)
- On a conjecture of Bergstra and Tucker (Q1124321) (← links)
- Calculating self-referential statements. I: Explicit calculations (Q1259545) (← links)
- Rosser and Mostowski sentences (Q1263586) (← links)
- Jumps of computably enumerable equivalence relations (Q1693042) (← links)
- Obituary: Franco Montagna (1948--2015) (Q1699726) (← links)
- Rosser provability and the second incompleteness theorem (Q2097058) (← links)
- A shorter proof of a recent result by R. Di Paola (Q2266712) (← links)
- Weakly precomplete computably enumerable equivalence relations (Q2793914) (← links)
- Universal computably enumerable equivalence relations (Q2921020) (← links)
- A Survey on Universal Computably Enumerable Equivalence Relations (Q2970971) (← links)
- Thin equivalence relations in scaled pointclasses (Q3107345) (← links)
- Precomplete Equivalence Relations in Dominical Categories (Q3741621) (← links)
- (Q4679612) (← links)
- EFFECTIVE INSEPARABILITY, LATTICES, AND PREORDERING RELATIONS (Q5027663) (← links)
- A NOTE ON DERIVABILITY CONDITIONS (Q5855755) (← links)
- Arithmetical completeness theorems for monotonic modal logics (Q6040616) (← links)
