FOUNDATIONS OF ONLINE STRUCTURE THEORY
From MaRDI portal
Publication:5226592
Cites work
- scientific article; zbMATH DE number 1002913 (Why is no real title available?)
- scientific article; zbMATH DE number 53661 (Why is no real title available?)
- scientific article; zbMATH DE number 3639144 (Why is no real title available?)
- scientific article; zbMATH DE number 1232130 (Why is no real title available?)
- scientific article; zbMATH DE number 1302870 (Why is no real title available?)
- scientific article; zbMATH DE number 1302879 (Why is no real title available?)
- scientific article; zbMATH DE number 1303205 (Why is no real title available?)
- scientific article; zbMATH DE number 1460545 (Why is no real title available?)
- scientific article; zbMATH DE number 2167522 (Why is no real title available?)
- scientific article; zbMATH DE number 3805536 (Why is no real title available?)
- scientific article; zbMATH DE number 1450824 (Why is no real title available?)
- scientific article; zbMATH DE number 3250559 (Why is no real title available?)
- A quest for algorithmically random infinite structures
- A survey of homogeneous structures
- AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES
- Algebraic structures computable without delay
- An Effective Version of Dilworth's Theorem
- An on-line graph coloring algorithm with sublinear performance ratio
- Atomless Boolean algebras computable in polynomial time
- CONSTRUCTIVE ALGEBRAS I
- Computable functors and effective interpretability
- Computable structures and the hyperarithmetical hierarchy
- Computational complexity of real functions
- Constructive models of complete solvable theories
- Developments in Language Theory
- Effective content of field theory
- Effective procedures in field theory
- Eliminating unbounded search in computable algebra
- Every recursive linear ordering has a copy in DTIME-SPACE(n,log(n))
- From automatic structures to automatic groups.
- Graph colorings and recursively bounded \(\Pi ^ 0_ 1\)-classes
- Graphs are not universal for online computability
- Handbook of recursive mathematics. Vol. 1: Recursive model theory
- Handbook of recursive mathematics. Vol. 2: Recursive algebra, analysis and combinatorics
- Omitting types, type spectrums, and decidability
- On-Line Coloring and Recursive Graph Theory
- On-line coloring \(k\)-colorable graphs
- Polynomial-time Abelian groups
- Polynomial-time versus recursive models
- Recursively presentable prime models
- Some constructivizations of Abelian groups
- Space complexity of abelian groups
- Structures computable in polynomial time. I
- Structures computable in polynomial time. II
- The additive group of the rationals does not have an automatic presentation
- The back-and-forth method and computability without delay
- The complexity of computable categoricity
- The diversity of categoricity without delay
Cited in
(31)- On the main scientific achievements of Victor Selivanov
- Punctually presented structures I: Closure theorems
- A note on computable embeddings for ordinals and their reverses
- Constructing punctually categorical semigroups
- Primitive recursive ordered fields and some applications
- Punctual definability on structures
- Searching for applicable versions of computable structures
- On the index set of punctually categorical finitely generated structures
- New degree spectra of Polish spaces
- Primitive recursive equivalence relations and their primitive recursive complexity
- Punctual categoricity spectra of computably categorical structures
- Punctual dimension of algebraic structures in certain classes
- Punctual categoricity relative to a computable oracle
- Computably and punctually universal spaces
- Definable Subsets of Polynomial-Time Algebraic Structures
- Non-density in punctual computability
- PUNCTUAL CATEGORICITY AND UNIVERSALITY
- Punctual 1-linear orders
- A structure of punctual dimension two
- Rogers semilattices of punctual numberings
- To reorient is easier than to orient: An on-line algorithm for reorientation of graphs
- Primitive recursive ordered fields and some applications
- Punctual structures and primitive recursive reducibility
- Graphs are not universal for online computability
- On bi-embeddable categoricity of algebraic structures
- COMPUTABLY COMPACT METRIC SPACES
- Computable embeddability for algebraic structures
- Online presentations of finitely generated structures
- scientific article; zbMATH DE number 7407778 (Why is no real title available?)
- Effective categoricity of automatic equivalence and nested equivalence structures
- Primitive recursive reverse mathematics
This page was built for publication: FOUNDATIONS OF ONLINE STRUCTURE THEORY
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5226592)
