A proof of Ehrenfeucht's conjecture (Q1082090): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(4 intermediate revisions by 4 users not shown)
Property / Wikidata QID
 
Property / Wikidata QID: Q123342920 / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/0304-3975(85)90066-0 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1965895990 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The descending chain condition on solution sets for systems of equations in groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Groups with free 2-generator subsemigroups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Systems of equations over a free monoid and Ehrenfeucht's conjecture / rank
 
Normal rank
Property / cites work
 
Property / cites work: Test sets and checking words for homomorphism equivalence / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finiteness Conditions for Soluble Groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Ehrenfeucht conjecture: A compactness claim for finitely generated free monoids / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3259716 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 15:22, 17 June 2024

scientific article
Language Label Description Also known as
English
A proof of Ehrenfeucht's conjecture
scientific article

    Statements

    A proof of Ehrenfeucht's conjecture (English)
    0 references
    0 references
    1985
    0 references
    Ehrenfeucht's conjecture states that each subset S of a finitely generated free monoid has a finite subset T such that if two endomorphisms of the monoid agree on T, then they agree on S. It is the purpose of this note to verify the conjecture.
    0 references
    finitely generated free monoid
    0 references
    endomorphisms
    0 references

    Identifiers