Cover Image

Reals in the Matet and Willow Models

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Banerjee, Raiean
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Dimension of Generic Reals
by: Miao, Yiping
Published: (2026)

Maximal independent sets, variants of chain/antichain principle and cofinal subsets without AC
by: Banerjee, Amitayu
Published: (2020)

Speedups for Presburger Arithmetic and Real Closed Fields
by: Pakhomov, Fedor, et al.
Published: (2026)

Structures Associated with Real Closed Fields and the Axiom of Choice
by: Carl, Merlin
Published: (2014)

Relational Algebraic Approach to the Real Numbers: The Least-Upper-Bound Property
by: Winter, Michael
Published: (2023)

Terminating Hybrid Tableaus for Ordered Models
by: Nishimura, Yuki
Published: (2025)

Prime Factorization in Models of PV$_1$
by: Ježil, Ondřej
Published: (2025)

Modelling of logical systems by means of their fragments
by: Rybakov, Mikhail
Published: (2025)

A Logic of Secrecy on Simplicial Models
by: Wang, Shanxia
Published: (2026)

The Pebble-Relation Comonad in Finite Model Theory
by: Montacute, Yoàv, et al.
Published: (2021)

Embedded Finite Models Beyond Restricted Quantifier Collapse
by: Benedikt, Michael, et al.
Published: (2023)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
by: Grilletti, Gianluca, et al.
Published: (2024)

Alignment complete relational Hoare logics for some and all
by: Nagasamudram, Ramana, et al.
Published: (2023)

A Universe with large Continuum, global $Σ$-Uniformization and a projective Well-Order of its Reals
by: Hoffelner, Stefan
Published: (2025)

Modelling Real-time Systems with Bigraphs
by: Albalwe, Maram, et al.
Published: (2025)

Timed Strategies for Real-Time Rewrite Theories
by: Olarte, Carlos, et al.
Published: (2024)

(Pointed) Univalence in Universe Category Models of Type Theory
by: Kapulkin, Chris, et al.
Published: (2025)

Applications of Quantified Constraint Solving over the Reals -- Bibliography
by: Ratschan, Stefan
Published: (2012)

An Imperative Language for Verified Exact Real-Number Computation
by: Bauer, Andrej, et al.
Published: (2024)

Deciding Predicate Logical Theories of Real-Valued Functions
by: Ratschan, Stefan
Published: (2023)

Nairian Models
by: Blue, Douglas, et al.
Published: (2025)

Provability Models
by: Mojtahedi, Mojtaba, et al.
Published: (2025)

Model Equivalences
by: Benedikt, Michael, et al.
Published: (2024)

Formalizing the Real Numbers in Homotopy Type Theory with Cubical Agda
by: Brough, Jackson
Published: (2026)

Meta-Modelling in Formal Concept Analysis
by: Wang, Yingjian
Published: (2024)

Proceedings of the 7th Workshop on Models for Formal Analysis of Real Systems
by: ter Beek, Maurice H., et al.
Published: (2026)

Continuity in Potential Infinite Models
by: Eberl, Matthias
Published: (2025)

Permutation Models of Second Order
by: Gaßner, Christine
Published: (2024)

SMT and Functional Equation Solving over the Reals: Challenges from the IMO
by: Brown, Chad E., et al.
Published: (2025)

On the Existential Theory of the Reals Enriched with Integer Powers of a Computable Number
by: Gallego-Hernández, Jorge, et al.
Published: (2025)

Exact Real Search: Formalised Optimisation and Regression in Constructive Univalent Mathematics
by: Ambridge, Todd Waugh
Published: (2024)

Verification of Linear Dynamical Systems via O-Minimality of the Real Numbers
by: Karimov, Toghrul
Published: (2024)

Positive Logic: An Introduction for Model Theorists
by: Kamsma, Mark
Published: (2025)

Model Comparison Games for Generalized Quantifiers
by: Kuusisto, Antti, et al.
Published: (2026)

Model theory of term algebras revisited
by: Carolillo, Davide, et al.
Published: (2026)

Model theory of Steiner triple systems
by: Barbina, Silvia, et al.
Published: (2018)

Partial Model Theory -- Ultraproducts and Compactness
by: Carnier, Rodolfo Cunha
Published: (2024)

Measuring the Complexity of Countable Presburger Models
by: Block, Jason
Published: (2026)

On the Intermediate Models of Strongly Compact Prikry Forcing
by: Benhamou, Tom, et al.
Published: (2026)

Models of Bounded Arithmetic and variants of Pigeonhole Principle
by: Narusevych, Mykyta
Published: (2022)