Matches in SemOpenAlex for { <https://semopenalex.org/work/W1512478964> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W1512478964 abstract "Sheaf theory and the continuum hypothesis.- Classifying topos.- Deductive systems and categories III. Cartesian closed categories, intuitionist propositional calculus, and combinatory logic.- The formalization of Bishop's constructive mathematics.- Continuous lattices.- Some applications of the formalism of duality in algebraic geometry.- Cotangent complex and deformations of torsors and group schemes." @default.
- W1512478964 created "2016-06-24" @default.
- W1512478964 creator A5014511250 @default.
- W1512478964 creator A5022592071 @default.
- W1512478964 date "1972-01-01" @default.
- W1512478964 modified "2023-10-13" @default.
- W1512478964 title "Toposes, Algebraic Geometry and Logic" @default.
- W1512478964 doi "https://doi.org/10.1007/bfb0073961" @default.
- W1512478964 hasPublicationYear "1972" @default.
- W1512478964 type Work @default.
- W1512478964 sameAs 1512478964 @default.
- W1512478964 citedByCount "31" @default.
- W1512478964 countsByYear W15124789642012 @default.
- W1512478964 countsByYear W15124789642013 @default.
- W1512478964 countsByYear W15124789642014 @default.
- W1512478964 countsByYear W15124789642016 @default.
- W1512478964 countsByYear W15124789642018 @default.
- W1512478964 countsByYear W15124789642019 @default.
- W1512478964 countsByYear W15124789642020 @default.
- W1512478964 crossrefType "book" @default.
- W1512478964 hasAuthorship W1512478964A5014511250 @default.
- W1512478964 hasAuthorship W1512478964A5022592071 @default.
- W1512478964 hasBestOaLocation W15124789642 @default.
- W1512478964 hasConcept C10996884 @default.
- W1512478964 hasConcept C124952713 @default.
- W1512478964 hasConcept C125605345 @default.
- W1512478964 hasConcept C134306372 @default.
- W1512478964 hasConcept C136119220 @default.
- W1512478964 hasConcept C142362112 @default.
- W1512478964 hasConcept C182141236 @default.
- W1512478964 hasConcept C186219872 @default.
- W1512478964 hasConcept C202444582 @default.
- W1512478964 hasConcept C2524010 @default.
- W1512478964 hasConcept C2731732 @default.
- W1512478964 hasConcept C33923547 @default.
- W1512478964 hasConcept C51544822 @default.
- W1512478964 hasConcept C68363185 @default.
- W1512478964 hasConcept C69653121 @default.
- W1512478964 hasConcept C78045399 @default.
- W1512478964 hasConcept C9376300 @default.
- W1512478964 hasConceptScore W1512478964C10996884 @default.
- W1512478964 hasConceptScore W1512478964C124952713 @default.
- W1512478964 hasConceptScore W1512478964C125605345 @default.
- W1512478964 hasConceptScore W1512478964C134306372 @default.
- W1512478964 hasConceptScore W1512478964C136119220 @default.
- W1512478964 hasConceptScore W1512478964C142362112 @default.
- W1512478964 hasConceptScore W1512478964C182141236 @default.
- W1512478964 hasConceptScore W1512478964C186219872 @default.
- W1512478964 hasConceptScore W1512478964C202444582 @default.
- W1512478964 hasConceptScore W1512478964C2524010 @default.
- W1512478964 hasConceptScore W1512478964C2731732 @default.
- W1512478964 hasConceptScore W1512478964C33923547 @default.
- W1512478964 hasConceptScore W1512478964C51544822 @default.
- W1512478964 hasConceptScore W1512478964C68363185 @default.
- W1512478964 hasConceptScore W1512478964C69653121 @default.
- W1512478964 hasConceptScore W1512478964C78045399 @default.
- W1512478964 hasConceptScore W1512478964C9376300 @default.
- W1512478964 hasLocation W15124789641 @default.
- W1512478964 hasLocation W15124789642 @default.
- W1512478964 hasOpenAccess W1512478964 @default.
- W1512478964 hasPrimaryLocation W15124789641 @default.
- W1512478964 hasRelatedWork W1533474758 @default.
- W1512478964 hasRelatedWork W1549506693 @default.
- W1512478964 hasRelatedWork W1576789592 @default.
- W1512478964 hasRelatedWork W1594305746 @default.
- W1512478964 hasRelatedWork W2176316837 @default.
- W1512478964 hasRelatedWork W2206052717 @default.
- W1512478964 hasRelatedWork W2596250091 @default.
- W1512478964 hasRelatedWork W2963945534 @default.
- W1512478964 hasRelatedWork W606679338 @default.
- W1512478964 hasRelatedWork W619496859 @default.
- W1512478964 isParatext "false" @default.
- W1512478964 isRetracted "false" @default.
- W1512478964 magId "1512478964" @default.
- W1512478964 workType "book" @default.