The following pages link to (Q5551146):
Displaying 50 items.
- Modelling uncertain inference (Q382985) (← links)
- Index sets and Scott sentences (Q403398) (← links)
- On complexity of Ehrenfeucht-Fraïssé games (Q636279) (← links)
- Model-theoretic complexity of automatic structures (Q636281) (← links)
- Scott rank of Polish metric spaces (Q741089) (← links)
- Classifying \(\aleph_ 0\)-categorical theories (Q752693) (← links)
- Scattered sentences have few separable randomizations (Q781518) (← links)
- An essay in combinatory dynamic logic (Q809068) (← links)
- Atomic models higher up (Q952493) (← links)
- Homogeneous and strictly homogeneous criteria for partial structures (Q1028463) (← links)
- PDL with data constants (Q1065545) (← links)
- On observational equivalence and algebraic specification (Q1089796) (← links)
- A calculus of refinements for program derivations (Q1111362) (← links)
- Espaces de Baire et espaces de probabilité de structures rélationnelles (Q1230777) (← links)
- Effective choice for relations and reducibilities in classes of constructive and positive models (Q1317601) (← links)
- Primitive Jordan algebras (Q1317606) (← links)
- Finitely generated groups with the M. Hall property (Q1317609) (← links)
- Locally finite simple groups as a product of two inert subgroups (Q1317617) (← links)
- Local characterizations of infinite alternating and Lie type groups (Q1317618) (← links)
- A semiorthogonal sum of monocomposition algebras with unity (Q1317619) (← links)
- Superdecomposable pure injective modules over commutative valuation rings (Q1317634) (← links)
- Scott ranks of models of a theory (Q1644961) (← links)
- Scott sentences for certain groups (Q1745362) (← links)
- Hanf number for Scott sentences of computable structures (Q1756497) (← links)
- Chain logic and Shelah's infinitary logic (Q2066130) (← links)
- A boundedness principle for the Hjorth rank (Q2118176) (← links)
- Infinite lexicographic products (Q2238126) (← links)
- Scott sentences for equivalence structures (Q2309506) (← links)
- Definable functions of universal algebras and definable equivalence between algebras. (Q2342309) (← links)
- Effective choice of constructivizations and recursive consistency of problems on constructive models (Q2366356) (← links)
- Can logic be combined with probability? Probably (Q2390653) (← links)
- Metric Scott analysis (Q2401685) (← links)
- A modal proof theory for final polynomial coalgebras (Q2503317) (← links)
- Some model theoretic results for \(\omega\)-logic (Q2530302) (← links)
- Lefschetz's principle (Q2538977) (← links)
- Enumerations in computable structure theory (Q2570135) (← links)
- Modeling limits in hereditary classes: reduction and application to trees (Q2629494) (← links)
- Describing groups (Q2964051) (← links)
- Effectively Existentially-Atomic Structures (Q2970960) (← links)
- On optimal Scott sentences of finitely generated algebraic structures (Q3177855) (← links)
- A robuster Scott rank (Q3450085) (← links)
- Model Theoretic Complexity of Automatic Structures (Extended Abstract) (Q3502675) (← links)
- Some proof theoretic-properties of dense linear orderings and countable well-orderings (Q4110983) (← links)
- Borel canonization of analytic sets with Borel sections (Q4636762) (← links)
- Some new computable structures of high rank (Q4636764) (← links)
- Degree Spectra of Relations on a Cone (Q4645836) (← links)
- Relativizing computable categoricity (Q5002563) (← links)
- SCOTT COMPLEXITY OF COUNTABLE STRUCTURES (Q5021936) (← links)
- LOGICALITY AND MODEL CLASSES (Q5037517) (← links)
- AN INTRODUCTION TO THE SCOTT COMPLEXITY OF COUNTABLE STRUCTURES AND A SURVEY OF RECENT RESULTS (Q5067872) (← links)
