Matches in SemOpenAlex for { <https://semopenalex.org/work/W2066136688> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2066136688 endingPage "203" @default.
- W2066136688 startingPage "193" @default.
- W2066136688 abstract "The first-order theory of the lattice of recursively enumerable closed subsets of an effective topological space is proved undecidable using the undecidability of the first-order theory of the lattice of recursively enumerable sets. In particular, the first-order theory of the lattice of recursively enumerable closed subsets of Euclidean n-space, for all n, is undecidable. A more direct proof of the undecidability of the lattice of recursively enumerable closed subsets of Euclidean n-space, n ⩾ 2, is provided using the method of reduction and the recursive inseparability of the set of all formulae satisfiable in every model of the theory of SIBs and the set of all formulae refutable in some finite model of the theory of SIBs." @default.
- W2066136688 created "2016-06-24" @default.
- W2066136688 creator A5071222947 @default.
- W2066136688 creator A5090907219 @default.
- W2066136688 date "1987-01-01" @default.
- W2066136688 modified "2023-09-27" @default.
- W2066136688 title "The undecidability of the lattice of R.E. closed subsets of an effective topological space" @default.
- W2066136688 cites W1489060978 @default.
- W2066136688 cites W1816556148 @default.
- W2066136688 cites W1983705661 @default.
- W2066136688 cites W2045460746 @default.
- W2066136688 cites W2047280602 @default.
- W2066136688 cites W2056063789 @default.
- W2066136688 cites W2100207137 @default.
- W2066136688 cites W2160161200 @default.
- W2066136688 cites W2206813992 @default.
- W2066136688 cites W298021319 @default.
- W2066136688 cites W618040871 @default.
- W2066136688 doi "https://doi.org/10.1016/0168-0072(87)90063-7" @default.
- W2066136688 hasPublicationYear "1987" @default.
- W2066136688 type Work @default.
- W2066136688 sameAs 2066136688 @default.
- W2066136688 citedByCount "2" @default.
- W2066136688 crossrefType "journal-article" @default.
- W2066136688 hasAuthorship W2066136688A5071222947 @default.
- W2066136688 hasAuthorship W2066136688A5090907219 @default.
- W2066136688 hasConcept C114614502 @default.
- W2066136688 hasConcept C118615104 @default.
- W2066136688 hasConcept C121332964 @default.
- W2066136688 hasConcept C129782007 @default.
- W2066136688 hasConcept C153269930 @default.
- W2066136688 hasConcept C164953516 @default.
- W2066136688 hasConcept C177264268 @default.
- W2066136688 hasConcept C186450821 @default.
- W2066136688 hasConcept C188521023 @default.
- W2066136688 hasConcept C192034797 @default.
- W2066136688 hasConcept C199360897 @default.
- W2066136688 hasConcept C203702658 @default.
- W2066136688 hasConcept C24890656 @default.
- W2066136688 hasConcept C2524010 @default.
- W2066136688 hasConcept C2781204021 @default.
- W2066136688 hasConcept C33923547 @default.
- W2066136688 hasConcept C41008148 @default.
- W2066136688 hasConcept C52703633 @default.
- W2066136688 hasConceptScore W2066136688C114614502 @default.
- W2066136688 hasConceptScore W2066136688C118615104 @default.
- W2066136688 hasConceptScore W2066136688C121332964 @default.
- W2066136688 hasConceptScore W2066136688C129782007 @default.
- W2066136688 hasConceptScore W2066136688C153269930 @default.
- W2066136688 hasConceptScore W2066136688C164953516 @default.
- W2066136688 hasConceptScore W2066136688C177264268 @default.
- W2066136688 hasConceptScore W2066136688C186450821 @default.
- W2066136688 hasConceptScore W2066136688C188521023 @default.
- W2066136688 hasConceptScore W2066136688C192034797 @default.
- W2066136688 hasConceptScore W2066136688C199360897 @default.
- W2066136688 hasConceptScore W2066136688C203702658 @default.
- W2066136688 hasConceptScore W2066136688C24890656 @default.
- W2066136688 hasConceptScore W2066136688C2524010 @default.
- W2066136688 hasConceptScore W2066136688C2781204021 @default.
- W2066136688 hasConceptScore W2066136688C33923547 @default.
- W2066136688 hasConceptScore W2066136688C41008148 @default.
- W2066136688 hasConceptScore W2066136688C52703633 @default.
- W2066136688 hasLocation W20661366881 @default.
- W2066136688 hasOpenAccess W2066136688 @default.
- W2066136688 hasPrimaryLocation W20661366881 @default.
- W2066136688 hasRelatedWork W1526277826 @default.
- W2066136688 hasRelatedWork W1980641386 @default.
- W2066136688 hasRelatedWork W2010076006 @default.
- W2066136688 hasRelatedWork W2011410600 @default.
- W2066136688 hasRelatedWork W2037833610 @default.
- W2066136688 hasRelatedWork W2066136688 @default.
- W2066136688 hasRelatedWork W2077769760 @default.
- W2066136688 hasRelatedWork W2104411855 @default.
- W2066136688 hasRelatedWork W2153724794 @default.
- W2066136688 hasRelatedWork W2901084331 @default.
- W2066136688 hasVolume "35" @default.
- W2066136688 isParatext "false" @default.
- W2066136688 isRetracted "false" @default.
- W2066136688 magId "2066136688" @default.
- W2066136688 workType "article" @default.