Pages that link to "Item:Q1276268"

The following pages link to Handbook of recursive mathematics. Vol. 1: Recursive model theory (Q1276268):

Displaying 22 items.

• Finiteness conditions on the Yoneda algebra of a monomial algebra. (Q392371) (← links)
• Computable Kripke models and intermediate logics (Q1271561) (← links)
• Handbook of recursive mathematics. Vol. 2: Recursive algebra, analysis and combinatorics (Q1276269) (← links)
• Recursive and nonextendible functions over the reals; filter foundation for recursive analysis. II (Q1302291) (← links)
• Degree spectra and computable dimensions in algebraic structures (Q1612482) (← links)
• Degree spectra of relations on structures of finite computable dimension (Q1612487) (← links)
• Inside the Muchnik degrees. II: The degree structures induced by the arithmetical hierarchy of countably continuous functions (Q2442153) (← links)
• An uncountably categorical theory whose only computably presentable model is saturated (Q2505131) (← links)
• \(\Pi^0_1\)-presentations of algebras (Q2505502) (← links)
• The isomorphism problem on classes of automatic structures with transitive relations (Q2847190) (← links)
• General computability theory (a database of articles and books) (Q2898992) (← links)
• On Constructive Nilpotent Groups (Q2970967) (← links)
• When Is Reachability Intrinsically Decidable? (Q3533013) (← links)
• The atomic model theorem and type omitting (Q3642694) (← links)
• Introduction to the Handbook of recursive mathematics (Q4249355) (← links)
• Bi‐embeddability spectra and bases of spectra (Q5108859) (← links)
• COMPUTABLE LINEAR ORDERS AND PRODUCTS (Q5148100) (← links)
• FOUNDATIONS OF ONLINE STRUCTURE THEORY (Q5226592) (← links)
• COMPUTABLY ENUMERABLE ALGEBRAS, THEIR EXPANSIONS, AND ISOMORPHISMS (Q5316305) (← links)
• Finitely presented expansions of groups, semigroups, and algebras (Q5401728) (← links)
• Invariants, Boolean algebras and ACA₀⁺ (Q5713163) (← links)
• Primitive recursive reverse mathematics (Q6050165) (← links)