:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autore principale:	Sargsyan, Grigor
Natura:	Preprint
Pubblicazione:	2021
Soggetti:	Logic
Accesso online:	https://arxiv.org/abs/2105.06403
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Generic Generators
di: Sargsyan, Grigor
Pubblicazione: (2023)

The Largest Suslin Axiom
di: Sargsyan, Grigor, et al.
Pubblicazione: (2021)

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

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

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

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

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

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

Nairian Models
di: Blue, Douglas, et al.
Pubblicazione: (2025)

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

Partial Tower Sealing
di: Sargsyan, Grigor, et al.
Pubblicazione: (2025)

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

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

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

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

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

Varsovian models II
di: Sargsyan, Grigor, et al.
Pubblicazione: (2021)

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

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

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

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

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

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

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

Iterating reflection over intuitionistic arithmetic
di: Frittaion, Emanuele
Pubblicazione: (2024)

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

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

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

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

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

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

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

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

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

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

Cyclic Implicit Complexity
di: Curzi, Gianluca, et al.
Pubblicazione: (2021)

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

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

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

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