Algebras for definable families of theories (Q2003256): Difference between revisions

@@ 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.33048/semi.2019.16.038
+Normal rank
@@ Property / OpenAlex ID @@
+W3015316698
@@ Property / OpenAlex ID: W3015316698 / rank @@
+Normal rank
@@ Property / cites work @@
+Definable families of theories, related calculi and ranks
+Normal rank
@@ Property / cites work @@
+Combinations of structures
@@ Property / cites work: Combinations of structures / rank @@
+Normal rank
@@ Property / cites work @@
+Closures and generating sets related to combinations of structures
+Normal rank
@@ Property / cites work @@
+Families of language uniform theories and their generating sets
+Normal rank
@@ Property / cites work @@
+Combinations related to classes of finite and countably categorical structures and their theories
+Normal rank
@@ Property / cites work @@
+Relative \(e\)-spectra and relative closures for families of theories
+Normal rank
@@ Property / cites work @@
+On semilattices and lattices for families of theories
+Normal rank
@@ Property / cites work @@
+Approximations of theories
@@ Property / cites work: Approximations of theories / rank @@
+Normal rank
@@ Property / cites work @@
+Ranks for families of theories and their spectra
@@ Property / cites work: Ranks for families of theories and their spectra / rank @@
+Normal rank
@@ Property / cites work @@
+Ranks for families of all theories of given languages
+Normal rank
@@ Property / cites work @@
+The first order properties of products of algebraic systems
+Normal rank
@@ Property / cites work @@
+Categoricity in Power
@@ Property / cites work: Categoricity in Power / rank @@
+Normal rank
@@ Property / cites work @@
+Minimally generated Boolean algebras
@@ Property / cites work: Minimally generated Boolean algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5707890
@@ Property / cites work: Q5707890 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2003256