Matches in SemOpenAlex for { <https://semopenalex.org/work/W3112750262> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W3112750262 abstract "From the sections on OTM-realizabilty and intuitionistic provability and axioms and systems of constructive set theories, we evaluate an inference rule and two propositions. None is tautologous. The refutes OTM on set theory in Hilbert space for intuitionistic logic. Therefore that approach produces non tautologous fragments of the universal logic VŁ4." @default.
- W3112750262 created "2020-12-21" @default.
- W3112750262 creator A5080174307 @default.
- W3112750262 date "2019-03-01" @default.
- W3112750262 modified "2023-09-26" @default.
- W3112750262 title "Refutation of the Ordinal Turing Machine (Otm) on Set Theory" @default.
- W3112750262 hasPublicationYear "2019" @default.
- W3112750262 type Work @default.
- W3112750262 sameAs 3112750262 @default.
- W3112750262 citedByCount "0" @default.
- W3112750262 crossrefType "posted-content" @default.
- W3112750262 hasAuthorship W3112750262A5080174307 @default.
- W3112750262 hasConcept C111919701 @default.
- W3112750262 hasConcept C118615104 @default.
- W3112750262 hasConcept C136119220 @default.
- W3112750262 hasConcept C154945302 @default.
- W3112750262 hasConcept C167729594 @default.
- W3112750262 hasConcept C177264268 @default.
- W3112750262 hasConcept C178421362 @default.
- W3112750262 hasConcept C199360897 @default.
- W3112750262 hasConcept C202444582 @default.
- W3112750262 hasConcept C2524010 @default.
- W3112750262 hasConcept C2778701210 @default.
- W3112750262 hasConcept C28077239 @default.
- W3112750262 hasConcept C33923547 @default.
- W3112750262 hasConcept C3746660 @default.
- W3112750262 hasConcept C41008148 @default.
- W3112750262 hasConcept C98045186 @default.
- W3112750262 hasConcept C9870796 @default.
- W3112750262 hasConceptScore W3112750262C111919701 @default.
- W3112750262 hasConceptScore W3112750262C118615104 @default.
- W3112750262 hasConceptScore W3112750262C136119220 @default.
- W3112750262 hasConceptScore W3112750262C154945302 @default.
- W3112750262 hasConceptScore W3112750262C167729594 @default.
- W3112750262 hasConceptScore W3112750262C177264268 @default.
- W3112750262 hasConceptScore W3112750262C178421362 @default.
- W3112750262 hasConceptScore W3112750262C199360897 @default.
- W3112750262 hasConceptScore W3112750262C202444582 @default.
- W3112750262 hasConceptScore W3112750262C2524010 @default.
- W3112750262 hasConceptScore W3112750262C2778701210 @default.
- W3112750262 hasConceptScore W3112750262C28077239 @default.
- W3112750262 hasConceptScore W3112750262C33923547 @default.
- W3112750262 hasConceptScore W3112750262C3746660 @default.
- W3112750262 hasConceptScore W3112750262C41008148 @default.
- W3112750262 hasConceptScore W3112750262C98045186 @default.
- W3112750262 hasConceptScore W3112750262C9870796 @default.
- W3112750262 hasLocation W31127502621 @default.
- W3112750262 hasOpenAccess W3112750262 @default.
- W3112750262 hasPrimaryLocation W31127502621 @default.
- W3112750262 hasRelatedWork W1484105406 @default.
- W3112750262 hasRelatedWork W1511783249 @default.
- W3112750262 hasRelatedWork W1563093831 @default.
- W3112750262 hasRelatedWork W1784226744 @default.
- W3112750262 hasRelatedWork W1969802940 @default.
- W3112750262 hasRelatedWork W1971424167 @default.
- W3112750262 hasRelatedWork W2013072167 @default.
- W3112750262 hasRelatedWork W2038737679 @default.
- W3112750262 hasRelatedWork W2045641531 @default.
- W3112750262 hasRelatedWork W2053963560 @default.
- W3112750262 hasRelatedWork W2952004916 @default.
- W3112750262 hasRelatedWork W2964533177 @default.
- W3112750262 hasRelatedWork W3088074722 @default.
- W3112750262 hasRelatedWork W3101283403 @default.
- W3112750262 hasRelatedWork W3134419016 @default.
- W3112750262 hasRelatedWork W3168772350 @default.
- W3112750262 hasRelatedWork W3173489431 @default.
- W3112750262 hasRelatedWork W63047115 @default.
- W3112750262 hasRelatedWork W88232665 @default.
- W3112750262 hasRelatedWork W2494688069 @default.
- W3112750262 isParatext "false" @default.
- W3112750262 isRetracted "false" @default.
- W3112750262 magId "3112750262" @default.
- W3112750262 workType "article" @default.