Matches in SemOpenAlex for { <https://semopenalex.org/work/W2790669912> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2790669912 abstract "This paper describes a system S' obtained by modifying first-order arithmetic to 'parameterise' the individual variables so that under any interpretation of S', the individual variables range over all and only the individuals assigned to the numerals under this interpretation. Since S' contains Peano arithmetic and is recursively axiomatised we can modify Goedel's technique to define a Goedel sentence for S', say (x)R[x]. S' may be shown to be inconsistent since (x)R[x] must be an S' theorem. Since the syntax of S' and S are identical however the inconsistency of S itself is implied by this result." @default.
- W2790669912 created "2018-03-29" @default.
- W2790669912 creator A5009903276 @default.
- W2790669912 date "2010-10-06" @default.
- W2790669912 modified "2023-09-27" @default.
- W2790669912 title "On the formalist account of first-order arithmetic" @default.
- W2790669912 hasPublicationYear "2010" @default.
- W2790669912 type Work @default.
- W2790669912 sameAs 2790669912 @default.
- W2790669912 citedByCount "0" @default.
- W2790669912 crossrefType "posted-content" @default.
- W2790669912 hasAuthorship W2790669912A5009903276 @default.
- W2790669912 hasConcept C118615104 @default.
- W2790669912 hasConcept C154945302 @default.
- W2790669912 hasConcept C159985019 @default.
- W2790669912 hasConcept C180937797 @default.
- W2790669912 hasConcept C192562407 @default.
- W2790669912 hasConcept C199360897 @default.
- W2790669912 hasConcept C204160518 @default.
- W2790669912 hasConcept C204321447 @default.
- W2790669912 hasConcept C204323151 @default.
- W2790669912 hasConcept C2777530160 @default.
- W2790669912 hasConcept C2781302003 @default.
- W2790669912 hasConcept C33923547 @default.
- W2790669912 hasConcept C41008148 @default.
- W2790669912 hasConcept C527412718 @default.
- W2790669912 hasConcept C60048249 @default.
- W2790669912 hasConcept C65148605 @default.
- W2790669912 hasConcept C94375191 @default.
- W2790669912 hasConcept C97489613 @default.
- W2790669912 hasConceptScore W2790669912C118615104 @default.
- W2790669912 hasConceptScore W2790669912C154945302 @default.
- W2790669912 hasConceptScore W2790669912C159985019 @default.
- W2790669912 hasConceptScore W2790669912C180937797 @default.
- W2790669912 hasConceptScore W2790669912C192562407 @default.
- W2790669912 hasConceptScore W2790669912C199360897 @default.
- W2790669912 hasConceptScore W2790669912C204160518 @default.
- W2790669912 hasConceptScore W2790669912C204321447 @default.
- W2790669912 hasConceptScore W2790669912C204323151 @default.
- W2790669912 hasConceptScore W2790669912C2777530160 @default.
- W2790669912 hasConceptScore W2790669912C2781302003 @default.
- W2790669912 hasConceptScore W2790669912C33923547 @default.
- W2790669912 hasConceptScore W2790669912C41008148 @default.
- W2790669912 hasConceptScore W2790669912C527412718 @default.
- W2790669912 hasConceptScore W2790669912C60048249 @default.
- W2790669912 hasConceptScore W2790669912C65148605 @default.
- W2790669912 hasConceptScore W2790669912C94375191 @default.
- W2790669912 hasConceptScore W2790669912C97489613 @default.
- W2790669912 hasLocation W27906699121 @default.
- W2790669912 hasOpenAccess W2790669912 @default.
- W2790669912 hasPrimaryLocation W27906699121 @default.
- W2790669912 hasRelatedWork W100145066 @default.
- W2790669912 hasRelatedWork W1124093926 @default.
- W2790669912 hasRelatedWork W155992462 @default.
- W2790669912 hasRelatedWork W1577578327 @default.
- W2790669912 hasRelatedWork W1587096194 @default.
- W2790669912 hasRelatedWork W1747453711 @default.
- W2790669912 hasRelatedWork W1916582716 @default.
- W2790669912 hasRelatedWork W195170535 @default.
- W2790669912 hasRelatedWork W1980754228 @default.
- W2790669912 hasRelatedWork W2055265907 @default.
- W2790669912 hasRelatedWork W2059028119 @default.
- W2790669912 hasRelatedWork W2103607287 @default.
- W2790669912 hasRelatedWork W2130271551 @default.
- W2790669912 hasRelatedWork W2313703879 @default.
- W2790669912 hasRelatedWork W2508663796 @default.
- W2790669912 hasRelatedWork W2951869935 @default.
- W2790669912 hasRelatedWork W2989860728 @default.
- W2790669912 hasRelatedWork W3035223173 @default.
- W2790669912 hasRelatedWork W3169922540 @default.
- W2790669912 hasRelatedWork W36179649 @default.
- W2790669912 isParatext "false" @default.
- W2790669912 isRetracted "false" @default.
- W2790669912 magId "2790669912" @default.
- W2790669912 workType "article" @default.