María Manzano

Available identifiers

zbMath Open manzano.mariaWikidataQ6004272 ScholiaQ6004272MaRDI QIDQ484100

List of research outcomes

Publication	Date of Publication	Type
Propositional type theory of indeterminacy	2024-11-25	Paper
Quantifiers and conceptual existence	2024-09-11	Paper
Exorcising the phantom zone	2022-06-13	Paper
https://portal.mardi4nfdi.de/entity/Q5071241	2022-04-20	Paper
Rigid first-order hybrid logic	2020-03-04	Paper
Completeness in equational hybrid propositional type theory	2019-12-11	Paper
Identity, equality, nameability and completeness. Part II	2019-03-21	Paper
Identity, Equality, Nameability and Completeness	2018-07-12	Paper
Visions of Henkin	2017-03-09	Paper
Henkin on Completeness	2015-11-27	Paper
Henkin and Hybrid Logic	2015-11-27	Paper
Leon Henkin	2015-11-27	Paper
April the 19th	2015-11-27	Paper
Completeness: from Gödel to Henkin	2015-03-25	Paper
https://portal.mardi4nfdi.de/entity/Q5173183	2015-02-09	Paper
Completeness in hybrid type theory	2014-12-18	Paper
Diagonalisation and Church's Thesis: Kleene's Homework	2005-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q4224293	1999-01-11	Paper
Alonzo church:his life, his work and some of his miracles	1998-11-15	Paper
https://portal.mardi4nfdi.de/entity/Q4858033	1995-12-11	Paper
https://portal.mardi4nfdi.de/entity/Q3773853	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3722467	1985-01-01	Paper

Research outcomes over time

This page was built for person: María Manzano