Exportar referência
APA
Bruno Dinis, Mário J. Edmundo, (2025). On definable Skolem functions and trichotomy. Annals of Pure and Applied Logic, 176, ISSN 0168-0072. eISSN . https://doi.org/10.1016/j.apal.2025.103632
IEEE
Bruno Dinis, Mário J. Edmundo, "On definable Skolem functions and trichotomy" in Annals of Pure and Applied Logic, vol. 176, 2025.
10.1016/j.apal.2025.103632
BIBTEX
@article{66067,
author = {Bruno Dinis and Mário J. Edmundo},
title = {On definable Skolem functions and trichotomy},
journal = {Annals of Pure and Applied Logic},
year = 2025,
volume = 176
}