Prime model with no degree of autostability relative to strong constructivizations

DOI10.1007/978-3-319-20028-6_12zbMATH Open1461.03027OpenAlexW1151973901MaRDI QIDQ3195686FDOQ3195686

Authors: Nikolay Bazhenov 

Publication date: 20 October 2015

Published in: Evolving Computability (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-20028-6_12

Recommendations

• Autostability of prime models under strong constructivizations
• On autostability of almost prime models relative to strong constructivizations
• Degrees of autostability relative to strong constructivizations
• Constructivizability of a prime model
• scientific article; zbMATH DE number 4077177

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Structure theory of Boolean algebras (06E05)

Cites Work

• Model theory
• Title not available (Why is that?)
• Computable structures and the hyperarithmetical hierarchy
• \(d\)-computable categoricity for algebraic fields
• Title not available (Why is that?)
• ∏ 0 1 Classes and Degrees of Theories
• CONSTRUCTIVE ALGEBRAS I
• Degrees of categoricity and the hyperarithmetic hierarchy
• Degrees of categoricity of computable structures
• Degrees that are not degrees of categoricity
• Title not available (Why is that?)
• Effective procedures in field theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Degrees of autostability relative to strong constructivizations
• Autostability spectra for Boolean algebras
• Turing's legacy. Developments from Turing's ideas in logic
• Effective algebraicity
• Degrees of categoricity for superatomic Boolean algebras
• Categoricity spectra for rigid structures

Cited In (9)

• An autostable 1-decidable model without a computable Scott family of \(\exists\)-formulas
• Degrees of autostability for prime Boolean algebras
• Categoricity spectra of computable structures
• Effective categoricity for distributive lattices and Heyting algebras
• Autostability of prime models under strong constructivizations
• Constructivizability of a prime model
• On decidable categoricity and almost prime models
• Degrees of autostability relative to strong constructivizations
• Turing degrees of complete formulas of almost prime models

This page was built for publication: Prime model with no degree of autostability relative to strong constructivizations

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