Person:391144

Available identifiers

zbMath Open cordon-franco.andresDBLP16/3135WikidataQ62577629 ScholiaQ62577629MaRDI QIDQ391144

List of research outcomes

Publication	Date of Publication	Type
Semi-honest subrecursive degrees and the collection rule in arithmetic	2024-01-18	Paper
Lipschitz and Wadge binary games in second order arithmetic	2023-07-26	Paper
PREDICATIVITY THROUGH TRANSFINITE REFLECTION	2017-09-26	Paper
EXISTENTIALLY CLOSED MODELS IN THE FRAMEWORK OF ARITHMETIC	2016-08-19	Paper
A geometric protocol for cryptography with cards	2015-01-23	Paper
Local induction and provably total computable functions	2014-06-06	Paper
On axiom schemes for \(T\)-provably \(\Delta_1\) formulas	2014-05-12	Paper
DYNAMIC CONSEQUENCE AND PUBLIC ANNOUNCEMENT	2014-05-02	Paper
On the Optimality of Conservation Results for Local Reflection in Arithmetic	2014-04-04	Paper
A colouring protocol for the generalized Russian cards problem	2014-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q2869467	2014-01-03	Paper
Local Induction and Provably Total Computable Functions: A Case Study	2012-08-14	Paper
A note on parameter free Π1 -induction and restricted exponentiation	2011-11-07	Paper
https://portal.mardi4nfdi.de/entity/Q3172123	2011-10-05	Paper
Membrane Computing	2009-05-15	Paper
Existentially Closed Models and Conservation Results in Bounded Arithmetic	2009-03-02	Paper
On Rules and Parameter Free Systems in Bounded Arithmetic	2007-11-13	Paper
A note on Σ1-maximal models	2007-10-17	Paper
Envelopes, indicators and conservativeness	2006-03-24	Paper
Membrane Computing	2005-09-14	Paper
Membrane Computing	2005-09-14	Paper
Computer Science Logic	2005-08-22	Paper
Fragments of Arithmetic and true sentences	2005-06-01	Paper
A Prolog simulator for deterministic P systems with active membranes	2005-02-11	Paper
On the quantifier complexity of \(\Delta_{n+1}(T)\)-induction	2004-12-16	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: Andrés Cordón-Franco