Similar Items: Theories of real addition with and without a predicate for integers
- Affine Extensions of Integer Vector Addition Systems with States
- Predicative theories of continuous lattices
- Model Theory and Proof Theory of Coalgebraic Predicate Logic
- On Irrelevance and Algorithmic Equality in Predicative Type Theory
- Sharing proofs with predicative theories through universe-polymorphic elaboration
- Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory