Metafinite model theory (Q1383163): Difference between revisions

@@ Property / DOI @@
-.1006/inco.1997.2675
@@ Property / DOI: 10.1006/inco.1997.2675 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1006/inco.1997.2675
+Normal rank
@@ Property / OpenAlex ID @@
+W2045916776
@@ Property / OpenAlex ID: W2045916776 / rank @@
+Normal rank
@@ Property / cites work @@
+On Moschovakis closure ordinals
@@ Property / cites work: On Moschovakis closure ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+Q5691140
@@ Property / cites work: Q5691140 / rank @@
+Normal rank
@@ Property / cites work @@
+Extended order-generic queries
@@ Property / cites work: Extended order-generic queries / rank @@
+Normal rank
@@ Property / cites work @@
+On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
+Normal rank
@@ Property / cites work @@
+Computable queries for relational data bases
@@ Property / cites work: Computable queries for relational data bases / rank @@
+Normal rank
@@ Property / cites work @@
+Q4918393
@@ Property / cites work: Q4918393 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonconvergence, undecidability, and intractability in asymptotic problems
+Normal rank
@@ Property / cites work @@
+Q4850061
@@ Property / cites work: Q4850061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4058132
@@ Property / cites work: Q4058132 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite-model theory -- A personal perspective
@@ Property / cites work: Finite-model theory -- A personal perspective / rank @@
+Normal rank
@@ Property / cites work @@
+-1 laws for recursive structures
@@ Property / cites work: 0-1 laws for recursive structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4234078
@@ Property / cites work: Q4234078 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4283240
@@ Property / cites work: Q4283240 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3757929
@@ Property / cites work: Q3757929 / rank @@
+Normal rank
@@ Property / cites work @@
+Finitely representable databases
@@ Property / cites work: Finitely representable databases / rank @@
+Normal rank
@@ Property / cites work @@
+Q3758820
@@ Property / cites work: Q3758820 / rank @@
+Normal rank
@@ Property / cites work @@
+Evolving Algebras 1993: Lipari Guide
@@ Property / cites work: Evolving Algebras 1993: Lipari Guide / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed-point extensions of first-order logic
@@ Property / cites work: Fixed-point extensions of first-order logic / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness results for recursive data bases
@@ Property / cites work: Completeness results for recursive data bases / rank @@
+Normal rank
@@ Property / cites work @@
+A normal form for arithmetical representation of \({\mathcal N}{\mathcal P}\)-sets
+Normal rank
@@ Property / cites work @@
+Relational queries computable in polynomial time
@@ Property / cites work: Relational queries computable in polynomial time / rank @@
+Normal rank
@@ Property / cites work @@
+Q3830533
@@ Property / cites work: Q3830533 / rank @@
+Normal rank
@@ Property / cites work @@
+Register machine proof of the theorem on exponential diophantine representation of enumerable sets
+Normal rank
@@ Property / cites work @@
+Handling infinite temporal data
@@ Property / cites work: Handling infinite temporal data / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385543
@@ Property / cites work: Q4385543 / rank @@
+Normal rank
@@ Property / cites work @@
+An arithmetical characterization of NP
@@ Property / cites work: An arithmetical characterization of NP / rank @@
+Normal rank
@@ Property / cites work @@
+Almost sure theories
@@ Property / cites work: Almost sure theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4286756
@@ Property / cites work: Q4286756 / rank @@
+Normal rank
@@ Property / cites work @@
+The expressive power of fixed-point logic with counting
+Normal rank
@@ Property / cites work @@
+Q4332930
@@ Property / cites work: Q4332930 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimization, approximation, and complexity classes
+Normal rank
@@ Property / cites work @@
+Deux ou trois choses que je sais de <i>L</i><sub>n</sub>
+Normal rank
@@ Property / cites work @@
+Nonconvergence in the theory of random orders
@@ Property / cites work: Nonconvergence in the theory of random orders / rank @@
+Normal rank
@@ Property / cites work @@
+Q4381423
@@ Property / cites work: Q4381423 / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Enumeration and Reliability Problems
+Normal rank
@@ Property / DOI @@
+.1006/INCO.1997.2675
@@ Property / DOI: 10.1006/INCO.1997.2675 / rank @@
+Normal rank