Daniel Dzierzgowski

Available identifiers

zbMath Open dzierzgowski.danielMaRDI QIDQ757361

List of research outcomes

Publication	Date of Publication	Type
Finite sets and natural numbers in intuitionistic TT without extensionality	2001-07-16	Paper
Fixed-points of Set-continuous Operators	2000-11-07	Paper
Finite sets and natural numbers in intuitionistic TT	1997-12-02	Paper
Constants in Kripke Models for Intuitionistic Logic	1996-05-13	Paper
https://portal.mardi4nfdi.de/entity/Q4858602	1996-05-13	Paper
https://portal.mardi4nfdi.de/entity/Q4861180	1996-02-07	Paper
Models of intuitionistic TT and NF	1995-08-15	Paper
Typical ambiguity and elementary equivalence	1994-11-24	Paper
Square-central elements in alternative algebras of characteristic 2	1994-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q4285925	1994-09-01	Paper
Intuitionistic typical ambiguity	1991-01-01	Paper
Many-sorted elementary equivalence	1988-01-01	Paper

Research outcomes over time

This page was built for person: Daniel Dzierzgowski