:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Scott, I
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2404.11524
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

$K$-theory of co-existentially closed continua
by: Eagle, Christopher J., et al.
Published: (2023)

A note on existentially t-henselian fields
by: Anscombe, Sylvy
Published: (2026)

Two examples concerning existential undecidability in fields
by: Dittmann, Philip
Published: (2022)

Quotients, pure existential completions and arithmetic universes
by: Maietti, Maria Emilia, et al.
Published: (2023)

Strongly minimal group relics of algebraically closed valued fields
by: Onshuus, Alf, et al.
Published: (2024)

Large imperfect fields are existentially closed in function fields after finite constant extension
by: Knaf, Hagen, et al.
Published: (2026)

Uniform interpolation with constructive diamond
by: van der Giessen, Iris, et al.
Published: (2026)

Universal-existential theories of fields
by: Anscombe, Sylvy, et al.
Published: (2024)

Fibred sets within a predicative and constructive effective topos
by: Cioffo, Cipriano Junior, et al.
Published: (2024)

Existentially closed measure-preserving actions of approximately treeable groups
by: Goldbring, Isaac, et al.
Published: (2025)

Computably locally compact groups and their closed subgroups
by: Melnikov, Alexander G., et al.
Published: (2024)

Degrees of incomputability, realizability and constructive reverse mathematics
by: Kihara, Takayuki
Published: (2020)

Pseudo T-closed fields
by: Montenegro, Samaria, et al.
Published: (2023)

On ultrafilter construction
by: Malliaris, Maryanthe
Published: (2025)

Separably differentially closed fields
by: Ino, Kai, et al.
Published: (2023)

A novel framework for systematic propositional formula simplification based on existential graphs
by: de Mas, Jordina Francès, et al.
Published: (2024)

One dimensional commutative groups definable in algebraically closed valued fields and in the pseudo-local fields
by: Acosta, Juan Pablo, et al.
Published: (2021)

Almost real closed fields with real analytic structure
by: Nguyen, Kien Huu, et al.
Published: (2024)

On Fidel Vakarelov construction for Monadic Godel algebras
by: Alonso, Maria Valentina, et al.
Published: (2024)

Modular constructive Lyndon interpolation for nondistributive logics
by: De Domenico, Andrea, et al.
Published: (2026)

Subvarieties of pointed Abelian l-groups
by: Jankovec, Filip
Published: (2025)

The construction principle and non homogeneity of uncountable relatively free groups
by: Carolillo, Davide, et al.
Published: (2023)

Models of true arithmetic are integer parts of nice real closed fields
by: Carl, Merlin
Published: (2013)

On the existential theory of the completions of a global field
by: Dittmann, Philip, et al.
Published: (2024)

Automorphisms of valued fields: amalgamation and existential closedness
by: Dobrowolski, Jan, et al.
Published: (2025)

An analysis of the constructive content of Henkin's proof of Gödel's completeness theorem
by: Herbelin, Hugo, et al.
Published: (2024)

Recognizable sets and Woodin cardinals: Computation beyond the constructible universe
by: Carl, Merlin, et al.
Published: (2015)

Various topos of types constructions
by: Kanalas, Kristóf
Published: (2025)

Imaginaries in perfect bounded pseudo algebraically closed fields with finitely many independent valuations
by: Leandro, Bryan González
Published: (2026)

A closed subset of Baire space not Medvedev equivalent to any closed set of Cantor space
by: Cole, Joshua
Published: (2024)

Positively closed $Sh(B)$-valued models
by: Kanalas, Kristóf
Published: (2024)

Embedding stable groups into algebraic groups
by: Bartnick, Charlotte
Published: (2025)

Approximating parametric suprema for constructible and power-constructible functions
by: Buggenhout, Tijs, et al.
Published: (2026)

New construction methods for uninorms via functions with q and uninorms on bounded lattices
by: Xiu, Zhen-Yu, et al.
Published: (2024)

Between proof construction and SAT-solving
by: Schubert, Aleksy, et al.
Published: (2024)

An $\mathrm{NSOP}_{1}$ theory without the existence axiom
by: Mutchnik, Scott
Published: (2024)

Formalizing the zigzag construction of path spaces of pushouts
by: Štěpančík, Vojtěch
Published: (2025)

3-handle construction on II$_1$ factors
by: Gao, David, et al.
Published: (2025)

Expansions of real closed fields with the Banach fixed point property
by: Athipat Thamrongthanyalak
Published: (2024)

On groups definable in $p$-adically closed fields
by: Pillay, Anand, et al.
Published: (2026)