Copertina

Interpretations of ZF

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Jockwich, Santiago, Tarafder, Sourav, Venturi, Giorgio
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Implications of Ramsey Choice principles in ZF$\mathsf {ZF}$
di: Lorenz Halbeisen, et al.
Pubblicazione: (2024)

Inconsistency of Reinhardt cardinals with $\mathsf{ZF}$
di: McCallum, Rupert
Pubblicazione: (2026)

Cardinalities of Ultraproducts of Finite Sets in ZF + DC
di: Kowalczyk, Jacob
Pubblicazione: (2025)

Relative consistency of Set Matrix Theory with ZF
di: Cabbolet, Marcoen J. T. F.
Pubblicazione: (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
Pubblicazione: (2024)

A generalized Cantor theorem in ZF
di: Peng, Yinhe, et al.
Pubblicazione: (2021)

Symmetric Iterations with Countable and $<κ$-Support: A Framework for Choiceless ZF Extensions
di: Gilson, Frank
Pubblicazione: (2025)

On ultrafilters in ZF models and indecomposable ultrafilters
di: Bilinsky, Eilon, et al.
Pubblicazione: (2024)

From Internal to External: Classical Models of ZF + PP + $\neg$AC
di: Gilson, Frank
Pubblicazione: (2025)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
di: Bacci, Giorgio, et al.
Pubblicazione: (2025)

Consistent Update Synthesis via Privatized Beliefs
di: Schlögl, Thomas, et al.
Pubblicazione: (2024)

Reverse mathematics of regular countable second countable spaces
di: Genovesi, Giorgio G.
Pubblicazione: (2024)

What model companionship can say about the Continuum problem
di: Venturi, Giorgio, et al.
Pubblicazione: (2022)

Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting
di: Lichter, Moritz
Pubblicazione: (2022)

Feferman Interpretability
di: Joosten, Joost J., et al.
Pubblicazione: (2024)

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

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

From Actions to Obligations: A Deontic Action Model Logic
di: Cignarale, Giorgio
Pubblicazione: (2026)

Tree Rewriting Calculi for Strictly Positive Logics
di: Santiago-Fernández, Sofía, et al.
Pubblicazione: (2025)

The Complexity of the Constructive Master Modality
di: Santiago-Fernández, Sofía, et al.
Pubblicazione: (2026)

Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification
di: Bacci, Giorgio, et al.
Pubblicazione: (2025)

The Logical Embedding of Universal Frame Logic: A Sequent Calculus and Classical Interpretation
di: Kevin Fathi
Pubblicazione: (2025)

Assessing the Quality of Binomial Samplers: A Statistical Distance Framework
di: Sarkar, Uddalok, et al.
Pubblicazione: (2025)

A Dynamic Deontic Simplicial Logic for Joint Commitments
di: Cignarale, Giorgio, et al.
Pubblicazione: (2026)

The TPTP Format for Interpretations
di: Sutcliffe, Geoff, et al.
Pubblicazione: (2024)

Strongly minimal group relics of algebraically closed valued fields
di: Onshuus, Alf, et al.
Pubblicazione: (2024)

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

Theory of Interpretations I. Foundations
di: Daniyarova, Evelina, et al.
Pubblicazione: (2025)

Parametric Iteration in Resource Theories
di: Di Giorgio, Alessandro, et al.
Pubblicazione: (2025)

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

Polynomial Lawvere Logic
di: Bacci, Giorgio, et al.
Pubblicazione: (2024)

A Diagrammatic Algebra for Program Logics
di: Bonchi, Filippo, et al.
Pubblicazione: (2024)

Sum and Tensor of Quantitative Effects
di: Bacci, Giorgio, et al.
Pubblicazione: (2022)

Propositional Logics for the Lawvere Quantale
di: Bacci, Giorgio, et al.
Pubblicazione: (2023)

A Diagrammatic Basis for Computer Programming
di: Bonchi, Filippo, et al.
Pubblicazione: (2025)

Accelerating Protocol Synthesis and Detecting Unrealizability with Interpretation Reduction
di: Egolf, Derek, et al.
Pubblicazione: (2025)

The calculus of neo-Peircean relations
di: Bonchi, Filippo, et al.
Pubblicazione: (2025)

The Uniform Functional Interpretation with Informative Types
di: Ferreira, Fernando, et al.
Pubblicazione: (2025)

Model Checking as Program Verification by Abstract Interpretation (Extended Version)
di: Baldan, Paolo, et al.
Pubblicazione: (2025)

Decidability of Interpretability
di: Feller, Roman, et al.
Pubblicazione: (2026)