Matches in SemOpenAlex for { <https://semopenalex.org/work/W1833770856> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1833770856 abstract "This paper is the second in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully extend the usual set-theoretic semantics so as to shed new light on the relevant strengths and limits of higher-order logic." @default.
- W1833770856 created "2016-06-24" @default.
- W1833770856 creator A5041793307 @default.
- W1833770856 creator A5048294977 @default.
- W1833770856 date "2002-01-01" @default.
- W1833770856 modified "2023-09-24" @default.
- W1833770856 title "Completeness and categoricty, part II: 20th century metalogic to 21st century semantics" @default.
- W1833770856 hasPublicationYear "2002" @default.
- W1833770856 type Work @default.
- W1833770856 sameAs 1833770856 @default.
- W1833770856 citedByCount "0" @default.
- W1833770856 crossrefType "journal-article" @default.
- W1833770856 hasAuthorship W1833770856A5041793307 @default.
- W1833770856 hasAuthorship W1833770856A5048294977 @default.
- W1833770856 hasConcept C100481476 @default.
- W1833770856 hasConcept C111472728 @default.
- W1833770856 hasConcept C120665830 @default.
- W1833770856 hasConcept C121332964 @default.
- W1833770856 hasConcept C125773388 @default.
- W1833770856 hasConcept C134306372 @default.
- W1833770856 hasConcept C138885662 @default.
- W1833770856 hasConcept C156325763 @default.
- W1833770856 hasConcept C167729594 @default.
- W1833770856 hasConcept C17231256 @default.
- W1833770856 hasConcept C184337299 @default.
- W1833770856 hasConcept C192209626 @default.
- W1833770856 hasConcept C199343813 @default.
- W1833770856 hasConcept C199360897 @default.
- W1833770856 hasConcept C207648694 @default.
- W1833770856 hasConcept C2524010 @default.
- W1833770856 hasConcept C2777686260 @default.
- W1833770856 hasConcept C33923547 @default.
- W1833770856 hasConcept C41008148 @default.
- W1833770856 hasConcept C58041814 @default.
- W1833770856 hasConcept C71924100 @default.
- W1833770856 hasConceptScore W1833770856C100481476 @default.
- W1833770856 hasConceptScore W1833770856C111472728 @default.
- W1833770856 hasConceptScore W1833770856C120665830 @default.
- W1833770856 hasConceptScore W1833770856C121332964 @default.
- W1833770856 hasConceptScore W1833770856C125773388 @default.
- W1833770856 hasConceptScore W1833770856C134306372 @default.
- W1833770856 hasConceptScore W1833770856C138885662 @default.
- W1833770856 hasConceptScore W1833770856C156325763 @default.
- W1833770856 hasConceptScore W1833770856C167729594 @default.
- W1833770856 hasConceptScore W1833770856C17231256 @default.
- W1833770856 hasConceptScore W1833770856C184337299 @default.
- W1833770856 hasConceptScore W1833770856C192209626 @default.
- W1833770856 hasConceptScore W1833770856C199343813 @default.
- W1833770856 hasConceptScore W1833770856C199360897 @default.
- W1833770856 hasConceptScore W1833770856C207648694 @default.
- W1833770856 hasConceptScore W1833770856C2524010 @default.
- W1833770856 hasConceptScore W1833770856C2777686260 @default.
- W1833770856 hasConceptScore W1833770856C33923547 @default.
- W1833770856 hasConceptScore W1833770856C41008148 @default.
- W1833770856 hasConceptScore W1833770856C58041814 @default.
- W1833770856 hasConceptScore W1833770856C71924100 @default.
- W1833770856 hasLocation W18337708561 @default.
- W1833770856 hasOpenAccess W1833770856 @default.
- W1833770856 hasPrimaryLocation W18337708561 @default.
- W1833770856 hasRelatedWork W1019099444 @default.
- W1833770856 hasRelatedWork W14139091 @default.
- W1833770856 hasRelatedWork W1523053673 @default.
- W1833770856 hasRelatedWork W1532290691 @default.
- W1833770856 hasRelatedWork W1852936948 @default.
- W1833770856 hasRelatedWork W1964132161 @default.
- W1833770856 hasRelatedWork W2022605841 @default.
- W1833770856 hasRelatedWork W2040533579 @default.
- W1833770856 hasRelatedWork W2054469422 @default.
- W1833770856 hasRelatedWork W2069112646 @default.
- W1833770856 hasRelatedWork W2080936746 @default.
- W1833770856 hasRelatedWork W2183876485 @default.
- W1833770856 hasRelatedWork W2264762500 @default.
- W1833770856 hasRelatedWork W2488424224 @default.
- W1833770856 hasRelatedWork W2802525317 @default.
- W1833770856 hasRelatedWork W2987903734 @default.
- W1833770856 hasRelatedWork W3187943202 @default.
- W1833770856 hasRelatedWork W3189504062 @default.
- W1833770856 hasRelatedWork W592288952 @default.
- W1833770856 hasRelatedWork W976547571 @default.
- W1833770856 isParatext "false" @default.
- W1833770856 isRetracted "false" @default.
- W1833770856 magId "1833770856" @default.
- W1833770856 workType "article" @default.