Andrea Cantini

Available identifiers

zbMath Open cantini.andreaMaRDI QIDQ588330

List of research outcomes

Publication	Date of Publication	Type
A fixed point theory over stratified truth	2023-09-12	Paper
Reflecting and unfolding	2022-10-28	Paper
Truth and the philosophy of mathematics	2022-10-09	Paper
About Truth and Types	2020-08-07	Paper
Feferman and the Truth	2020-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q4981442	2014-06-24	Paper
Extending constructive operational set theory by impredicative principles	2011-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q3081642	2011-03-09	Paper
On Formal Proofs	2010-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q3604277	2009-02-24	Paper
https://portal.mardi4nfdi.de/entity/Q5457300	2008-04-14	Paper
https://portal.mardi4nfdi.de/entity/Q5702663	2005-11-02	Paper
Remarks on applicative theories	2005-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q4663841	2005-04-04	Paper
The axiom of choice and combinatory logic	2005-02-09	Paper
Polytime, combinatory logic and positive safe induction	2003-09-16	Paper
The undecidability of Grišin's set theory	2003-08-28	Paper
https://portal.mardi4nfdi.de/entity/Q4793034	2003-02-18	Paper
Feasible Operations and Applicative Theories Based on λη	2001-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4395609	2000-09-20	Paper
Relating Quine's NF to Feferman's EM	1999-10-18	Paper
Uniform inseparability in explicit mathematics	1999-06-29	Paper
Asymmetric Interpretations for Bounded Theories	1996-11-04	Paper
Logical frameworks for truth and abstraction. An axiomatic study	1996-08-22	Paper
Levels of truth	1995-12-11	Paper
LEVELS OF IMPLICATION AND TYPE FREE THEORIES OF CLASSIFICATIONS WITH APPROXIMATION OPERATOR	1994-08-21	Paper
Extending the first-order theory of combinators with self-referential truth	1993-10-24	Paper
A logic of abstraction related to finite constructive number classes	1991-01-01	Paper
A theory of formal truth arithmetically equivalent to ID1	1990-01-01	Paper
Notes on Formal Theories of Truth	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5202637	1988-01-01	Paper
Two Impredicative Theories of Properties and Sets	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3764134	1987-01-01	Paper
On the relation between choice and comprehension principles in second order arithmetic	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3705449	1985-01-01	Paper
Majorizing provably recursive functions in fragments of PA	1985-01-01	Paper
On Weak Theories of Sets and Classes which are Based on Strict ∏‐REFLECTION	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3748276	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3222839	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3342568	1982-01-01	Paper
A note on three-valued logic and Tarski theorem on truth definitions	1980-01-01	Paper
On non-archimedean Structures of D. KLAUA	1979-01-01	Paper

Research outcomes over time

This page was built for person: Andrea Cantini