Matches in SemOpenAlex for { <https://semopenalex.org/work/W2124783690> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2124783690 abstract "In the late 20’s Fraenkel and Carnap raised the question of whether or not all semantically complete finitely axiomatizable theories formulated in the theory of types are categorical. Carnap announced a positive answer to this question. However, that proof was flawed (see Awody and Carus [2001] and Awodey and Reck [2002]). The Fraenkel-Carnap question has been ignored until it was rediscovered by Awodey, Carus and Reck. Scott noticed that the question has a positive answer for theories formulated in those n th -order languages (n 2)" @default.
- W2124783690 created "2016-06-24" @default.
- W2124783690 creator A5029463543 @default.
- W2124783690 creator A5083923777 @default.
- W2124783690 date "2010-01-01" @default.
- W2124783690 modified "2023-09-27" @default.
- W2124783690 title "The Fraenkel-Carnap Question for Limited Higher-Order Languages" @default.
- W2124783690 cites W1532018530 @default.
- W2124783690 cites W1964132161 @default.
- W2124783690 cites W2051706329 @default.
- W2124783690 cites W2054469422 @default.
- W2124783690 cites W2155144248 @default.
- W2124783690 cites W2799042509 @default.
- W2124783690 hasPublicationYear "2010" @default.
- W2124783690 type Work @default.
- W2124783690 sameAs 2124783690 @default.
- W2124783690 citedByCount "1" @default.
- W2124783690 crossrefType "journal-article" @default.
- W2124783690 hasAuthorship W2124783690A5029463543 @default.
- W2124783690 hasAuthorship W2124783690A5083923777 @default.
- W2124783690 hasConcept C10138342 @default.
- W2124783690 hasConcept C105795698 @default.
- W2124783690 hasConcept C111472728 @default.
- W2124783690 hasConcept C138885662 @default.
- W2124783690 hasConcept C162324750 @default.
- W2124783690 hasConcept C182306322 @default.
- W2124783690 hasConcept C199343813 @default.
- W2124783690 hasConcept C2777686260 @default.
- W2124783690 hasConcept C33923547 @default.
- W2124783690 hasConcept C5274069 @default.
- W2124783690 hasConcept C71924100 @default.
- W2124783690 hasConceptScore W2124783690C10138342 @default.
- W2124783690 hasConceptScore W2124783690C105795698 @default.
- W2124783690 hasConceptScore W2124783690C111472728 @default.
- W2124783690 hasConceptScore W2124783690C138885662 @default.
- W2124783690 hasConceptScore W2124783690C162324750 @default.
- W2124783690 hasConceptScore W2124783690C182306322 @default.
- W2124783690 hasConceptScore W2124783690C199343813 @default.
- W2124783690 hasConceptScore W2124783690C2777686260 @default.
- W2124783690 hasConceptScore W2124783690C33923547 @default.
- W2124783690 hasConceptScore W2124783690C5274069 @default.
- W2124783690 hasConceptScore W2124783690C71924100 @default.
- W2124783690 hasLocation W21247836901 @default.
- W2124783690 hasOpenAccess W2124783690 @default.
- W2124783690 hasPrimaryLocation W21247836901 @default.
- W2124783690 hasRelatedWork W1532018530 @default.
- W2124783690 hasRelatedWork W1704879880 @default.
- W2124783690 hasRelatedWork W1964466038 @default.
- W2124783690 hasRelatedWork W1971512064 @default.
- W2124783690 hasRelatedWork W2004714982 @default.
- W2124783690 hasRelatedWork W2021503169 @default.
- W2124783690 hasRelatedWork W2027471070 @default.
- W2124783690 hasRelatedWork W2085459286 @default.
- W2124783690 hasRelatedWork W2087894053 @default.
- W2124783690 hasRelatedWork W2093149296 @default.
- W2124783690 hasRelatedWork W2096767730 @default.
- W2124783690 hasRelatedWork W2182259569 @default.
- W2124783690 hasRelatedWork W2188274304 @default.
- W2124783690 hasRelatedWork W2290806195 @default.
- W2124783690 hasRelatedWork W2499096018 @default.
- W2124783690 hasRelatedWork W2557915354 @default.
- W2124783690 hasRelatedWork W2900603450 @default.
- W2124783690 hasRelatedWork W2952014502 @default.
- W2124783690 hasRelatedWork W3185830062 @default.
- W2124783690 hasRelatedWork W2491674656 @default.
- W2124783690 isParatext "false" @default.
- W2124783690 isRetracted "false" @default.
- W2124783690 magId "2124783690" @default.
- W2124783690 workType "article" @default.