Handbook of recursive mathematics. Vol. 1: Recursive model theory
From MaRDI portal
Publication:1276268
zbMath0905.03001MaRDI QIDQ1276268
No author found.
Publication date: 24 January 1999
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Computable structure theory, computable model theory (03C57) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00)
Related Items
Degree spectra and computable dimensions in algebraic structures ⋮ Degree spectra of relations on structures of finite computable dimension ⋮ COMPUTABLY ENUMERABLE ALGEBRAS, THEIR EXPANSIONS, AND ISOMORPHISMS ⋮ Finiteness conditions on the Yoneda algebra of a monomial algebra. ⋮ Primitive recursive reverse mathematics ⋮ Bi‐embeddability spectra and bases of spectra ⋮ On Constructive Nilpotent Groups ⋮ Inside the Muchnik degrees. II: The degree structures induced by the arithmetical hierarchy of countably continuous functions ⋮ When Is Reachability Intrinsically Decidable? ⋮ COMPUTABLE LINEAR ORDERS AND PRODUCTS ⋮ Finitely presented expansions of groups, semigroups, and algebras ⋮ Invariants, Boolean algebras and ACA₀⁺ ⋮ An uncountably categorical theory whose only computably presentable model is saturated ⋮ \(\Pi^0_1\)-presentations of algebras ⋮ Computable Kripke models and intermediate logics ⋮ FOUNDATIONS OF ONLINE STRUCTURE THEORY ⋮ The atomic model theorem and type omitting ⋮ The isomorphism problem on classes of automatic structures with transitive relations ⋮ Recursive and nonextendible functions over the reals; filter foundation for recursive analysis. II
This page was built for publication: Handbook of recursive mathematics. Vol. 1: Recursive model theory
