Search results
From MaRDI portal
- dQ886219WikidataQ89467 ScholiaQ89467MaRDI QIDQ202112 This page was built for person: Georg Gottlob...10 bytes (15 words) - 04:40, 9 December 2023
- HodgesWikidataQ451634 ScholiaQ451634MaRDI QIDQ190274 This page was built for person: Wilfrid Hodges...10 bytes (15 words) - 22:25, 24 September 2023
- neWikidataQ58049749 ScholiaQ58049749MaRDI QIDQ202113 This page was built for person: N. Leone...10 bytes (15 words) - 04:41, 9 December 2023
- itayWikidataQ102421072 ScholiaQ102421072MaRDI QIDQ466121 This page was built for person: Itay Kaplan...10 bytes (14 words) - 12:44, 28 January 2024
- thomasDBLPe/TEiterWikidataQ62559769 ScholiaQ62559769MaRDI QIDQ171927 This page was built for person: Thomas Eiter...10 bytes (15 words) - 11:36, 8 December 2023
- ShelahWikidataQ448592 ScholiaQ448592MaRDI QIDQ169248 This page was built for person: S. Shelah...10 bytes (15 words) - 09:23, 8 December 2023
- zbMath Open NoneMaRDI QIDQ1223001 This page was built for person: K. Appert...10 bytes (12 words) - 10:19, 24 September 2023
- complexity of the formulas that may be used to formulate queries to Boolean combinations of purely existential first-order formulas, we even obtain the...15 bytes (668 words) - 15:24, 30 January 2024
- was built for publication: Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers Report a bug (only for logged in...15 bytes (904 words) - 05:28, 3 February 2024
- variations and NTP\(_1\) Tree indiscernibilities, revisited Characterization of NIP theories by ordered graph-indiscernibles Criteria for exact saturation and singular...15 bytes (435 words) - 17:50, 31 January 2024
- rank A Course on Basic Model Theory Formulas and properties for families of theories of abelian groups Distality for the asymptotic couple of the field...15 bytes (823 words) - 19:31, 3 February 2024
- distributions of binary isolating formulas for quite o-minimal theories Algebras of distributions for binary formulas in countably categorical weakly o-minimal...15 bytes (2,271 words) - 13:35, 2 February 2024
- theories with S-DOP in the generalised Baire spaces Algebras of binary formulas for compositions of theories On the number of independent orders Stability...15 bytes (906 words) - 05:27, 31 January 2024
- page was built for publication: Fondements de la logique positive Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI...15 bytes (265 words) - 03:45, 9 February 2024
- was built for publication: Externally definable sets and dependent pairs II Report a bug (only for logged in users!)Click here to report a bug for this page...15 bytes (620 words) - 19:21, 8 February 2024
- page was built for publication: On model-theoretic tree properties Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI...15 bytes (656 words) - 20:16, 3 February 2024
- over finite sets for NIP formulas The dynamical hierarchy for Roelcke precompact Polish groups LOCAL KEISLER MEASURES AND NIP FORMULAS CLASSIFYING SPACES...15 bytes (1,019 words) - 19:54, 8 February 2024
- theorem for \(\mathrm{NTP}_{2}\) theories On dp-minimal ordered structures Forking and Dividing in NTP2 theories Hypergraph sequences as a tool for saturation...15 bytes (842 words) - 03:17, 30 January 2024
- between universal and existential bounded quantifiers. Here, we solve this problem by introducing a new truth value assignment for bounded quantifiers that...15 bytes (793 words) - 10:43, 3 February 2024
- Complexity of RSRL This page was built for publication: Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4850061)...15 bytes (970 words) - 03:36, 8 February 2024
