Concatenation as a basis for arithmetic
From MaRDI portal
Cites work
Cited in
(72)- Undecidability of free pseudo-complemented semilattices
- Languages with self-reference. II: Knowledge, belief, and modality
- Undecidability of relatively free Hilbert algebras
- Language in action
- Infinite trees and automaton-definable relations over -words
- A new method for undecidability proofs of first order theories
- Positive theories of free monoids
- A descriptive complexity approach to the linear hierarchy.
- Undecidability of a simple fragment of a positive theory with a single constant for a free semigroup of rank two
- \(\forall \exists^{5}\)-equational theory of context unification is undecidable
- The logical strength of compositional principles
- Logic, semigroups and automata on words
- The undecidability of the first-order theories of one step rewriting in linear canonical systems
- Elementary functions and loop programs
- Undecidability of the positive \(\forall\exists^ 3\)-theory of a free semigroup
- On arithmetical first-order theories allowing encoding and decoding of lists
- Bi-interpretability of some monoids with the arithmetic and applications
- On equations and first-order theory of one-relator monoids
- A decision procedure for string to code point conversion
- Weak sequential theories of finite full binary trees
- Word equations in the context of string solving
- Bases for structures and theories. I.
- On ``simple undecidable fragments of the positive theory of a free semigroup
- First-order concatenation theory with bounded quantifiers
- A logic for document spanners
- On generalization of definitional equivalence to non-disjoint languages
- On the existence of a modal antinomy
- Inception of Quine's ontology
- Consistency and the theory of truth
- Classes of Predictably Computable Functions
- Chain-free string constraints
- The role of rudimentary relations in complexity theory
- The Reachability Problem over Infinite Graphs
- WORD EQUATIONS OVER GRAPH PRODUCTS
- Arithmetic on semigroups
- Definability in the Infix Order on Words
- Arithmetische Prädikate über einem Bereich endlicher Automaten
- Tarski’s problem about the elementary theory of free groups has a positive solution
- Weak theories of concatenation and arithmetic
- Mutual interpretability of Robinson arithmetic and adjunctive set theory with extensionality
- Defining recursive predicates in graph orders
- Weak theories of concatenation and minimal essentially undecidable theories. An encounter of \(\mathsf{WTC}\) and \(\mathsf{S2S}\)
- Quadratic word equations with length constraints, counter systems, and Presburger arithmetic with divisibility
- MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES
- On some algorithmic problems for groups and monoids
- Joining k- and l-recognizable sets of natural numbers
- scientific article; zbMATH DE number 7120897 (Why is no real title available?)
- Mathematical Foundations of Computer Science 2004
- Axiomatic truth, syntax and metatheoretic reasoning
- scientific article; zbMATH DE number 3251412 (Why is no real title available?)
- La théorie des fonctions récursives et ses applications. (Exposé d'information générale)
- Weak cardinality theorems
- Set existence axioms for general (not necessarily countable) stability theory
- A finitary metalanguage for extended basic logic
- A list of arithmetical structures complete with respect to the first-order definability
- On the Axiom of Canonicity
- Algebraic and logical aspects of unification
- INTERLEAVING LOGIC AND COUNTING
- First steps towards taming description logics with strings
- A closer look at the expressive power of logics based on word equations
- A weak theory of building blocks
- Quantifier-free induction for lists
- On the first order theory of plactic monoids
- Putnam's model-theoretic argument (meta)reconstructed. In the mirror of Carpintero's and van Douven's interpretations
- When bi-interpretability implies synonymy
- Undecidable fragments of positive theories of free semigroups
- Satisfiability of context-free string constraints with subword-ordering and transducers
- Experiential attitudes are propositional
- The theory of concatenation over finite models
- Elementary properties of free lattices. III: Undecidability of the full theory
- The decision problem for some logics for finite words on infinite alphabets
- The origins of combinatorics on words
This page was built for publication: Concatenation as a basis for arithmetic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5845416)
