Login / Signup
Stephen Mackereth
ORCID
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 2
Top Topics
Bargaining Solution
Constraint Databases
Free Energy
Floating Point
Top Venues
J. Philos. Log.
Rev. Symb. Log.
</>
Publications
</>
Stephen Mackereth
,
Jeremy Avigad
Two-Sorted Frege Arithmetic is not conservative.
Rev. Symb. Log.
16 (4) (2023)
Stephen Mackereth
Fixed-Point Posets in Theories of Truth.
J. Philos. Log.
48 (1) (2019)