Matches in SemOpenAlex for { <https://semopenalex.org/work/W4297486959> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W4297486959 abstract "We develop the theory of partial satisfaction relations for structures that may be proper classes and define a satisfaction predicate appropriate to such structures. We indicate the utility of this theory as a framework for the development of the metatheory of first-order predicate logic and set theory, and we use it to prove that for any recursively enumerable extension T of ZF (Zermelo-Fraenkel set theory) there is a finitely axiomatizable extension T' of GB (von Neumann-Bernays-Godel class theory) that is a conservative extension of T. We also prove a conservative extension result that justifies the use of this predicate to characterize ground models for forcing constructions." @default.
- W4297486959 created "2022-09-29" @default.
- W4297486959 creator A5074941427 @default.
- W4297486959 date "2012-01-26" @default.
- W4297486959 modified "2023-09-23" @default.
- W4297486959 title "Satisfaction relations for proper classes: Applications in logic and set theory" @default.
- W4297486959 doi "https://doi.org/10.48550/arxiv.1201.5509" @default.
- W4297486959 hasPublicationYear "2012" @default.
- W4297486959 type Work @default.
- W4297486959 citedByCount "0" @default.
- W4297486959 crossrefType "posted-content" @default.
- W4297486959 hasAuthorship W4297486959A5074941427 @default.
- W4297486959 hasBestOaLocation W42974869591 @default.
- W4297486959 hasConcept C100481476 @default.
- W4297486959 hasConcept C102993220 @default.
- W4297486959 hasConcept C110039528 @default.
- W4297486959 hasConcept C118615104 @default.
- W4297486959 hasConcept C140146324 @default.
- W4297486959 hasConcept C153046414 @default.
- W4297486959 hasConcept C177264268 @default.
- W4297486959 hasConcept C199360897 @default.
- W4297486959 hasConcept C203659156 @default.
- W4297486959 hasConcept C203702658 @default.
- W4297486959 hasConcept C2778029271 @default.
- W4297486959 hasConcept C2780432614 @default.
- W4297486959 hasConcept C33923547 @default.
- W4297486959 hasConcept C39387531 @default.
- W4297486959 hasConcept C41008148 @default.
- W4297486959 hasConcept C47030870 @default.
- W4297486959 hasConcept C73314972 @default.
- W4297486959 hasConcept C80444323 @default.
- W4297486959 hasConceptScore W4297486959C100481476 @default.
- W4297486959 hasConceptScore W4297486959C102993220 @default.
- W4297486959 hasConceptScore W4297486959C110039528 @default.
- W4297486959 hasConceptScore W4297486959C118615104 @default.
- W4297486959 hasConceptScore W4297486959C140146324 @default.
- W4297486959 hasConceptScore W4297486959C153046414 @default.
- W4297486959 hasConceptScore W4297486959C177264268 @default.
- W4297486959 hasConceptScore W4297486959C199360897 @default.
- W4297486959 hasConceptScore W4297486959C203659156 @default.
- W4297486959 hasConceptScore W4297486959C203702658 @default.
- W4297486959 hasConceptScore W4297486959C2778029271 @default.
- W4297486959 hasConceptScore W4297486959C2780432614 @default.
- W4297486959 hasConceptScore W4297486959C33923547 @default.
- W4297486959 hasConceptScore W4297486959C39387531 @default.
- W4297486959 hasConceptScore W4297486959C41008148 @default.
- W4297486959 hasConceptScore W4297486959C47030870 @default.
- W4297486959 hasConceptScore W4297486959C73314972 @default.
- W4297486959 hasConceptScore W4297486959C80444323 @default.
- W4297486959 hasLocation W42974869591 @default.
- W4297486959 hasOpenAccess W4297486959 @default.
- W4297486959 hasPrimaryLocation W42974869591 @default.
- W4297486959 hasRelatedWork W1535724950 @default.
- W4297486959 hasRelatedWork W1990616702 @default.
- W4297486959 hasRelatedWork W2018616641 @default.
- W4297486959 hasRelatedWork W2119636934 @default.
- W4297486959 hasRelatedWork W2296002977 @default.
- W4297486959 hasRelatedWork W2592976559 @default.
- W4297486959 hasRelatedWork W2951850413 @default.
- W4297486959 hasRelatedWork W3007835832 @default.
- W4297486959 hasRelatedWork W4297486959 @default.
- W4297486959 hasRelatedWork W598896446 @default.
- W4297486959 isParatext "false" @default.
- W4297486959 isRetracted "false" @default.
- W4297486959 workType "article" @default.