Marek W. Zawadowski

Available identifiers

zbMath Open zawadowski.marek-wWikidataQ26250999 ScholiaQ26250999MaRDI QIDQ1319365

List of research outcomes

Publication	Date of Publication	Type
Duality for positive opetopes and positive zoom complexes	2020-12-31	Paper
Whence long-distance indefinite readings? Solving Chierchia's puzzle with dependent types	2020-01-15	Paper
Inverse linking, possessive weak definites and Haddock descriptions: a unified dependent type account	2019-06-26	Paper
Continuation Semantics for Multi-Quantifier Sentences: Operation-Based Approaches	2019-05-24	Paper
co-Semi-analytic Functors	2019-05-24	Paper
Positive Opetopes with Contractions form a Test Category	2017-12-16	Paper
Theories of analytic monads	2016-07-26	Paper
Rigidity is undecidable	2016-07-26	Paper
Scope ambiguities, monads and strengths	2016-05-12	Paper
Monads of regular theories	2015-06-19	Paper
Polynomial and Analytic Functors and Monads, revisited	2015-06-13	Paper
Generalized Płonka sums and products	2015-02-05	Paper
Generalized Quantifiers on Dependent Types: A System for Anaphora	2014-01-31	Paper
The web monoid and opetopic sets	2013-06-24	Paper
Weights for Monoids and Actions of Monoids	2013-06-13	Paper
The formal theory of monoidal monads	2012-10-16	Paper
Lax Monoidal Fibrations	2011-10-19	Paper
The Partial Simplicial Category and Algebras for Monads	2010-12-30	Paper
Computads and Multitopic Sets	2008-11-20	Paper
The category of 3-computads is not cartesian closed	2008-09-04	Paper
Multitopes are the same as principal ordered face structures	2007-10-28	Paper
On positive opetopes, positive opetopic cardinals and positive opetopic set	2007-08-20	Paper
On ordered face structures and many-to-one computads	2007-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q4430400	2003-10-09	Paper
Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics	2003-09-08	Paper
https://portal.mardi4nfdi.de/entity/Q2709207	2001-04-18	Paper
https://portal.mardi4nfdi.de/entity/Q4395578	1999-02-22	Paper
Model completions and r-Heyting categories	1998-05-11	Paper
https://portal.mardi4nfdi.de/entity/Q4853372	1996-08-18	Paper
A sheaf representation and duality for finitely presented Heyting algebras	1996-05-13	Paper
Undefinability of propositional quantifiers in the modal system S4	1996-02-07	Paper
Descent and duality	1995-02-28	Paper
Formal systems for modal operators on locales	1994-04-12	Paper
https://portal.mardi4nfdi.de/entity/Q4018073	1993-01-16	Paper
The Skolem-Löwenheim theorem in toposes. II	1985-01-01	Paper
Sheaves over Heyting lattices	1985-01-01	Paper
The Skolem-Löwenheim theorem in toposes	1983-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Marek W. Zawadowski