Logic, sheaves, and factorization systems (Q4276025): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
| (3 intermediate revisions by 3 users not shown) | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.2307/2275101 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2007099131 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Bicategories of spans and relations / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Quasitopoi, logic and Heyting-valued models / rank | |||
Normal rank | |||
| links / mardi / name | links / mardi / name | ||
Latest revision as of 11:31, 22 May 2024
scientific article; zbMATH DE number 488034
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Logic, sheaves, and factorization systems |
scientific article; zbMATH DE number 488034 |
Statements
Logic, sheaves, and factorization systems (English)
0 references
26 June 1994
0 references
categorical logic
0 references
completeness theorems
0 references
logic of categories
0 references
first- order logic
0 references
topoi
0 references
factorization system
0 references
completeness proofs
0 references
axiomatization
0 references
EM-categories
0 references
sheaves
0 references
higher-order logic
0 references
near-topoi
0 references
Lawvere-Tierney topology
0 references
