Theory spectra and classes of theories (Q5267981): Difference between revisions

@@ Property / author @@
-David E. Diamondstone
@@ Property / author: David E. Diamondstone / rank @@
-Normal rank
@@ Property / author @@
+David E. Diamondstone
@@ Property / author: David E. Diamondstone / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1090/tran/6917
@@ Property / full work available at URL: https://doi.org/10.1090/tran/6917 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2516774363
@@ Property / OpenAlex ID: W2516774363 / rank @@
+Normal rank
@@ Property / cites work @@
+Spectra of Atomic Theories
@@ Property / cites work: Spectra of Atomic Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Spectra of theories and structures
@@ Property / cites work: Spectra of theories and structures / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of unsolvability associated with classes of formalized theories
+Normal rank
@@ Property / cites work @@
+RELATIVE TO ANY NON-HYPERARITHMETIC SET
@@ Property / cites work: RELATIVE TO ANY NON-HYPERARITHMETIC SET / rank @@
+Normal rank
@@ Property / cites work @@
+Degree spectra and computable dimensions in algebraic structures
+Normal rank
@@ Property / cites work @@
+Some Notes on Degree Spectra of the Structures
@@ Property / cites work: Some Notes on Degree Spectra of the Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Spectra of degrees of some structures
@@ Property / cites work: Spectra of degrees of some structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q3068301
@@ Property / cites work: Q3068301 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable models of theories with few models
@@ Property / cites work: Computable models of theories with few models / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938559
@@ Property / cites work: Q4938559 / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of Recursively Saturated Models
@@ Property / cites work: Degrees of Recursively Saturated Models / rank @@
+Normal rank
@@ Property / cites work @@
+Non <i>Σ</i><sub><i>n</i></sub> axiomatizable almost strongly minimal theories
+Normal rank