Matches in SemOpenAlex for { <https://semopenalex.org/work/W164060254> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W164060254 abstract "The main goal of this research is to develop logical tools and techniques for effective reasoning about continuous data based on $Sigma$-definability. In this article we invent the Uniformity Principleand prove it for $Sigma$-definability over the real numbers extended by open predicates. Using the Uniformity Principle, we investigate different approaches to enrich the language of {Sigma}-formulas in such a way that simplifies reasoning about computable continuous data without enlarging the class of $Sigma$-definable sets. In order to do reasoning about computability of certain continuous data we have to pick up an appropriate language of a structure representing these continuous data. We formulate several major conditions how to do that in a right direction. We also employ the Uniformity Principleto argue that our logical approach is a good way for formalization of computable continuous data in logical terms." @default.
- W164060254 created "2016-06-24" @default.
- W164060254 creator A5025688945 @default.
- W164060254 creator A5076910041 @default.
- W164060254 date "2009-01-01" @default.
- W164060254 modified "2023-09-27" @default.
- W164060254 title "Uniformity principle for $Sigma$-definability" @default.
- W164060254 hasPublicationYear "2009" @default.
- W164060254 type Work @default.
- W164060254 sameAs 164060254 @default.
- W164060254 citedByCount "0" @default.
- W164060254 crossrefType "journal-article" @default.
- W164060254 hasAuthorship W164060254A5025688945 @default.
- W164060254 hasAuthorship W164060254A5076910041 @default.
- W164060254 hasConcept C10138342 @default.
- W164060254 hasConcept C11413529 @default.
- W164060254 hasConcept C118615104 @default.
- W164060254 hasConcept C121332964 @default.
- W164060254 hasConcept C136119220 @default.
- W164060254 hasConcept C152062344 @default.
- W164060254 hasConcept C154945302 @default.
- W164060254 hasConcept C162324750 @default.
- W164060254 hasConcept C182306322 @default.
- W164060254 hasConcept C199343813 @default.
- W164060254 hasConcept C202444582 @default.
- W164060254 hasConcept C27318111 @default.
- W164060254 hasConcept C2777212361 @default.
- W164060254 hasConcept C2777686260 @default.
- W164060254 hasConcept C2778049214 @default.
- W164060254 hasConcept C33923547 @default.
- W164060254 hasConcept C41008148 @default.
- W164060254 hasConcept C62520636 @default.
- W164060254 hasConcept C71924100 @default.
- W164060254 hasConcept C80444323 @default.
- W164060254 hasConceptScore W164060254C10138342 @default.
- W164060254 hasConceptScore W164060254C11413529 @default.
- W164060254 hasConceptScore W164060254C118615104 @default.
- W164060254 hasConceptScore W164060254C121332964 @default.
- W164060254 hasConceptScore W164060254C136119220 @default.
- W164060254 hasConceptScore W164060254C152062344 @default.
- W164060254 hasConceptScore W164060254C154945302 @default.
- W164060254 hasConceptScore W164060254C162324750 @default.
- W164060254 hasConceptScore W164060254C182306322 @default.
- W164060254 hasConceptScore W164060254C199343813 @default.
- W164060254 hasConceptScore W164060254C202444582 @default.
- W164060254 hasConceptScore W164060254C27318111 @default.
- W164060254 hasConceptScore W164060254C2777212361 @default.
- W164060254 hasConceptScore W164060254C2777686260 @default.
- W164060254 hasConceptScore W164060254C2778049214 @default.
- W164060254 hasConceptScore W164060254C33923547 @default.
- W164060254 hasConceptScore W164060254C41008148 @default.
- W164060254 hasConceptScore W164060254C62520636 @default.
- W164060254 hasConceptScore W164060254C71924100 @default.
- W164060254 hasConceptScore W164060254C80444323 @default.
- W164060254 hasLocation W1640602541 @default.
- W164060254 hasOpenAccess W164060254 @default.
- W164060254 hasPrimaryLocation W1640602541 @default.
- W164060254 hasRelatedWork W1486432780 @default.
- W164060254 hasRelatedWork W1493407222 @default.
- W164060254 hasRelatedWork W2118100248 @default.
- W164060254 hasRelatedWork W2400741753 @default.
- W164060254 hasRelatedWork W2726449882 @default.
- W164060254 hasRelatedWork W2798653005 @default.
- W164060254 hasRelatedWork W2904640154 @default.
- W164060254 hasRelatedWork W2919238672 @default.
- W164060254 hasRelatedWork W2949479189 @default.
- W164060254 hasRelatedWork W2950374939 @default.
- W164060254 hasRelatedWork W2951880362 @default.
- W164060254 hasRelatedWork W2979489531 @default.
- W164060254 hasRelatedWork W3006785914 @default.
- W164060254 hasRelatedWork W3099526688 @default.
- W164060254 hasRelatedWork W3124203243 @default.
- W164060254 hasRelatedWork W3132002313 @default.
- W164060254 hasRelatedWork W3157498506 @default.
- W164060254 hasRelatedWork W3177831581 @default.
- W164060254 hasRelatedWork W339186269 @default.
- W164060254 hasRelatedWork W2187119448 @default.
- W164060254 isParatext "false" @default.
- W164060254 isRetracted "false" @default.
- W164060254 magId "164060254" @default.
- W164060254 workType "article" @default.