Buchumschlag

Independence Phenomena in Mathematics: a Set Theoretic Perspective on Current Obstacles and Scenarios for Solutions

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Müller, Sandra
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

Gödel's Program in Set Theory
von: Müller, Sandra, et al.
Veröffentlicht: (2024)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
von: Kihara, Takayuki
Veröffentlicht: (2024)

Independence and Induction in Reverse Mathematics
von: Belanger, David, et al.
Veröffentlicht: (2024)

Set-Theoretic Hypodoxes and co-Russell's Paradox
von: Šujan, Timotej
Veröffentlicht: (2024)

Ramsey Property and Pathological Sets: Almost Disjointness, Independence and Other Maximal Objects
von: He, Jialiang, et al.
Veröffentlicht: (2026)

Towards a generic absoluteness theorem for Chang models
von: Müller, Sandra, et al.
Veröffentlicht: (2023)

Breaking Symmetries from a Set-Covering Perspective
von: Codish, Michael, et al.
Veröffentlicht: (2025)

A Category-Theoretic Perspective on Approximation Fixpoint Theory
von: Pollaci, Samuele
Veröffentlicht: (2025)

Outward compactness
von: Holy, Peter, et al.
Veröffentlicht: (2024)

The $λ$-PSP at $λ$-coanalytic sets
von: Barrera, Fernando, et al.
Veröffentlicht: (2025)

Chang models over derived models with supercompact measures
von: Gappo, Takehiko, et al.
Veröffentlicht: (2023)

Dependence Logics in Temporal Settings
von: Baltag, Alexandru, et al.
Veröffentlicht: (2022)

Equivalence and Conditional Independence in Atomic Sheaf Logic
von: Simpson, Alex
Veröffentlicht: (2024)

Proof-Theoretic Functional Completeness for the Connexive Logic C
von: Ayhan, Sara, et al.
Veröffentlicht: (2025)

A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory
von: Pollaci, Samuele, et al.
Veröffentlicht: (2024)

Meta-Mathematics of Computational Complexity Theory
von: Oliveira, Igor C.
Veröffentlicht: (2025)

On the Category-Theoretic Independence of Meaning, Object, Name and Existence
von: Inoué, Takao
Veröffentlicht: (2026)

Categorical Proof-Theoretic Semantics
von: Pym, David, et al.
Veröffentlicht: (2023)

Arithmetical Complexity and Absoluteness of Rigidity Phenomena for Ulam Sequences
von: Gilson, Frank
Veröffentlicht: (2025)

Characterizing Sets of Theories That Can Be Disjointly Combined
von: Przybocki, Benjamin, et al.
Veröffentlicht: (2025)

Independence relations in the Solovay model I
von: Zapletal, Jindrich
Veröffentlicht: (2025)

The Reverse Mathematics of Analytic Measurability
von: Aguilera, Juan P., et al.
Veröffentlicht: (2026)

Axiomatic Theory of Independence Relations in Model Theory
von: d'Elbée, Christian
Veröffentlicht: (2023)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
von: Gratzer, Daniel, et al.
Veröffentlicht: (2024)

On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
von: Lyon, Tim S.
Veröffentlicht: (2024)

Goodstein at the Second Threshold: An Independence Result for $ID_2$
von: Gjetaj, Oriola, et al.
Veröffentlicht: (2026)

The Complexity of the Set of Validities of a Theory
von: Hirschfeldt, Denis R., et al.
Veröffentlicht: (2025)

Logic of Sets with Atoms
von: Masters, Jake
Veröffentlicht: (2025)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
von: Lyon, Tim S., et al.
Veröffentlicht: (2024)

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

AC and the Independence of the Law of Trichotomy in Second-Order Henkin Logic
von: Gaßner, Christine
Veröffentlicht: (2024)

A Domain-Theoretic Foundation for Imprecise Probability and Credal Sets
von: Edalat, Abbas, et al.
Veröffentlicht: (2026)

On the Compatibility of Constructive Predicative Mathematics with Weyl's Classical Predicativity
von: Contente, Michele, et al.
Veröffentlicht: (2024)

Free Independence is not definable
von: Boulanger, William, et al.
Veröffentlicht: (2025)

AC and the Independence of WO in Second-Order Henkin Logic, Part II
von: Gaßner, Christine
Veröffentlicht: (2024)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
von: Xu, Yang, et al.
Veröffentlicht: (2025)

Reduction Complexities in Set Theory
von: Carl, Merlin
Veröffentlicht: (2025)

Isomorphism Classes of Generating Sets
von: Benhamou, Tom, et al.
Veröffentlicht: (2025)

Enumerating Independent Linear Inferences
von: Das, Anupam, et al.
Veröffentlicht: (2021)

Mathematical Informatics: Algorithms
von: Seiller, Thomas
Veröffentlicht: (2026)