The following pages link to Marek W. Zawadowski (Q1319365):
Displaying 28 items.
- (Q456866) (redirect page) (← links)
- The formal theory of monoidal monads (Q456867) (← links)
- The category of 3-computads is not cartesian closed (Q942212) (← links)
- The Skolem-Löwenheim theorem in toposes. II (Q1068081) (← links)
- Sheaves over Heyting lattices (Q1076015) (← links)
- Formal systems for modal operators on locales (Q1319366) (← links)
- Descent and duality (Q1345009) (← links)
- Model completions and r-Heyting categories (Q1372155) (← links)
- Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics (Q1405891) (← links)
- Undefinability of propositional quantifiers in the modal system S4 (Q1902553) (← links)
- Generalized Płonka sums and products (Q2254602) (← links)
- The Skolem-Löwenheim theorem in toposes (Q2266009) (← links)
- Whence long-distance indefinite readings? Solving Chierchia's puzzle with dependent types (Q2284488) (← links)
- Monads of regular theories (Q2350311) (← links)
- The web monoid and opetopic sets (Q2376562) (← links)
- Inverse linking, possessive weak definites and Haddock descriptions: a unified dependent type account (Q2425324) (← links)
- (Q2709207) (← links)
- Lax Monoidal Fibrations (Q3093874) (← links)
- (Q4018073) (← links)
- (Q4395578) (← links)
- (Q4430400) (← links)
- (Q4853372) (← links)
- A sheaf representation and duality for finitely presented Heyting algebras (Q4858826) (← links)
- Continuation Semantics for Multi-Quantifier Sentences: Operation-Based Approaches (Q5377338) (← links)
- co-Semi-analytic Functors (Q5377340) (← links)
- Theories of analytic monads (Q5740404) (← links)
- Rigidity is undecidable (Q5740405) (← links)
- Duality for positive opetopes and positive zoom complexes (Q6357352) (← links)
