:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Gitman, Victoria, Osinski, Jonathan
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic
Accesso online:	https://arxiv.org/abs/2404.12269
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems
di: Przybocki, Benjamin, et al.
Pubblicazione: (2024)

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

Skolemization In Intermediate Logics
di: Baaz, Matthias, et al.
Pubblicazione: (2025)

Blurred Drinker Paradoxes and Blurred Choice Axioms: Constructive Reverse Mathematics of the Downward Löwenheim-Skolem Theorem
di: Kirst, Dominik, et al.
Pubblicazione: (2026)

Cardinals of the $P_κ(λ)$-Filter Games
di: Benhamou, Tom, et al.
Pubblicazione: (2025)

Skolemization and Decidability of the Bernays-Schoenfinkel Class in Goedel Logics
di: Gamsakhurdia, Mariami, et al.
Pubblicazione: (2025)

Definable sets in Skolem arithmetic
di: Kamiński, Łukasz
Pubblicazione: (2025)

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

Class choice and the surprising weakness of Kelley-Morse set theory
di: Gitman, Victoria, et al.
Pubblicazione: (2026)

A Topological Rewriting of Tarski's Mereogeometry
di: Barlatier, Patrick, et al.
Pubblicazione: (2025)

An Approximate Skolem Function Counter
di: Shaw, Arijit, et al.
Pubblicazione: (2023)

Model-theoretic characterizations of large cardinals (Re)${}^2$visited
di: Boney, Will, et al.
Pubblicazione: (2025)

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

Skolem and Positivity Completeness of Ergodic Markov Chains
di: Vahanwala, Mihir
Pubblicazione: (2023)

On Robustness for the Skolem, Positivity and Ultimate Positivity Problems
di: Akshay, S., et al.
Pubblicazione: (2022)

Preservation theorems for Tarski's relation algebra
di: Bogaerts, Bart, et al.
Pubblicazione: (2023)

The Skolem Problem in rings of positive characteristic
di: Dong, Ruiwen, et al.
Pubblicazione: (2025)

On the Complexity of the Skolem Problem at Low Orders
di: Bacik, Piotr, et al.
Pubblicazione: (2025)

A definição de verdade de Tarski
di: Cardoso, Guilherme, et al.
Pubblicazione: (2024)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2023)

On the Subspace Orbit Problem and the Simultaneous Skolem Problem
di: Bacik, Piotr, et al.
Pubblicazione: (2026)

Model theory of class-sized logics
di: Osinski, Jonathan, et al.
Pubblicazione: (2026)

A Coq-based Axiomatization of Tarski's Mereogeometry
di: Barlatier, Patrick, et al.
Pubblicazione: (2025)

Tarski's least fixed point theorem: A predicative type theoretic formulation
di: Ray, Ian
Pubblicazione: (2024)

Towards an Independent Version of Tarski's System of Geometry
di: Boutry, Pierre, et al.
Pubblicazione: (2024)

Negative resolution to the $C^*$-algebraic Tarski problem
di: Elayavalli, Srivatsav Kunnawalkam, et al.
Pubblicazione: (2025)

On the Counting Complexity of the Skolem Problem
di: Jindal, Gorav, et al.
Pubblicazione: (2024)

On the $p$-adic Skolem Problem
di: Bacik, Piotr, et al.
Pubblicazione: (2025)

Non-Transferability in Communication Channels and Tarski`s Truth Theorem
di: Naderian, Farhad
Pubblicazione: (2022)

Tarski's Undefinability Theorem and first-order arithmetic
di: Boyce, Stephen
Pubblicazione: (2010)

Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2024)

Diminishing Returns in Expanding Generative Models and Godel-Tarski-Lob Limits
di: Majumdar, Angshul
Pubblicazione: (2026)

A characterization of the $n$-ary many-sorted closure operators and a many-sorted Tarski irredundant basis theorem
di: Vidal, Juan Climent, et al.
Pubblicazione: (2017)

Minimal Banach-Tarski Decompositions
di: Straffelini, Cesare, et al.
Pubblicazione: (2025)

A Program Logic for Abstract (Hyper)Properties
di: Baldan, Paolo, et al.
Pubblicazione: (2026)

Bridge and Bound: A Logic-Based Framework for Abstracting (Extended Report)
di: Szalas, Andrzej
Pubblicazione: (2025)

A model-thoeretic version of Tarski's theorem
di: Maříková, Jana
Pubblicazione: (2025)

Logic of the Great, Logic of the Wise 2
di: Fedorchenko, Mikhail
Pubblicazione: (2026)

Agent-Knowledge Logic for Alternative Epistemic Logic
di: Nishimura, Yuki
Pubblicazione: (2024)

Measuring Decidability as Related to Busy Beaver Numbers
di: Tandi, Gurpreet, et al.
Pubblicazione: (2026)