EFFECTIVE INSEPARABILITY, LATTICES, AND PREORDERING RELATIONS (Q5027663): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A Survey on Universal Computably Enumerable Equivalence Relations
+Normal rank
@@ Property / cites work @@
+UNIVERSAL COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS
+Normal rank
@@ Property / cites work @@
+Q4215634
@@ Property / cites work: Q4215634 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4083730
@@ Property / cites work: Q4083730 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence relations induced by extensional formulae: classification by means of a new fixed point property
+Normal rank
@@ Property / cites work @@
+Periodicity in generations of automata
@@ Property / cites work: Periodicity in generations of automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837730
@@ Property / cites work: Q3837730 / rank @@
+Normal rank
@@ Property / cites work @@
+Isomorphism relations on computable structures
@@ Property / cites work: Isomorphism relations on computable structures / rank @@
+Normal rank
@@ Property / cites work @@
+LINEAR ORDERS REALIZED BY C.E. EQUIVALENCE RELATIONS
+Normal rank
@@ Property / cites work @@
+Distributive Sublattices of a Free Lattice
@@ Property / cites work: Distributive Sublattices of a Free Lattice / rank @@
+Normal rank
@@ Property / cites work @@
+Graphs realised by r.e. equivalence relations
@@ Property / cites work: Graphs realised by r.e. equivalence relations / rank @@
+Normal rank
@@ Property / cites work @@
+Reducibilities among equivalence relations induced by recursively enumerable structures
+Normal rank
@@ Property / cites work @@
+Q4384146
@@ Property / cites work: Q4384146 / rank @@
+Normal rank
@@ Property / cites work @@
+COMPLEXITY OF EQUIVALENCE RELATIONS AND PREORDERS FROM COMPUTABILITY THEORY
+Normal rank
@@ Property / cites work @@
+A Note on Positive Equivalence Relations
@@ Property / cites work: A Note on Positive Equivalence Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Relatively precomplete numerations and arithmetic
@@ Property / cites work: Relatively precomplete numerations and arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Universal recursion theoretic properties of r.e. preordered structures
+Normal rank
@@ Property / cites work @@
+Q3690803
@@ Property / cites work: Q3690803 / rank @@
+Normal rank
@@ Property / cites work @@
+Effectively dense Boolean algebras and their applications
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. Vol. II
@@ Property / cites work: Classical recursion theory. Vol. II / rank @@
+Normal rank
@@ Property / cites work @@
+Deduction-preserving "Recursive Isomorphisms" between theories
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694581
@@ Property / cites work: Q4694581 / rank @@
+Normal rank
@@ Property / cites work @@
+Remarks on Uniformly Finitely Precomplete Positive Equivalences
+Normal rank
@@ Property / cites work @@
+Effectively inseparable Boolean algebras in lattices of sentences
+Normal rank
@@ Property / cites work @@
+Uniform density in Lindenbaum algebras
@@ Property / cites work: Uniform density in Lindenbaum algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Logical number theory I. An introduction
@@ Property / cites work: Logical number theory I. An introduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040892
@@ Property / cites work: Q4040892 / rank @@
+Normal rank
@@ Property / cites work @@
+On the completenes principle: A study of provability in heyting's arithmetic and extensions
+Normal rank
@@ Property / cites work @@
+Shavrukov's theorem on the subalgebras of diagonalizable algebras for theories containing \(I\Delta_ 0 + \exp\)
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5027663