Punctually presented structures I: Closure theorems
From MaRDI portal
Publication:6146821
DOI10.3233/com-230448MaRDI QIDQ6146821
No author found.
Publication date: 31 January 2024
Published in: Computability (Search for Journal in Brave)
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Existence and uniqueness of structures computable in polynomial time
- Independence in computable algebra
- Algebraic structures computable without delay
- Primitive recursive ordered fields and some applications
- Real quantifier elimination is doubly exponential
- Polynomial-time versus recursive models
- Polynomial-time Abelian groups
- Computable structures and the hyperarithmetical hierarchy
- Categoricity for primitive recursive and polynomial Boolean algebras
- Primitively recursively categorical linear orderings
- Primitive recursive fields and categoricity
- Punctual dimension of algebraic structures in certain classes
- Punctual definability on structures
- Non-density in punctual computability
- Finitely generated structures computable in polynomial time
- Searching for applicable versions of computable structures
- Fields of algebraic numbers computable in polynomial time. II
- Punctual copies of algebraic structures
- Graphs are not universal for online computability
- Online presentations of finitely generated structures
- A note on computable real fields
- Recursively presentable prime models
- On Computable Field Embeddings and Difference Closed Fields
- Model Theory
- Computable Structure Theory
- A structure of punctual dimension two
- AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES
- FOUNDATIONS OF ONLINE STRUCTURE THEORY
- Complexity of quantifier elimination in the theory of ordinary differential equations
- Computable Algebra, General Theory and Theory of Computable Fields
- TURING DEGREE SPECTRA OF DIFFERENTIALLY CLOSED FIELDS
- PUNCTUAL CATEGORICITY AND UNIVERSALITY
- Primitive recursive reverse mathematics
