Decidability of All Minimal Models (Revised Version - 2012)

This unpublished note is an alternate, shorter (and hopefully more readable) proof of the decidability of all minimal models. The decidability follows from a proof of the existence of a cellular term in each observational equivalence class of a minimal model.

Data and Resources

Additional Info

Field Value
Source https://hal.science/hal-00741219
Author Padovani, Vincent
Maintainer CCSD
Last Updated October 31, 2026, 03:35 (UTC)
Created October 31, 2026, 03:35 (UTC)
Identifier hal-00741219
Language en
Rights https://about.hal.science/hal-authorisation-v1/
contributor Preuves, Programmes et Systèmes (PPS) ; Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)
creator Padovani, Vincent
date 2012-10-31T00:00:00
harvest_object_id 4305dd4a-240e-42e1-84e7-be732da54073
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2023-03-24T00:00:00
relation info:eu-repo/semantics/altIdentifier/arxiv/1210.3599
set_spec type:UNDEFINED