:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Bice, Tristan
Format:	Preprint
Published:	2025
Subjects:	Logic 03B38, 03B40, 03C55, 03E30, 68V20
Online Access:	https://arxiv.org/abs/2507.04071
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Remarks on Primitive Regulation
by: Rosko, Milan
Published: (2026)

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
by: Farmer, William M., et al.
Published: (2023)

Weak compactness cardinals for strong logics and subtlety properties of the class of ordinals
by: Lücke, Philipp
Published: (2024)

A minimalist two-level foundation for constructive mathematics
by: Maietti, Maria Emilia
Published: (2008)

A new decision method for Intuitionistic Logic by 3-valued non-deterministic truth-tables (pre-print version)
by: Leme, Renato, et al.
Published: (2023)

A vector logic for extensional formal semantics
by: Quigley, Daniel
Published: (2024)

Biased elementary doctrines and quotient completions
by: Cioffo, Cipriano Junior
Published: (2023)

A 2-categorical approach to the semantics of dependent type theory with computation axioms
by: Spadetto, Matteo
Published: (2025)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
by: Lyon, Tim S.
Published: (2025)

A complicated family of trees with omega + 1 levels
by: Shelah, Saharon
Published: (2014)

A note on Łoś's Theorem without the Axiom of Choice
by: Usuba, Toshimichi
Published: (2023)

Herbrandized modified realizability
by: Ferreira, Gilda, et al.
Published: (2024)

NF is Consistent
by: Holmes, M. Randall, et al.
Published: (2015)

The Galvin-Prikry Theorem in the Weihrauch lattice
by: Marcone, Alberto, et al.
Published: (2024)

Librationism & its classical and extraclassical set theories
by: Bjørdal, Frode A.
Published: (2022)

Esakia's theorem for the amended monadic intuitionistic calculus
by: Bezhanishvili, Guram, et al.
Published: (2025)

Failure of Esakia's theorem in the monadic setting
by: Bezhanishvili, Guram, et al.
Published: (2024)

Force a set model of $Z_3$ + Harrington's Principle
by: Cheng, Yong
Published: (2014)

Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal
by: Hamkins, Joel David, et al.
Published: (2022)

More on expressibility of satisfiability in submodels and extensions
by: Poliakov, Nikolai L., et al.
Published: (2026)

An Alternative Approach to Formal Mathematics that Focuses on Communication and Accessibility
by: Farmer, William M.
Published: (2026)

On a cofinal Reinhardt embedding without Powerset
by: Jeon, Hanul
Published: (2024)

Varsovian models II
by: Sargsyan, Grigor, et al.
Published: (2021)

Generically extendible cardinals
by: Usuba, Toshimichi
Published: (2022)

Local mantles of $L[x]$
by: Schlutzenberg, Farmer
Published: (2021)

Aronszajn trees and maximality
by: Ben-Neria, Omer, et al.
Published: (2023)

The biequivalence of path categories and axiomatic Martin-Löf type theories
by: Otten, Daniël, et al.
Published: (2025)

A New Overture to Classical Simple Type Theory, Ketonen-type Gentzen and Tableau Systems
by: Miwa, Tadayoshi, et al.
Published: (2026)

On a Conjecture Regarding the Mouse Order for Weasels
by: Kruschewski, Jan, et al.
Published: (2022)

Logical reduction of relations: from relational databases to Peirce's reduction thesis
by: Koshkin, Sergiy
Published: (2024)

Homogeneity of the Lévy collapse from the perspective of Fraïssé theory
by: Kostana, Ziemowit
Published: (2026)

Model theory of class-sized logics
by: Osinski, Jonathan, et al.
Published: (2026)

The tree pigeonhole principle in the Weihrauch degrees
by: Dzhafarov, Damir, et al.
Published: (2023)

Random expansions of trees with bounded height
by: Koponen, Vera, et al.
Published: (2024)

Foundational Analysis Of The Solvability Complexity Index: The Weihrauch-SCI Intermediate Hierarchy
by: Sorg, Christopher
Published: (2026)

Broad Infinity and Generation Principles
by: Levy, Paul Blain
Published: (2021)

Non-Standard Models of Homotopy Type Theory
by: Rasekh, Nima
Published: (2025)

A vector logic for intensional formal semantics
by: Quigley, Daniel
Published: (2026)

No universal group in a cardinal
by: Shelah, Saharon
Published: (2013)

Formally Verifying a Transformation from MLTL Formulas to Regular Expressions
by: Wang, Zili, et al.
Published: (2025)