Andrés Cordón-Franco

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

This page was built for person: Andrés Cordón-Franco