Effectively inseparable Boolean algebras in lattices of sentences (Q2655144): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00153-009-0161-3
+Normal rank
@@ Property / OpenAlex ID @@
+W1987745576
@@ Property / OpenAlex ID: W1987745576 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / rank @@
+Normal rank
@@ Property / cites work @@
+Coding in the partial order of enumerable sets
@@ Property / cites work: Coding in the partial order of enumerable sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+On Partially Conservative Sentences and Interpretability
+Normal rank
@@ Property / cites work @@
+Q4437331
@@ Property / cites work: Q4437331 / rank @@
+Normal rank
@@ Property / cites work @@
+THE ∀∃ THEORY OF PEANO Σ<sub>1</sub> SENTENCES
+Normal rank
@@ Property / cites work @@
+Q3720580
@@ Property / cites work: Q3720580 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal recursion theoretic properties of r.e. preordered structures
+Normal rank
@@ Property / cites work @@
+Intervals of the Lattice of Computably Enumerable Sets and Effective Boolean Algebras
+Normal rank
@@ Property / cites work @@
+Effectively dense Boolean algebras and their applications
+Normal rank
@@ Property / cites work @@
+Effectively extensible theories
@@ Property / cites work: Effectively extensible theories / rank @@
+Normal rank
@@ Property / cites work @@
+Deduction-preserving "Recursive Isomorphisms" between theories
+Normal rank
@@ Property / cites work @@
+Undecidability in diagonalizable algebras
@@ Property / cites work: Undecidability in diagonalizable algebras / rank @@
+Normal rank