Cover Image

Set-Theoretic Hypodoxes and co-Russell's Paradox

Fuente: arXiv

Saved in:

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

Similar Items

A Naive Encoding of Russell's Paradox in Type Theory
by: Qu, Zhuoyuan
Published: (2025)

A Closer Look at the Russell Paradox
by: Sheridan, Flash
Published: (2021)

Reflections on Russell's antinomy
by: Cattabriga, Paola
Published: (2024)

Independence Phenomena in Mathematics: a Set Theoretic Perspective on Current Obstacles and Scenarios for Solutions
by: Müller, Sandra
Published: (2024)

Theoremizing Yablo's Paradox
by: Karimi, Ahmad, et al.
Published: (2014)

Reasoning Around Paradox with Grounded Deduction
by: Ford, Bryan
Published: (2024)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
by: Kihara, Takayuki
Published: (2024)

Dependence Logics in Temporal Settings
by: Baltag, Alexandru, et al.
Published: (2022)

Proof-Theoretic Functional Completeness for the Connexive Logic C
by: Ayhan, Sara, et al.
Published: (2025)

A logic of co-valuations
by: Malicki, Maciej
Published: (2025)

Categorical Proof-Theoretic Semantics
by: Pym, David, et al.
Published: (2023)

Characterizing Sets of Theories That Can Be Disjointly Combined
by: Przybocki, Benjamin, et al.
Published: (2025)

Bi-intermediate logics of trees and co-trees
by: Bezhanishvili, N., et al.
Published: (2022)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
by: Gratzer, Daniel, et al.
Published: (2024)

Logic of Sets with Atoms
by: Masters, Jake
Published: (2025)

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

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

A Domain-Theoretic Foundation for Imprecise Probability and Credal Sets
by: Edalat, Abbas, et al.
Published: (2026)

Non-contractive logics, Paradoxes, and Multiplicative Quantifiers
by: Nicolai, Carlo, et al.
Published: (2022)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
by: Xu, Yang, et al.
Published: (2025)

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

Reduction Complexities in Set Theory
by: Carl, Merlin
Published: (2025)

Isomorphism Classes of Generating Sets
by: Benhamou, Tom, et al.
Published: (2025)

There are only countably many locally tabular bi-intermediate logics of co-trees
by: Martins, Miguel
Published: (2026)

The Complexity of the Set of Validities of a Theory
by: Hirschfeldt, Denis R., et al.
Published: (2025)

The Provably Total Set-Recursive Functions of KPl
by: Aguilera, Juan Pablo, et al.
Published: (2025)

On $Σ_1$-Definable Closed Unbounded Sets
by: Ben-Neria, Omer, et al.
Published: (2023)

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

Paradoxical decompositions of free F2$F_2$‐sets and the Hahn‐Banach axiom
by: Marianne Morillon
Published: (2024)

Feasibly Constructive Proof of Schwartz-Zippel Lemma and the Complexity of Finding Hitting Sets
by: Atserias, Albert, et al.
Published: (2024)

Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators
by: Indrzejczak, Andrzej
Published: (2024)

A Note on OTM-Realizability and Constructive Set Theories
by: Carl, Merlin
Published: (2019)

Intersection Types via Finite-Set Declarations
by: Kamareddine, Fairouz, et al.
Published: (2024)

Fragility Spectrum: Measuring Resilience in Model-Theoretic Properties under Language Expansions
by: Adilkhan, Nuraly
Published: (2025)

Classical Set Theory: Theory of Sets and Classes
by: Banakh, Taras
Published: (2020)

Comparing Anti-foundation Axioms by Comparing Identity Conditions for Sets
by: Ju, Daheng, et al.
Published: (2024)

Strong Measure Zero Sets on $2^κ$ for $κ$ Inaccessible
by: Chapman, Nick Steven, et al.
Published: (2019)

Mazurkiewicz Sets and Containment of Sierpiński-Zygmund Functions under Rotations
by: Pan, Cheng-Han
Published: (2025)

Agnostic Online Learning and Excellent Sets
by: Malliaris, Maryanthe, et al.
Published: (2021)

Four Paradoxes and a Proof Assistant: Burali-Forti, Diaconescu, Reynolds, and Hurkens in the coq-paradoxes library
by: Alonso, Bernardo
Published: (2026)