The Boolean algebra of the theory of linear orders (Q1141142): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The complete finitely axiomatized theories of order are dense
+Normal rank
@@ Property / cites work @@
+An application of games to the completeness problem for formalized theories
+Normal rank
@@ Property / cites work @@
+Q4111555
@@ Property / cites work: Q4111555 / rank @@
+Normal rank
@@ Property / cites work @@
+The Boolean algebra of logic
@@ Property / cites work: The Boolean algebra of logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5616133
@@ Property / cites work: Q5616133 / rank @@
+Normal rank
@@ Property / cites work @@
+On the elementary theory of linear order
@@ Property / cites work: On the elementary theory of linear order / rank @@
+Normal rank
@@ Property / cites work @@
+The Boolean algebras of abelian groups and well-orders
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf02761195
+Normal rank
@@ Property / OpenAlex ID @@
+W2018335742
@@ Property / OpenAlex ID: W2018335742 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1141142