Autostability of prime models under strong constructivizations
type: Item
instance of: scholarly article
title: Autostability of prime models under strong constructivizations
zbMATH Open document ID: 1241.03043
published in: Algebra and Logic
publication date: 2012-06-29T00:00:00Z
Mathematics Subject Classification ID: 03C57
Mathematics Subject Classification ID: 03C15
Mathematics Subject Classification ID: 03D45
zbMATH DE Number: 6051454
zbMATH Keywords: Ehrenfeucht theory
zbMATH Keywords: prime model
zbMATH Keywords: autostability
zbMATH Keywords: strong constructivization
author: S. S. Goncharov
MaRDI profile type: Publication
full work available at URL: s10469-009-9072-y
OpenAlex ID: W2163824467
cites work: Effective procedures in field theory
cites work: Q3434485
cites work: Q4935938
cites work: A decidable $ℵ_0$-categorical theory with a non-recursive Ryll-Nardzewski function
cites work: Complexity of Ehrenfeucht models
cites work: Q4513969
cites work: Foundations of recursive model theory
cites work: Persistently Finite Theories with Hyperarithmetic Models
cites work: Decidability and the number of countable models
cites work: Q3690795
cites work: Nonarithmetical ℵ0-categorical theories with recursive models
cites work: A decidable Ehrenfeucht theory with exactly two hyperarithmetic models
cites work: Persistently Finite, Persistently Arithmetic Theories
cites work: Theories with recursive models
cites work: Q5295696
cites work: Decidable models
cites work: Q5720189
cites work: Strong constructivizability of homogeneous models
cites work: Spectra of computable models for Ehrenfeucht theories
cites work: On constructive models of theories with linear Rudin-Keisler ordering
cites work: Q5573961
cites work: Strong and weak constructivization and computable families
cites work: Oб алгебрах формул счётно категоричных теорий
DOI: 10.1007/S10469-009-9072-Y
Recommended article: On autostability of almost prime models relative to strong constructivizations
Recommended article: Prime Model with No Degree of Autostability Relative to Strong Constructivizations
Recommended article: Constructivizability of a prime model
Recommended article: Index Sets of Constructive Models that are Autostable Under Strong Constructivizations
Recommended article: Degrees of autostability relative to strong constructivizations
Recommended article: Autostability and extensions of constructivizations
Recommended article: On the Tarski-Lindenbaum Algebra of the Class of all Strongly Constructivizable Prime Models
Recommended article: Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals
Recommended article: Q3784056
Recommended article: Model theoretic properties in the variety generated by a primal algebra
description: scientific article; zbMATH DE number 6051454