arXiv (All)
open access
$n$-variable theorems for dividing lines characterized by positive consistency-inconsistency configurations, and their applications to preservation problems
We define a class of classes of complete first-order theories, denoted by $\mathfrak{D}_{n\text{-var}}$, using positive consistency-inconsistency configurations and generalized indiscernibles. It contains the classes of stable, simple, NIP, NTP$_1$, NTP$_2$, NATP, NCTP, and NBTP theories, as well as
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- Variational Backbone and Regime Closures XIII: Gauge Forces as Operator Instances and RG Readouts Yang–Mills principal operator and asymptotic freedom as a scale-instance output#118301
- On n-dependent groups and fields III. Multilinear forms and invariant connected components#1036537
- The Causal Accumulation Law and Its Physical Instantiations: Fine Structure, Arrow of Time, Cosmological Constant#177812
- Modular resurgence, q-Pochhammer symbols, and quantum operators from mirror curves#391844
- Expansion, Constraint, and Information: A Unified Structural Framework in Temporal Rate Ontology#709172
Record · ID 1131236
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive