Pages that link to "Item:Q4055986"
From MaRDI portal
The following pages link to Scott sentences and admissible sets (Q4055986):
Displaying 35 items.
- Polish group actions and effectivity (Q453179) (← links)
- Model theory for \(L_{\infty \omega _ 1}\) (Q762061) (← links)
- Atomic models higher up (Q952493) (← links)
- Categoricity of computable infinitary theories (Q1005932) (← links)
- Applications of Fodor's lemma to Vaught's conjecture (Q1114671) (← links)
- More Lowenheim-Skolem results for admissible sets (Q1218855) (← links)
- New axiomatizations for logics with generalized quantifiers (Q1256443) (← links)
- Scott ranks of models of a theory (Q1644961) (← links)
- Hanf number for Scott sentences of computable structures (Q1756497) (← links)
- A contextual-hierarchical approach to truth and the liar paradox (Q1876081) (← links)
- A boundedness principle for the Hjorth rank (Q2118176) (← links)
- The countable admissible ordinal equivalence relation (Q2400501) (← links)
- CLASSES OF STRUCTURES WITH NO INTERMEDIATE ISOMORPHISM PROBLEMS (Q2805027) (← links)
- Classes of Ulm type and coding rank-homogeneous trees in other structures (Q3173529) (← links)
- Some recent developments in higher recursion theory (Q3342550) (← links)
- Classification from a Computable Viewpoint (Q3430937) (← links)
- Polish group actions, nice topologies, and admissible sets (Q3545213) (← links)
- Why some people are excited by Vaught's conjecture (Q3722477) (← links)
- An example concerning Scott heights (Q3966113) (← links)
- A Transfer Principle for Simple Properties of Theories (Q4145702) (← links)
- The pure part of HYP(ℳ) (Q4161304) (← links)
- Polish Group Actions and the Vaught Conjecture (Q4286444) (← links)
- Some new computable structures of high rank (Q4636764) (← links)
- Barwise: Infinitary Logic and Admissible Sets (Q4678932) (← links)
- Bounds on Scott ranks of some polish metric spaces (Q4991907) (← links)
- SCOTT COMPLEXITY OF COUNTABLE STRUCTURES (Q5021936) (← links)
- AN INTRODUCTION TO THE SCOTT COMPLEXITY OF COUNTABLE STRUCTURES AND A SURVEY OF RECENT RESULTS (Q5067872) (← links)
- Potential isomorphisms of generalized approach spaces (Q5070504) (← links)
- EHRENFEUCHT-FRAÏSSÉ GAMES ON A CLASS OF SCATTERED LINEAR ORDERS (Q5107217) (← links)
- ASSIGNING AN ISOMORPHISM TYPE TO A HYPERDEGREE (Q5107233) (← links)
- Bounds on continuous Scott rank (Q5113420) (← links)
- Index sets for classes of high rank structures (Q5444710) (← links)
- Computable trees of Scott rank <i>ω</i><sub>1</sub><sup><i>CK</i></sup>, and computable approximation (Q5477636) (← links)
- THE COMPLEXITY OF SCOTT SENTENCES OF SCATTERED LINEAR ORDERS (Q5855748) (← links)
- Borel equivalence relations and classifications of countable models (Q5961495) (← links)
