Buchumschlag

Interpretations of ZF

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Jockwich, Santiago, Tarafder, Sourav, Venturi, Giorgio
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Implications of Ramsey Choice principles in ZF$\mathsf {ZF}$
von: Lorenz Halbeisen, et al.
Veröffentlicht: (2024)

Inconsistency of Reinhardt cardinals with $\mathsf{ZF}$
von: McCallum, Rupert
Veröffentlicht: (2026)

Cardinalities of Ultraproducts of Finite Sets in ZF + DC
von: Kowalczyk, Jacob
Veröffentlicht: (2025)

Relative consistency of Set Matrix Theory with ZF
von: Cabbolet, Marcoen J. T. F.
Veröffentlicht: (2024)

Editorial correction for L. Halbeisen, R. Plati, and Saharon Shelah, “Implications of Ramsey Choice principles in ZF$\mathsf {ZF}$”, https://doi.org/10.1002/malq.202300024
Veröffentlicht: (2024)

A generalized Cantor theorem in ZF
von: Peng, Yinhe, et al.
Veröffentlicht: (2021)

Symmetric Iterations with Countable and $<κ$-Support: A Framework for Choiceless ZF Extensions
von: Gilson, Frank
Veröffentlicht: (2025)

On ultrafilters in ZF models and indecomposable ultrafilters
von: Bilinsky, Eilon, et al.
Veröffentlicht: (2024)

From Internal to External: Classical Models of ZF + PP + $\neg$AC
von: Gilson, Frank
Veröffentlicht: (2025)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
von: Bacci, Giorgio, et al.
Veröffentlicht: (2025)

Consistent Update Synthesis via Privatized Beliefs
von: Schlögl, Thomas, et al.
Veröffentlicht: (2024)

Reverse mathematics of regular countable second countable spaces
von: Genovesi, Giorgio G.
Veröffentlicht: (2024)

What model companionship can say about the Continuum problem
von: Venturi, Giorgio, et al.
Veröffentlicht: (2022)

Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting
von: Lichter, Moritz
Veröffentlicht: (2022)

Feferman Interpretability
von: Joosten, Joost J., et al.
Veröffentlicht: (2024)

On the consistency of ZF with an elementary embedding from $V_{λ+2}$ into $V_{λ+2}$
von: Schlutzenberg, Farmer
Veröffentlicht: (2020)

Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
von: Takahashi, Yuta
Veröffentlicht: (2024)

From Actions to Obligations: A Deontic Action Model Logic
von: Cignarale, Giorgio
Veröffentlicht: (2026)

Tree Rewriting Calculi for Strictly Positive Logics
von: Santiago-Fernández, Sofía, et al.
Veröffentlicht: (2025)

The Complexity of the Constructive Master Modality
von: Santiago-Fernández, Sofía, et al.
Veröffentlicht: (2026)

Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification
von: Bacci, Giorgio, et al.
Veröffentlicht: (2025)

The Logical Embedding of Universal Frame Logic: A Sequent Calculus and Classical Interpretation
von: Kevin Fathi
Veröffentlicht: (2025)

Assessing the Quality of Binomial Samplers: A Statistical Distance Framework
von: Sarkar, Uddalok, et al.
Veröffentlicht: (2025)

A Dynamic Deontic Simplicial Logic for Joint Commitments
von: Cignarale, Giorgio, et al.
Veröffentlicht: (2026)

The TPTP Format for Interpretations
von: Sutcliffe, Geoff, et al.
Veröffentlicht: (2024)

Strongly minimal group relics of algebraically closed valued fields
von: Onshuus, Alf, et al.
Veröffentlicht: (2024)

The Boolean Compactness Theorem for $\mathrm{L}_{\infty\infty}$
von: Suárez, Juan M Santiago, et al.
Veröffentlicht: (2025)

Theory of Interpretations I. Foundations
von: Daniyarova, Evelina, et al.
Veröffentlicht: (2025)

Parametric Iteration in Resource Theories
von: Di Giorgio, Alessandro, et al.
Veröffentlicht: (2025)

A tree rewriting system for the Reflection Calculus
von: Santiago-Fernández, Sofía, et al.
Veröffentlicht: (2024)

Polynomial Lawvere Logic
von: Bacci, Giorgio, et al.
Veröffentlicht: (2024)

A Diagrammatic Algebra for Program Logics
von: Bonchi, Filippo, et al.
Veröffentlicht: (2024)

Sum and Tensor of Quantitative Effects
von: Bacci, Giorgio, et al.
Veröffentlicht: (2022)

Propositional Logics for the Lawvere Quantale
von: Bacci, Giorgio, et al.
Veröffentlicht: (2023)

A Diagrammatic Basis for Computer Programming
von: Bonchi, Filippo, et al.
Veröffentlicht: (2025)

Accelerating Protocol Synthesis and Detecting Unrealizability with Interpretation Reduction
von: Egolf, Derek, et al.
Veröffentlicht: (2025)

The calculus of neo-Peircean relations
von: Bonchi, Filippo, et al.
Veröffentlicht: (2025)

The Uniform Functional Interpretation with Informative Types
von: Ferreira, Fernando, et al.
Veröffentlicht: (2025)

Model Checking as Program Verification by Abstract Interpretation (Extended Version)
von: Baldan, Paolo, et al.
Veröffentlicht: (2025)

Decidability of Interpretability
von: Feller, Roman, et al.
Veröffentlicht: (2026)