Recursively presentable prime models

DOI10.2307/2272643zbMATH Open0332.02055OpenAlexW2084068730MaRDI QIDQ4096938FDOQ4096938

Authors: Leo Harrington 

Publication date: 1974

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2272643

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Computability and recursion theory (03D99) Other classical first-order model theory (03C68)

Cites Work

• Title not available (Why is that?)
• The Picard group of noncommutative rings, in particular of orders

Cited In (36)

• On two problems of Turing complexity for strongly minimal theories
• Computing constraint sets for differential fields
• Computable trees, prime models, and relative decidability
• Some Questions in Computable Mathematics
• Type Structure Complexity and Decidability
• Relative to any non-hyperarithmetic set
• Punctually presented structures I: Closure theorems
• On the computability-theoretic complexity of trivial, strongly minimal models
• A note on decidable categoricity and index sets
• Primitive recursive reverse mathematics
• Adapting Rabin's theorem for differential fields
• Recursive spectra of strongly minimal theories satisfying the Zilber trichotomy
• On decidable and computable models of theories
• Criterion for strong constructivizability of a homogeneous model
• Connection between constructivizibility and strong constructivizibility for different classes of Abelian groups
• An uncountably categorical theory whose only computably presentable model is saturated
• Strong constructivizability of homogeneous models
• TURING DEGREE SPECTRA OF DIFFERENTIALLY CLOSED FIELDS
• Computably and punctually universal spaces
• Decidable models
• The degrees of categorical theories with recursive models
• A totally transcendental decidable theory without constructivizable homogeneous models
• Computable models of theories with few models
• Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem
• From automatic structures to automatic groups.
• The atomic model theorem and type omitting
• The Tarski-Lindenbaum algebra of the class of all prime strongly constructivizable models of algorithmic dimension one
• Degrees of autostability relative to strong constructivizations
• Turing machine computations in finitely axiomatizable theories
• A geometric model of an arbitrary differentially closed field of characteristic zero
• Independence in computable algebra
• The model theory of differential fields revisited
• A.D. Taimanov and model theory in Kazakhstan
• FOUNDATIONS OF ONLINE STRUCTURE THEORY
• Generalizing classical and effective model theory in theories of operations and classes
• Algebraic structures computable without delay

This page was built for publication: Recursively presentable prime models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4096938)