Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Francisco Félix Lara-Martín"'
Publikováno v:
Axioms, Vol 13, Iss 5, p 306 (2024)
In the present paper, we address the following general question in the framework of classical first-order logic. Assume that a certain mathematical principle can be formalized in a first-order language by a set E of conditional formulas of the form
Externí odkaz:
https://doaj.org/article/4ad09020e84e457e85a1d9b360cd63de
Publikováno v:
MLQ. 47:503-512
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5ddeba19baa4734a1eb49579c91cf0eb
https://doi.org/10.1002/1521-3870(200111)47:4<503::aid-malq503>3.0.co
https://doi.org/10.1002/1521-3870(200111)47:4<503::aid-malq503>3.0.co
Publikováno v:
J. Symbolic Logic 72, iss. 3 (2007), 1072-1078
Let T be a recursive theory in the language of first order Arithmetic. We prove that if T extends: (a) the scheme of parameter free Δ1-minimization (plus exp). or (b) the scheme of parameter free Π1-induction, then there are no Σ1-maximal models w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4f821f68c5430073f08f0a7779be24ee
http://projecteuclid.org/euclid.jsl/1191333857
http://projecteuclid.org/euclid.jsl/1191333857
