The following pages link to Richard A. Shore (Q175054):
Displaying 50 items.
- Computing maximal chains (Q453200) (← links)
- The limits of determinacy in second order arithmetic: consistency and complexity strength (Q480816) (← links)
- The strength of the Grätzer-Schmidt theorem (Q506962) (← links)
- Topological aspects of the Medvedev lattice (Q535142) (← links)
- Working below a \(low_ 2\) recursively enumerable degree (Q584251) (← links)
- Reasoning about common knowledge with infinitely many agents (Q598197) (← links)
- The maximal linear extension theorem in second order arithmetic (Q634769) (← links)
- Undecidability and 1-types in the recursively enumerable degrees (Q688787) (← links)
- (Q802548) (redirect page) (← links)
- The elementary theory of the recursively enumerable degrees is not \(\aleph _ 0\)-categorical (Q802550) (← links)
- Initial segments of the degrees of constructibility (Q1109767) (← links)
- A non-inversion theorem for the jump operator (Q1111549) (← links)
- Infima of recursively enumerable truth table degrees (Q1114676) (← links)
- Splitting properties and jump classes (Q1156791) (← links)
- On the strength of König's duality theorem for infinite bipartite graphs (Q1193566) (← links)
- The p-T-degrees of the recursive sets: Lattice embeddings, extensions of embeddings and the two-quantifier theory (Q1193873) (← links)
- The \(n\)-rea enumeration degrees are dense (Q1204114) (← links)
- Countable thin \(\Pi^0_1\) classes (Q1208080) (← links)
- The irregular and non-hyperregular \(\alpha\)-r.e. degrees (Q1245218) (← links)
- \(r\)-maximal major subsets (Q1248505) (← links)
- Computable isomorphisms, degree spectra of relations, and Scott families (Q1295389) (← links)
- Splitting theorems and the jump operator (Q1295399) (← links)
- Computable models of theories with few models (Q1381432) (← links)
- Conjectures and questions from Gerald Sacks's \textit{Degrees of unsolvability} (Q1387091) (← links)
- Defining the Turing jump (Q1574741) (← links)
- Undecidability and 1-types in intervals of the computably enumerable degrees (Q1591201) (← links)
- Degree spectra and computable dimensions in algebraic structures (Q1612482) (← links)
- On the jumps of the degrees below a recursively enumerable degree (Q1704085) (← links)
- Initial segments of the degrees of size \(\aleph _ 1\) (Q1820153) (← links)
- Interpreting true arithmetic in the theory of the r.e. truth table degrees (Q1902619) (← links)
- Lattice embeddings below a nonlow\(_ 2\) recursively enumerable degree (Q1916896) (← links)
- Interpolating \(d\)-r.e. and REA degrees between r.e. degrees (Q1919759) (← links)
- Degrees of categoricity and the hyperarithmetic hierarchy (Q1949167) (← links)
- The \(\text{low}_n\) and \(\text{low}_m\) r.e. degrees are not elementarily equivalent (Q2386567) (← links)
- A computably stable structure with no Scott family of finitary formulas (Q2501165) (← links)
- Boolean algebras, Tarski invariants, and index sets (Q2505128) (← links)
- The prospects for mathematical logic in the twenty-first century (Q2736583) (← links)
- A splitting theorem for \(n\)-REA degrees (Q2750871) (← links)
- A nonlow\(_2\) r. e. degree with the extension of embeddings properties of a low\(_2\) degree (Q2776819) (← links)
- The strength of Turing determinacy within second order arithmetic (Q2787126) (← links)
- Biinterpretability up to double jump in the degrees below \(\mathbf{0}'\) (Q2862196) (← links)
- Low level nondefinability results: domination and recursive enumeration (Q2869914) (← links)
- The \(n\)-r.e. degrees: undecidability and \(\Sigma_1\) substructures (Q2909622) (← links)
- The Turing degrees below generics and randoms (Q2921026) (← links)
- Mass problems and density (Q2951897) (← links)
- $$\Sigma _{1}^{1}$$ in Every Real in a $$\Sigma _{1}^{1}$$ Class of Reals Is $$\Sigma _{1}^{1}$$ (Q2970972) (← links)
- The Degrees of Constructibility of Cohen Reals (Q3026996) (← links)
- The limits of determinacy in second-order arithmetic (Q3116522) (← links)
- (Q3125203) (← links)
- Definability in the Recursively Enumerable Degrees (Q3128481) (← links)
