:: Library Catalog

Cover Image

Saved in:

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

Similar Items

On products of ultrafilters
by: Goldberg, Gabriel
Published: (2021)

The Galvin property under the Ultrapower Axiom
by: Benhamou, Tom, et al.
Published: (2023)

No cardinal correct inner model elementarily embeds into the universe
by: Goldberg, Gabriel, et al.
Published: (2024)

Measures that violate the Generalized Continuum Hypothesis
by: Benhamou, Tom, et al.
Published: (2025)

On $(Σ^2_1)^{uB}$ Absoluteness Between V and HOD
by: Goldberg, Gabriel, et al.
Published: (2025)

Applications of the Magidor Iteration to Ultrafilter Theory
by: Benhamou, Tom, et al.
Published: (2024)

On the optimality of the HOD dichotomy
by: Goldberg, Gabriel, et al.
Published: (2024)

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

Ultrafilter extensions of bounded graphs are elementary
by: Molnár, Zalán
Published: (2024)

Hereditary undecidability of fragments of some elementary theories
by: Karpov, Vladimir E.
Published: (2024)

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

Quasitoposes as elementary quotient completions
by: Maietti, Maria Emilia, et al.
Published: (2021)

Algebraic characterisation of pseudo-elementary and second-order classes
by: Ivanyos, János Balázs
Published: (2026)

Undecidability of the elementary theory of Young--Fibonacci lattice
by: Evtushevsky, Vsevolod
Published: (2024)

A free two-generated left distributive algebra of elementary embeddings
by: Brooke-Taylor, Andrew D., et al.
Published: (2025)

Left adjoint to precomposition in elementary doctrines
by: Guffanti, Francesca
Published: (2023)

On Efficient Algorithms For Partial Quantifier Elimination
by: Goldberg, Eugene
Published: (2024)

Structure-Aware Computing, Partial Quantifier Elimination And SAT
by: Goldberg, Eugene
Published: (2024)

Solving SAT By Computing A Stable Set Of Points In Clusters
by: Goldberg, Eugene
Published: (2025)

Partial Quantifier Elimination By Certificate Clauses
by: Goldberg, Eugene
Published: (2020)

Property Checking Without Inductive Invariants
by: Goldberg, Eugene
Published: (2016)

The uniqueness of the core model
by: Siskind, Benjamin
Published: (2025)

Cauchy-completions and the rule of unique choice in relational doctrines
by: Dagnino, Francesco, et al.
Published: (2024)

On the abstract elementary class of acts with embeddings
by: Mazari-Armida, Marcos, et al.
Published: (2025)

Minimal and intrinsic topologies on monoids of elementary embeddings
by: Gonzalez, J. de la Nuez, et al.
Published: (2026)

Limit models in strictly stable abstract elementary classes
by: Will Boney, et al.
Published: (2024)

Categorial grammars with unique category assignment
by: Vishnikin, Maxim, et al.
Published: (2025)

The fragment of elementary plane Euclidean geometry based on perpendicularity alone with complexity PSPACE-complete
by: Ivanova, Tatyana, et al.
Published: (2021)

O-minimal open core is not an elementary property
by: Gorman, Alexi Block, et al.
Published: (2026)

On the consistency of ZF with an elementary embedding from $V_{λ+2}$ into $V_{λ+2}$
by: Schlutzenberg, Farmer
Published: (2020)

Computable Scott Sentences and the Friedman-Stanley embedding
by: Gonzalez, David, et al.
Published: (2026)

Non-elementary categoricity and projective locally o-minimal classes
by: Zilber, Boris
Published: (2022)

Groups elementary equivalent to finitely generated free metabelian
by: Kharlampovich, Olga, et al.
Published: (2023)

Self-embeddings of models of arithmetic; fixed points, small submodels, and extendability
by: Bahrami, Saeideh
Published: (2022)

The class of Krasner hyperfields is not elementary
by: Błaszkiewicz, Piotr, et al.
Published: (2024)

Bass modules and embeddings into free modules
by: Pillay, Anand, et al.
Published: (2025)

On the elementary theory of the real exponential field
by: Berarducci, Alessandro, et al.
Published: (2026)

An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees
by: Samra, Jean Abou, et al.
Published: (2026)

On the downward Löwenheim-Skolem Theorem for elementary submodels
by: Kunik, Matthias
Published: (2024)

The elementary theory of free Steiner triple systems
by: Barbina, Silvia, et al.
Published: (2024)