Daniel Dzierzgowski

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Finite sets and natural numbers in intuitionistic TT without extensionality Studia Logica	2001-07-16	Paper
Fixed-points of Set-continuous Operators	2000-11-07	Paper
Finite sets and natural numbers in intuitionistic TT Notre Dame Journal of Formal Logic	1997-12-02	Paper
scientific article; zbMATH DE number 826690 (Why is no real title available?)	1996-05-13	Paper
Constants in Kripke Models for Intuitionistic Logic Mathematical Logic Quarterly	1996-05-13	Paper
scientific article; zbMATH DE number 832107 (Why is no real title available?)	1996-02-07	Paper
Models of intuitionistic TT and NF Journal of Symbolic Logic	1995-08-15	Paper
Typical ambiguity and elementary equivalence Mathematical Logic Quarterly	1994-11-24	Paper
Square-central elements in alternative algebras of characteristic 2 Communications in Algebra	1994-11-22	Paper
scientific article; zbMATH DE number 536899 (Why is no real title available?)	1994-09-01	Paper
Intuitionistic typical ambiguity Archive for Mathematical Logic	1991-01-01	Paper
Many-sorted elementary equivalence Notre Dame Journal of Formal Logic	1988-01-01	Paper

Research outcomes over time

This page was built for person: Daniel Dzierzgowski