Buchumschlag

Characterizing fragments of collection principle in set theory with model theoretic properties

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Chen, Junhong
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A completeness theorem in proof-theoretic semantics via set-theoretic semantics
von: Takemura, Ryo
Veröffentlicht: (2025)

Hereditary undecidability of fragments of some elementary theories
von: Karpov, Vladimir E.
Veröffentlicht: (2024)

Implicative models of set theory
von: Maschio, Samuele, et al.
Veröffentlicht: (2023)

Goldstern's principle about unions of null sets
von: Goto, Tatsuya
Veröffentlicht: (2022)

Tarskian truth theories over set theory
von: Enayat, Ali
Veröffentlicht: (2026)

Model-theoretic properties of nilpotent groups and Lie algebras
von: d'Elbée, Christian, et al.
Veröffentlicht: (2023)

Gradualist descriptionalist set theory
von: Simmons, David
Veröffentlicht: (2026)

Bringing closure to theory combination properties
von: Toledo, Guilherme V., et al.
Veröffentlicht: (2026)

An independence of the MIN principle from the PHP principle
von: Narusevych, Mykyta
Veröffentlicht: (2024)

Modelling of logical systems by means of their fragments
von: Rybakov, Mikhail
Veröffentlicht: (2025)

Trace definability II: model-theoretic linearity
von: Walsberg, Erik
Veröffentlicht: (2026)

The transcendence degree of the reals over certain set-theoretical subfields
von: Fatalini, Azul, et al.
Veröffentlicht: (2024)

Proxy principles in combinatorial set theory
von: Brodsky, Ari Meir, et al.
Veröffentlicht: (2024)

Every countable model of arithmetic or set theory has a pointwise-definable end extension
von: Hamkins, Joel David
Veröffentlicht: (2022)

Fodor space in generalized descriptive set theory
von: Feldman, Ido, et al.
Veröffentlicht: (2026)

A set-theoretical approach for ABox reasoning services (Extended Version)
von: Cantone, Domenico, et al.
Veröffentlicht: (2017)

Skands and coskands (The non-founded set theory with individuals and its model in the Field of all Conway numbers)
von: Lisica, Ju. T.
Veröffentlicht: (2025)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
von: Herbelin, Hugo
Veröffentlicht: (2024)

Proof-theoretic Semantics for Second-order Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2025)

Choice and independence of premise rules in intuitionistic set theory
von: Frittaion, Emanuele, et al.
Veröffentlicht: (2024)

Countability constraints in order-theoretic approaches to computability
von: Hack, Pedro, et al.
Veröffentlicht: (2022)

Proof-theoretic Semantics for the Logic of Bunched Implications
von: Gu, Tao, et al.
Veröffentlicht: (2023)

Proof-theoretic Semantics for First-order Logic
von: Gheorghiu, Alexander V.
Veröffentlicht: (2024)

A proof-theoretic approach to abstract interpretation
von: D'Silva, Vijay, et al.
Veröffentlicht: (2026)

Diamond principles and Tukey-top ultrafilters on a countable set
von: Benhamou, Tom, et al.
Veröffentlicht: (2024)

The Baire and perfect set properties at singulars cardinals
von: Dimonte, Vincenzo, et al.
Veröffentlicht: (2024)

Randomness via infinite computation and effective descriptive set theory
von: Carl, Merlin, et al.
Veröffentlicht: (2016)

Extensional realizability and choice for dependent types in intuitionistic set theory
von: Frittaion, Emanuele
Veröffentlicht: (2024)

Class choice and the surprising weakness of Kelley-Morse set theory
von: Gitman, Victoria, et al.
Veröffentlicht: (2026)

The set-theoretic Kaufmann-Clote question
von: McKenzie, Zachiri
Veröffentlicht: (2025)

The equivariant model structure on cartesian cubical sets
von: Awodey, Steve, et al.
Veröffentlicht: (2024)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2025)

Global choice is not conservative over local choice for Zermelo set theory
von: Glazer, Elliot
Veröffentlicht: (2023)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2023)

Relative leftmost path principles and omega-model reflections of transfinite inductions
von: Suzuki, Yudai
Veröffentlicht: (2024)

Some aspects of topological dynamics of Polish groups (with an introduction to descriptive set theory)
von: Melleray, Julien
Veröffentlicht: (2026)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2022)

One-variable fragments of first-order logics
von: Cintula, Petr, et al.
Veröffentlicht: (2023)

An ecumenical view of proof-theoretic semantics
von: Nascimento, Victor, et al.
Veröffentlicht: (2023)

The proof-theoretic strength of Constructive Second-order set theories
von: Jeon, Hanul
Veröffentlicht: (2023)