FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4232813151> ?p ?o ?g. }

• W4232813151 endingPage "472" @default.
• W4232813151 startingPage "433" @default.
• W4232813151 abstract "Abstract In historical discussions of twentieth-century logic, it is typically assumed that model theory emerged within the tradition that adopted first-order logic as the standard framework. Work within the type-theoretic tradition, in the style of Principia Mathematica , tends to be downplayed or ignored in this connection. Indeed, the shift from type theory to first-order logic is sometimes seen as involving a radical break that first made possible the rise of modern model theory. While comparing several early attempts to develop the semantics of axiomatic theories in the 1930s, by two proponents of the type-theoretic tradition (Carnap and Tarski) and two proponents of the first-order tradition (Gödel and Hilbert), we argue that, instead, the move from type theory to first-order logic is better understood as a gradual transformation, and further, that the contributions to semantics made in the type-theoretic tradition should be seen as central to the evolution of model theory." @default.
• W4232813151 created "2022-05-12" @default.
• W4232813151 creator A5040695039 @default.
• W4232813151 creator A5041793307 @default.
• W4232813151 date "2013-09-01" @default.
• W4232813151 modified "2023-10-03" @default.
• W4232813151 title "Logic in the 1930s: Type Theory and Model Theory" @default.
• W4232813151 cites W129488983 @default.
• W4232813151 cites W1510647520 @default.
• W4232813151 cites W1532018530 @default.
• W4232813151 cites W1572451808 @default.
• W4232813151 cites W1574975957 @default.
• W4232813151 cites W1593773959 @default.
• W4232813151 cites W1733208214 @default.
• W4232813151 cites W1776154745 @default.
• W4232813151 cites W1812825084 @default.
• W4232813151 cites W1964132161 @default.
• W4232813151 cites W1967212445 @default.
• W4232813151 cites W1974909295 @default.
• W4232813151 cites W1977152473 @default.
• W4232813151 cites W2021714104 @default.
• W4232813151 cites W2051095970 @default.
• W4232813151 cites W2054885127 @default.
• W4232813151 cites W2065052474 @default.
• W4232813151 cites W2065513194 @default.
• W4232813151 cites W2140792783 @default.
• W4232813151 cites W2142305280 @default.
• W4232813151 cites W2152892251 @default.
• W4232813151 cites W2153509342 @default.
• W4232813151 cites W2156393745 @default.
• W4232813151 cites W2164924018 @default.
• W4232813151 cites W2308245951 @default.
• W4232813151 cites W2324027672 @default.
• W4232813151 cites W2495408489 @default.
• W4232813151 cites W2496840272 @default.
• W4232813151 cites W2501014490 @default.
• W4232813151 cites W2501804021 @default.
• W4232813151 cites W3021659953 @default.
• W4232813151 cites W3191108229 @default.
• W4232813151 cites W4230734037 @default.
• W4232813151 cites W4232345288 @default.
• W4232813151 cites W4244886352 @default.
• W4232813151 cites W4248017050 @default.
• W4232813151 cites W4299731435 @default.
• W4232813151 cites W623137244 @default.
• W4232813151 doi "https://doi.org/10.1017/s1079898600010568" @default.
• W4232813151 hasPublicationYear "2013" @default.
• W4232813151 type Work @default.
• W4232813151 citedByCount "5" @default.
• W4232813151 countsByYear W42328131512015 @default.
• W4232813151 countsByYear W42328131512017 @default.
• W4232813151 countsByYear W42328131512019 @default.
• W4232813151 countsByYear W42328131512021 @default.
• W4232813151 countsByYear W42328131512023 @default.
• W4232813151 crossrefType "journal-article" @default.
• W4232813151 hasAuthorship W4232813151A5040695039 @default.
• W4232813151 hasAuthorship W4232813151A5041793307 @default.
• W4232813151 hasConcept C10138342 @default.
• W4232813151 hasConcept C108710211 @default.
• W4232813151 hasConcept C111472728 @default.
• W4232813151 hasConcept C118615104 @default.
• W4232813151 hasConcept C125773388 @default.
• W4232813151 hasConcept C138885662 @default.
• W4232813151 hasConcept C162324750 @default.
• W4232813151 hasConcept C167729594 @default.
• W4232813151 hasConcept C182306322 @default.
• W4232813151 hasConcept C184337299 @default.
• W4232813151 hasConcept C18903297 @default.
• W4232813151 hasConcept C199360897 @default.
• W4232813151 hasConcept C2318724 @default.
• W4232813151 hasConcept C2524010 @default.
• W4232813151 hasConcept C2777299769 @default.
• W4232813151 hasConcept C28826006 @default.
• W4232813151 hasConcept C2987642246 @default.
• W4232813151 hasConcept C32241873 @default.
• W4232813151 hasConcept C33923547 @default.
• W4232813151 hasConcept C41008148 @default.
• W4232813151 hasConcept C47030870 @default.
• W4232813151 hasConcept C86803240 @default.
• W4232813151 hasConcept C93682546 @default.
• W4232813151 hasConceptScore W4232813151C10138342 @default.
• W4232813151 hasConceptScore W4232813151C108710211 @default.
• W4232813151 hasConceptScore W4232813151C111472728 @default.
• W4232813151 hasConceptScore W4232813151C118615104 @default.
• W4232813151 hasConceptScore W4232813151C125773388 @default.
• W4232813151 hasConceptScore W4232813151C138885662 @default.
• W4232813151 hasConceptScore W4232813151C162324750 @default.
• W4232813151 hasConceptScore W4232813151C167729594 @default.
• W4232813151 hasConceptScore W4232813151C182306322 @default.
• W4232813151 hasConceptScore W4232813151C184337299 @default.
• W4232813151 hasConceptScore W4232813151C18903297 @default.
• W4232813151 hasConceptScore W4232813151C199360897 @default.
• W4232813151 hasConceptScore W4232813151C2318724 @default.
• W4232813151 hasConceptScore W4232813151C2524010 @default.
• W4232813151 hasConceptScore W4232813151C2777299769 @default.
• W4232813151 hasConceptScore W4232813151C28826006 @default.
• W4232813151 hasConceptScore W4232813151C2987642246 @default.
• W4232813151 hasConceptScore W4232813151C32241873 @default.

• next