Matches in SemOpenAlex for { <https://semopenalex.org/work/W3103414753> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W3103414753 endingPage "313" @default.
- W3103414753 startingPage "299" @default.
- W3103414753 abstract "An $omega$-tree-automatic structure is a relational structure whose domain and relations are accepted by Muller or Rabin tree automata. We investigate in this paper the isomorphism problem for $omega$-tree-automatic structures. We prove first that the isomorphism relation for $omega$-tree-automatic boolean algebras (respectively, partial orders, rings, commutative rings, non commutative rings, non commutative groups, nilpotent groups of class n >1) is not determined by the axiomatic system ZFC. Then we prove that the isomorphism problem for $omega$-tree-automatic boolean algebras (respectively, partial orders, rings, commutative rings, non commutative rings, non commutative groups, nilpotent groups of class n >1) is neither a $Sigma_2^1$-set nor a $Pi_2^1$-set." @default.
- W3103414753 created "2020-11-23" @default.
- W3103414753 creator A5018265011 @default.
- W3103414753 creator A5057731005 @default.
- W3103414753 date "2010-04-01" @default.
- W3103414753 modified "2023-09-30" @default.
- W3103414753 title "The isomorphism relation between tree-automatic Structures" @default.
- W3103414753 cites W1539382740 @default.
- W3103414753 cites W1560050980 @default.
- W3103414753 cites W1966217515 @default.
- W3103414753 cites W2019866004 @default.
- W3103414753 cites W2023241546 @default.
- W3103414753 cites W2089351755 @default.
- W3103414753 cites W2112562798 @default.
- W3103414753 cites W2145175687 @default.
- W3103414753 cites W2569340810 @default.
- W3103414753 cites W3099901893 @default.
- W3103414753 cites W4245789266 @default.
- W3103414753 cites W4252769497 @default.
- W3103414753 cites W806742853 @default.
- W3103414753 doi "https://doi.org/10.2478/s11533-010-0014-7" @default.
- W3103414753 hasPublicationYear "2010" @default.
- W3103414753 type Work @default.
- W3103414753 sameAs 3103414753 @default.
- W3103414753 citedByCount "7" @default.
- W3103414753 countsByYear W31034147532012 @default.
- W3103414753 countsByYear W31034147532013 @default.
- W3103414753 countsByYear W31034147532017 @default.
- W3103414753 countsByYear W31034147532020 @default.
- W3103414753 countsByYear W31034147532022 @default.
- W3103414753 crossrefType "journal-article" @default.
- W3103414753 hasAuthorship W3103414753A5018265011 @default.
- W3103414753 hasAuthorship W3103414753A5057731005 @default.
- W3103414753 hasBestOaLocation W31034147532 @default.
- W3103414753 hasConcept C112505250 @default.
- W3103414753 hasConcept C113174947 @default.
- W3103414753 hasConcept C114614502 @default.
- W3103414753 hasConcept C115624301 @default.
- W3103414753 hasConcept C118615104 @default.
- W3103414753 hasConcept C154945302 @default.
- W3103414753 hasConcept C183778304 @default.
- W3103414753 hasConcept C185592680 @default.
- W3103414753 hasConcept C202444582 @default.
- W3103414753 hasConcept C203436722 @default.
- W3103414753 hasConcept C2777212361 @default.
- W3103414753 hasConcept C2778583254 @default.
- W3103414753 hasConcept C33923547 @default.
- W3103414753 hasConcept C41008148 @default.
- W3103414753 hasConcept C50555996 @default.
- W3103414753 hasConcept C8010536 @default.
- W3103414753 hasConcept C80444323 @default.
- W3103414753 hasConceptScore W3103414753C112505250 @default.
- W3103414753 hasConceptScore W3103414753C113174947 @default.
- W3103414753 hasConceptScore W3103414753C114614502 @default.
- W3103414753 hasConceptScore W3103414753C115624301 @default.
- W3103414753 hasConceptScore W3103414753C118615104 @default.
- W3103414753 hasConceptScore W3103414753C154945302 @default.
- W3103414753 hasConceptScore W3103414753C183778304 @default.
- W3103414753 hasConceptScore W3103414753C185592680 @default.
- W3103414753 hasConceptScore W3103414753C202444582 @default.
- W3103414753 hasConceptScore W3103414753C203436722 @default.
- W3103414753 hasConceptScore W3103414753C2777212361 @default.
- W3103414753 hasConceptScore W3103414753C2778583254 @default.
- W3103414753 hasConceptScore W3103414753C33923547 @default.
- W3103414753 hasConceptScore W3103414753C41008148 @default.
- W3103414753 hasConceptScore W3103414753C50555996 @default.
- W3103414753 hasConceptScore W3103414753C8010536 @default.
- W3103414753 hasConceptScore W3103414753C80444323 @default.
- W3103414753 hasIssue "2" @default.
- W3103414753 hasLocation W31034147531 @default.
- W3103414753 hasLocation W31034147532 @default.
- W3103414753 hasLocation W31034147533 @default.
- W3103414753 hasLocation W31034147534 @default.
- W3103414753 hasLocation W31034147535 @default.
- W3103414753 hasLocation W31034147536 @default.
- W3103414753 hasLocation W31034147537 @default.
- W3103414753 hasLocation W31034147538 @default.
- W3103414753 hasOpenAccess W3103414753 @default.
- W3103414753 hasPrimaryLocation W31034147531 @default.
- W3103414753 hasRelatedWork W1880752286 @default.
- W3103414753 hasRelatedWork W2007735529 @default.
- W3103414753 hasRelatedWork W2040153249 @default.
- W3103414753 hasRelatedWork W2065807994 @default.
- W3103414753 hasRelatedWork W2115469041 @default.
- W3103414753 hasRelatedWork W2145421374 @default.
- W3103414753 hasRelatedWork W2167154330 @default.
- W3103414753 hasRelatedWork W3103414753 @default.
- W3103414753 hasRelatedWork W3208292926 @default.
- W3103414753 hasRelatedWork W4244465134 @default.
- W3103414753 hasVolume "8" @default.
- W3103414753 isParatext "false" @default.
- W3103414753 isRetracted "false" @default.
- W3103414753 magId "3103414753" @default.
- W3103414753 workType "article" @default.