:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Sargsyan, Grigor
Format:	Preprint
Published:	2021
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2105.06403
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Generic Generators
by: Sargsyan, Grigor
Published: (2023)

The Largest Suslin Axiom
by: Sargsyan, Grigor, et al.
Published: (2021)

The exact strength of generic absoluteness for the universally Baire sets
by: Sargsyan, Grigor, et al.
Published: (2021)

Towards a generic absoluteness theorem for Chang models
by: Müller, Sandra, et al.
Published: (2023)

AD$^+$ implies that $ω_1$ is a $Θ$-Berkeley cardinal
by: Blue, Douglas, et al.
Published: (2024)

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

Chang models over derived models with supercompact measures
by: Gappo, Takehiko, et al.
Published: (2023)

Ultrapowers of determinacy models as iteration trees on HOD
by: Goldberg, Gabriel, et al.
Published: (2026)

Nairian Models
by: Blue, Douglas, et al.
Published: (2025)

The failure of square at all uncountable cardinals is weaker than a Woodin limit of Woodin cardinals
by: Blue, Douglas, et al.
Published: (2026)

Partial Tower Sealing
by: Sargsyan, Grigor, et al.
Published: (2025)

Forcing More DC Over the Chang Model Using the Thorn Sequence
by: Holland, James, et al.
Published: (2022)

On $ω$-strongly measurable cardinals in $\mathbb{P}_{\max}$ extensions
by: Aksornthong, Navin, et al.
Published: (2023)

Building Models of Determinacy from Below
by: Kasum, Obrad, et al.
Published: (2024)

A model of the Axiom of Determinacy in which every set of reals is universally Baire
by: Larson, Paul B., et al.
Published: (2025)

Unreachability of Inductive-Like Pointclasses in $L(\mathbb{R})$
by: Levinson, Derek, et al.
Published: (2022)

Varsovian models II
by: Sargsyan, Grigor, et al.
Published: (2021)

Complexity in finitary argumentation (extended version)
by: Andrews, Uri, et al.
Published: (2025)

Bridging abstract dialectical argumentation and Boolean gene regulation
by: Azpeitia, Eugenio, et al.
Published: (2024)

A constructive approach to the double-categorical small object argument
by: Berg, Benno van den, et al.
Published: (2025)

Substructural fixed-point theorems and the diagonal argument: theme and variations
by: Roberts, David Michael
Published: (2021)

An action language-based formalisation of an abstract argumentation framework
by: Munro, Yann, et al.
Published: (2024)

Logic for conditional strong historical necessity in branching time and analyses of an argument for future determinism
by: Ju, Fengkui
Published: (2024)

Descending sequences in reflection hierarchies
by: Łełyk, Mateusz, et al.
Published: (2025)

Iterating reflection over intuitionistic arithmetic
by: Frittaion, Emanuele
Published: (2024)

The strong reflecting property and Harrington's Principle
by: Cheng, Yong
Published: (2015)

Approximation of hyperarithmetic analysis by $ω$-model reflection
by: Hashimoto, Koki
Published: (2024)

Relative leftmost path principles and omega-model reflections of transfinite inductions
by: Suzuki, Yudai
Published: (2024)

Cogent argument extensions are weakly admissible but not vice versa
by: Bodanza, Gustavo
Published: (2025)

From logic to profit: a reflection on the applicability of service-dominant logic to the hotel industry
by: Jefferson Oliveira da Silva-Lacerda
Published: (2018)

List types for resource aware languages: an implicit name approach
by: Ghilezan, Silvia, et al.
Published: (2021)

Bijective proofs for Eulerian numbers of types B and D
by: Santocanale, Luigi
Published: (2021)

Gödel-McKinsey-Tarski and (not quite) Blok-Esakia for Heyting-Lewis Implication
by: de Groot, Jim, et al.
Published: (2021)

Duality for Normal Lattice Expansions and Sorted, Residuated Frames with Relations
by: Hartonas, Chrysafis
Published: (2021)

Computing with Infinite Objects: the Gray Code Case
by: Spreen, Dieter, et al.
Published: (2021)

Cyclic Implicit Complexity
by: Curzi, Gianluca, et al.
Published: (2021)

The Pebble-Relation Comonad in Finite Model Theory
by: Montacute, Yoàv, et al.
Published: (2021)

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
by: Oda, Yukihiro, et al.
Published: (2021)

Dynamic Cantor Derivative Logic
by: Fernández-Duque, David, et al.
Published: (2021)

On Small Types in Univalent Foundations
by: de Jong, Tom, et al.
Published: (2021)