View in EDS HTML Full Text PDF Full Text

INFINITARY LOGIC HAS NO EXPRESSIVE EFFICIENCY OVER FINITARY LOGIC.

Saved in:
Bibliographic Details
Title: INFINITARY LOGIC HAS NO EXPRESSIVE EFFICIENCY OVER FINITARY LOGIC.
Authors: HARRISON-TRAINOR, MATTHEW1 (AUTHOR) matthhar@umich.edu, KRETSCHMER, MILES2 (AUTHOR) miles_j_kretschmer@berkeley.edu
Source: Journal of Symbolic Logic. Dec2024, Vol. 89 Issue 4, p1817-1834. 18p.
Database: Mathematics Source
Full text is not displayed to guests.
Description
ISSN:00224812
DOI:10.1017/jsl.2023.19