Decidable Models of Ehrenfeucht Theories › Research Explorer

DOI

https://doi.org/10.1007/s10469-025-09779-0
Final published version

P. E. Alaev
E. I. Khlestova

Original language	English
Journal	Algebra and Logic
DOIs	https://doi.org/10.1007/s10469-025-09779-0
Publication status	Published - 5 May 2025

OECD FOS+WOS

1.02.QL LOGIC
1.01.PQ MATHEMATICS

Research areas

Ehrenfeucht theory, arithmetic structure, arithmetic type, computable structure, countable model, decidable structure

ID: 66186918