Buchumschlag

Leibniz's law and paraconsistent models of ZFC

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Figallo-Orellano, Aldo
Format:	Preprint
Veröffentlicht:	2022
Schlagworte:	Logic 03C65
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

On dp-minimal expansions of the integers II
von: Alouf, Eran
Veröffentlicht: (2024)

Pseudofiniteness of the Farey Graph
von: Lockhart, Connor Martinez
Veröffentlicht: (2026)

Spherically complete models of Hensel minimal valued fields
von: Bradley-Williams, David, et al.
Veröffentlicht: (2021)

A Complete Bounded Theory with Unbounded Types
von: Zhu, Hongyu
Veröffentlicht: (2026)

On the model theory of the Farey graph
von: Khangheshlaghi, Zahra Mohammadi, et al.
Veröffentlicht: (2025)

On double-membership graphs of models of Anti-Foundation
von: Adam-Day, Bea, et al.
Veröffentlicht: (2019)

The elementary theory of free Steiner triple systems
von: Barbina, Silvia, et al.
Veröffentlicht: (2024)

Transfer principles for forking and dividing in expansions of pure short exact sequences of Abelian groups
von: Hossain, Akash
Veröffentlicht: (2024)

The ZFC analogue of the Halpern-Levy theorem
von: Stefanović, Nedeljko
Veröffentlicht: (2023)

A classical-logic view on a paraconsistent logic
von: Middelburg, C. A.
Veröffentlicht: (2020)

On the model theory of the Free Factor Complex of rank 2
von: Khangheshlaghi, Zahra Mohammadi, et al.
Veröffentlicht: (2026)

A Tame Generic Structure with Non-Algebraic Geometric Closure
von: Jalili, Somaye, et al.
Veröffentlicht: (2020)

On the shatter function of semilinear set systems
von: Basit, Abdul, et al.
Veröffentlicht: (2025)

Newelski's Conjecture for $o$-Minimal and $p$-Adic Groups
von: Yao, Ningyuan, et al.
Veröffentlicht: (2026)

Algebraic types in Zilber's exponential field
von: Aslanyan, Vahagn, et al.
Veröffentlicht: (2024)

On groups definable in $p$-adically closed fields
von: Pillay, Anand, et al.
Veröffentlicht: (2026)

Coordinate recognition: General theory, Groups, and other surprises
von: Farah, I., et al.
Veröffentlicht: (2025)

Cardinality in a paraconsistent and paracomplete set theory
von: Oddsson, Hrafn Valtýr
Veröffentlicht: (2026)

Nonstandard Witnesses and Observational Barriers for Π0_1 Sentences in ZFC: Standard Cuts, Uniform Reflection Failure, and the Semantic Void
von: Fukumoto, Yusei
Veröffentlicht: (2025)

On n-distality, n-triviality and hypergraph regularity in NIP theories
von: Chernikov, Artem, et al.
Veröffentlicht: (2026)

About closed subsets definable in Hensel minimal structures
von: Nowak, Krzysztof Jan
Veröffentlicht: (2024)

Cartan subrings in soluble ranked Lie rings
von: Ntsiri, Jules Tindzogho, et al.
Veröffentlicht: (2025)

First-order sentences in random groups I: universal sentences
von: Kharlampovich, O., et al.
Veröffentlicht: (2021)

Quelques résultats sur les anneaux de Lie qui n ' ont pas de chaine infinie de centralisateurs
von: Zamour, Samuel
Veröffentlicht: (2025)

Fragments of Martin's axiom
von: Peng, Yinhe
Veröffentlicht: (2025)

Convex Team Logics
von: Anttila, Aleksi, et al.
Veröffentlicht: (2025)

Guessing genericity -- looking at parametrized diamonds from a different perspective
von: Kostana, Ziemowit
Veröffentlicht: (2023)

An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees
von: Samra, Jean Abou, et al.
Veröffentlicht: (2026)

A proof-theoretical approach to some extensions of first order quantification
von: Allègre, Loïc, et al.
Veröffentlicht: (2024)

Large cardinals, structural reflection, and the HOD Conjecture
von: Aguilera, Juan P., et al.
Veröffentlicht: (2024)

Irregular triads in 3-uniform hypergraphs
von: Terry, C., et al.
Veröffentlicht: (2021)

Ultrafilters in the random real model
von: Dow, Alan, et al.
Veröffentlicht: (2025)

Paraconsistent Belief Revision: A Replacement-Enriched LFI for Epistemic Entrenchment
von: Coniglio, Marcelo E., et al.
Veröffentlicht: (2024)

On the Model Theory of Open Incidence Structures: The Rank 2 Case
von: Paolini, Gianluca, et al.
Veröffentlicht: (2024)

Interpolation in model theory
von: Väänänen, Jouko
Veröffentlicht: (2025)

Relative consistency of Set Matrix Theory with ZF
von: Cabbolet, Marcoen J. T. F.
Veröffentlicht: (2024)

A characterization of Continuous Logic by using quantale-valued logics
von: Reyes, David, et al.
Veröffentlicht: (2021)

On a new theory of models for formal mathematical systems
von: Kunik, Matthias
Veröffentlicht: (2026)

The spectrum of limit models in a first order setting
von: Beard, Jeremy
Veröffentlicht: (2025)

Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal
von: Hamkins, Joel David, et al.
Veröffentlicht: (2022)