Matches in SemOpenAlex for { <https://semopenalex.org/work/W337130661> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W337130661 abstract "This note is a remark on Kock's work on linear algebra in the Zariski topos [2] . We point out that his main result implies a version of Cramer's rule for the generic local A-algebra in the Zariski topos Z/Spec(A) . A constructive version of the Jacobian criterion for unramified morphisms of [4] is obtained as a consequence. Furthermore, we prove a Jacobian criterion for 1-etale morphisms (introduced in [3] in the more general context of formal differential geometry). We assume some familiarity with the Kripke-Joyal semantics (cf. [2,6] )." @default.
- W337130661 created "2016-06-24" @default.
- W337130661 creator A5043352420 @default.
- W337130661 date "1979-01-01" @default.
- W337130661 modified "2023-10-16" @default.
- W337130661 title "Cramer's rule in the Zariski topos" @default.
- W337130661 cites W1525306800 @default.
- W337130661 cites W2033961179 @default.
- W337130661 cites W8416568 @default.
- W337130661 doi "https://doi.org/10.1007/bfb0061835" @default.
- W337130661 hasPublicationYear "1979" @default.
- W337130661 type Work @default.
- W337130661 sameAs 337130661 @default.
- W337130661 citedByCount "4" @default.
- W337130661 crossrefType "book-chapter" @default.
- W337130661 hasAuthorship W337130661A5043352420 @default.
- W337130661 hasConcept C111919701 @default.
- W337130661 hasConcept C124952713 @default.
- W337130661 hasConcept C136119220 @default.
- W337130661 hasConcept C137212723 @default.
- W337130661 hasConcept C142362112 @default.
- W337130661 hasConcept C151730666 @default.
- W337130661 hasConcept C160131679 @default.
- W337130661 hasConcept C182141236 @default.
- W337130661 hasConcept C185592680 @default.
- W337130661 hasConcept C188027245 @default.
- W337130661 hasConcept C200331156 @default.
- W337130661 hasConcept C202444582 @default.
- W337130661 hasConcept C27508121 @default.
- W337130661 hasConcept C2778701210 @default.
- W337130661 hasConcept C2779343474 @default.
- W337130661 hasConcept C28826006 @default.
- W337130661 hasConcept C33923547 @default.
- W337130661 hasConcept C41008148 @default.
- W337130661 hasConcept C71139939 @default.
- W337130661 hasConcept C86803240 @default.
- W337130661 hasConcept C98045186 @default.
- W337130661 hasConceptScore W337130661C111919701 @default.
- W337130661 hasConceptScore W337130661C124952713 @default.
- W337130661 hasConceptScore W337130661C136119220 @default.
- W337130661 hasConceptScore W337130661C137212723 @default.
- W337130661 hasConceptScore W337130661C142362112 @default.
- W337130661 hasConceptScore W337130661C151730666 @default.
- W337130661 hasConceptScore W337130661C160131679 @default.
- W337130661 hasConceptScore W337130661C182141236 @default.
- W337130661 hasConceptScore W337130661C185592680 @default.
- W337130661 hasConceptScore W337130661C188027245 @default.
- W337130661 hasConceptScore W337130661C200331156 @default.
- W337130661 hasConceptScore W337130661C202444582 @default.
- W337130661 hasConceptScore W337130661C27508121 @default.
- W337130661 hasConceptScore W337130661C2778701210 @default.
- W337130661 hasConceptScore W337130661C2779343474 @default.
- W337130661 hasConceptScore W337130661C28826006 @default.
- W337130661 hasConceptScore W337130661C33923547 @default.
- W337130661 hasConceptScore W337130661C41008148 @default.
- W337130661 hasConceptScore W337130661C71139939 @default.
- W337130661 hasConceptScore W337130661C86803240 @default.
- W337130661 hasConceptScore W337130661C98045186 @default.
- W337130661 hasLocation W3371306611 @default.
- W337130661 hasOpenAccess W337130661 @default.
- W337130661 hasPrimaryLocation W3371306611 @default.
- W337130661 hasRelatedWork W1489593983 @default.
- W337130661 hasRelatedWork W1597355750 @default.
- W337130661 hasRelatedWork W1672925541 @default.
- W337130661 hasRelatedWork W1991460586 @default.
- W337130661 hasRelatedWork W2060340464 @default.
- W337130661 hasRelatedWork W2094872092 @default.
- W337130661 hasRelatedWork W2097138755 @default.
- W337130661 hasRelatedWork W2132845818 @default.
- W337130661 hasRelatedWork W2209848776 @default.
- W337130661 hasRelatedWork W2248214514 @default.
- W337130661 hasRelatedWork W2340162385 @default.
- W337130661 hasRelatedWork W2950551145 @default.
- W337130661 hasRelatedWork W3000432261 @default.
- W337130661 hasRelatedWork W3100592211 @default.
- W337130661 hasRelatedWork W3104848027 @default.
- W337130661 hasRelatedWork W3121955877 @default.
- W337130661 hasRelatedWork W3184718659 @default.
- W337130661 hasRelatedWork W630865918 @default.
- W337130661 hasRelatedWork W93014080 @default.
- W337130661 hasRelatedWork W1969207621 @default.
- W337130661 isParatext "false" @default.
- W337130661 isRetracted "false" @default.
- W337130661 magId "337130661" @default.
- W337130661 workType "book-chapter" @default.