Cover Image

Different Theories of Parts

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Pietruszczak, Andrzej
Format:	Preprint
Published:	2024
Subjects:	Logic 03-03(Primary) F.3.0; F.4.0
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Serial Properties, Selector Proofs, and the Provability of Consistency
by: Artemov, Sergei
Published: (2024)

Non-Compact Proofs
by: Artemov, Sergei
Published: (2025)

Consistency formula is strictly stronger in PA than PA-consistency
by: Artemov, Sergei
Published: (2025)

Algebraic Proof Theory for Infinitary Action Logic
by: Fussner, Wesley, et al.
Published: (2025)

Completions of Restricted Complexity I, Weak Arithmetical Theories
by: Enayat, Ali, et al.
Published: (2025)

A meta-modal logic for bisimulations
by: Burrieza, Alfredo, et al.
Published: (2025)

The Syllogistic with Unity
by: Pratt-Hartmann, Ian
Published: (2011)

Adversarial Barrier in Uniform Class Separation
by: Rosko, Milan
Published: (2025)

On the cartesian product of well-orderings
by: Vialard, Isa
Published: (2022)

Comparing Knowledge: An Analysis of the Relative Epistemic Powers of Groups
by: Alexandru, Baltag, et al.
Published: (2025)

Extensional Independence
by: Kurahashi, Taishi, et al.
Published: (2025)

On a Question of Hamkins'
by: Visser, Albert
Published: (2025)

Forcing as a Local Method of Accessing Small Extensions
by: Lau, Desmond
Published: (2024)

From Numbers to Container Strings
by: Visser, Albert
Published: (2024)

On Rosser theories
by: Cheng, Yong
Published: (2024)

Pour-El's Landscape
by: Kurahashi, Taishi, et al.
Published: (2023)

There are no minimal effectively inseparable theories
by: Cheng, Yong
Published: (2022)

The Fractal Logic of Phi-adic Recursion
by: Rosko, Milan
Published: (2025)

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
by: Vodrazka, Daniel
Published: (2025)

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

Some Unpublished Letters by Gödel and von Neumann in the Fraenkel Archive
by: Mancosu, Paolo, et al.
Published: (2023)

Effective inseparability and some applications in meta-mathematics
by: Cheng, Yong
Published: (2022)

On the relationships between some meta-mathematical properties of arithmetical theories
by: Cheng, Yong
Published: (2023)

The limitless First Incompleteness Theorem
by: Cheng, Yong
Published: (2021)

On the hierarchy of natural theories
by: Walsh, James
Published: (2021)

The calculus of names -- The legacy of Jan Łukasiewicz
by: Pietruszczak, Andrzej
Published: (2023)

Gödel coding on fibrations and geminal categories
by: Ikeda, Yuto
Published: (2026)

A Theory for Probabilistic Polynomial-Time Reasoning
by: Chen, Lijie, et al.
Published: (2026)

Loops, Inverse Limits and Non-Determinism
by: Brattka, Vasco
Published: (2025)

Finitary Simulation of Infinitary $β$-Reduction via Taylor Expansion, and Applications
by: Cerda, Rémy, et al.
Published: (2022)

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

Bilateralism with incompatible proofs and refutations
by: Barroso-Nascimento, Victor, et al.
Published: (2025)

Satisfaction classes with approximate disjunctive correctness
by: Enayat, Ali
Published: (2023)

Internal Effectful Forcing in System T
by: Escardo, Martin H., et al.
Published: (2025)

Reduced Set Theory
by: Kunik, Matthias
Published: (2023)

The Solver's Paradox in Formal Problem Spaces
by: Rosko, Milan
Published: (2025)

Forcing with Language Fragments, Extending Namba Forcing, and Models of Theories with Constraints in Interpretation
by: Lau, Desmond
Published: (2024)

The Kaufmann--Clote question on end extensions of models of arithmetic and the weak regularity principle
by: Sun, Mengzhou
Published: (2024)

Fixed-Point Theorems and the Ethics of Radical Transparency: A Logic-First Treatment
by: Alpay, Faruk, et al.
Published: (2025)

Continuations and Completeness in Proof-theoretic Semantics
by: Gu, Tao, et al.
Published: (2026)