Strong \(\Delta_1\)-definability of a model in an admissible set

DOI10.1007/BF02732371zbMath0914.03044OpenAlexW2042208003MaRDI QIDQ1288078

A. N. Khisamiev

Publication date: 10 May 1999

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02732371

zbMATH Keywords

Boolean algebraadmissible setAbelian groupconstructive modelrecursive modelordinal types\(B\)-modelUlm types

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (2)

2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000 ⋮ \(\Sigma\)-preorderings in \(\mathbb{HF}(\mathbb{R} )\)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Strong \(\Delta_1\)-definability of a model in an admissible set