# Model Theory of Ultrafinitism II: Deconstructing the Term Model (First Draft)

arXiv: https://arxiv.org/abs/2311.17931 · HTML: https://mlsanity.com/paper/2311.17931/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 26 Nov 2023.

## Built on by (most cited first, 1 of 1)

- [Ultraconstructive Model Theory via Bounded Adversarial Finite Structures](https://mlsanity.com/paper/2608.07534/) (2026)

## Abstract (arXiv)

This paper presents a novel possible worlds semantics, designed to elucidate the underpinnings of ultrafinitism. By constructing a careful modification of the well-known Kripke models for inuitionistic logic, we seek to extend our comprehension of the ultra-finite mindset. As it turns out, the passage from standard constructivist mathematics to the ultrafinite is in a sense an operation of deconstruction of familiar mathematical entities, most notably clear when it comes to N.