On the public citation graph
On the model theory of denumerably long formulas with finite strings of quantifiers
0 signed · 39 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1016/s0049-237x(08)x7021-1openalex-snapshot
Languages with Expressions of Infinite Length
inferredcites →https://doi.org/10.1016/s1385-7258(55)50009-6openalex-snapshot
Contributions to the theory of models. III
inferredcites →https://doi.org/10.1073/pnas.49.6.828openalex-snapshot
A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY
inferredcites →https://doi.org/10.1090/s0002-9904-1966-11507-0openalex-snapshot
Persistent and invariant formulas relative to theories of higher order
inferredcites →https://doi.org/10.2140/pjm.1959.9.143openalex-snapshot
Properties preserved under homomorphism
inferredcites →https://doi.org/10.2307/2268420openalex-snapshot
Alfred Tarski. Contributions to the theory of models. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 57 (1954), pp. 572–588, and vol. 58 (1955), pp. 56–64; also Indagationes mathematicae, vol. 16 (1954), pp. 572–588, and vol. 17 (1955), pp. 56–64.
inferredcites →https://doi.org/10.2307/2269622openalex-snapshot
Some applications of infinitely long formulas
inferredcites →https://doi.org/10.2307/2271066openalex-snapshot
An extension of the Craig-Lyndon interpolation theorem
inferredcites →https://doi.org/10.2307/2314842openalex-snapshot
Languages with Expressions of Infinite Length.
inferredcites →https://doi.org/10.4064/fm-57-3-253-272openalex-snapshot
An interpolation theorem for denumerably long formulas
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/malq.19820281405openalex-snapshot
A Note on the Interpolation Theorem in First Order Logic
inferred← citeshttps://doi.org/10.1002/malq.19890350206openalex-snapshot
Preservation and Interpolation Through Binary Relations Between Theories
inferred← citeshttps://doi.org/10.1007/978-3-031-24117-8_20openalex-snapshot
The Strategic Balance of Games in Logic
inferred← citeshttps://doi.org/10.1007/978-3-319-93342-9_9openalex-snapshot
The Explanatory Power of a New Proof: Henkin’s Completeness Proof
inferred← citeshttps://doi.org/10.1007/978-3-642-11121-1_2openalex-snapshot
Constructions in Model Theory
inferred← citeshttps://doi.org/10.1007/978-94-010-0630-9_2openalex-snapshot
The Proof Theory of Stig Kanger: A Personal Recollection
inferred← citeshttps://doi.org/10.1007/bf01173845openalex-snapshot
Preservation theorems for limits of structures and global sections of sheaves of structures
inferred← citeshttps://doi.org/10.1007/bf01427948openalex-snapshot
Some remarks on projective model classes and the interpolation theorem
inferred← citeshttps://doi.org/10.1007/bf02011637openalex-snapshot
A unifying approach to theorems on preservation and interpolation for binary relations between structures
inferred← citeshttps://doi.org/10.1007/bf02015372openalex-snapshot
On some properties a projective model class passes on to the generated axiomatic class
inferred← citeshttps://doi.org/10.1007/bfb0066794openalex-snapshot
Vaught sentences and Lindström's regular relations
inferred← citeshttps://doi.org/10.1007/s00010-006-2844-8openalex-snapshot
Positive definitions of segment congruence in terms of segment inequality
inferred← citeshttps://doi.org/10.1007/s00153-005-0302-2openalex-snapshot
A relative interpolation theorem for infinitary universal Horn logic and its applications
inferred← citeshttps://doi.org/10.1007/s11229-008-9357-zopenalex-snapshot
The Craig Interpolation Theorem in abstract model theory
inferred← citeshttps://doi.org/10.1016/0003-4843(73)90003-xopenalex-snapshot
Boolean models and infinitary first order languages
inferred← citeshttps://doi.org/10.1016/j.apal.2023.103333openalex-snapshot
Boolean valued semantics for infinitary logics
inferred← citeshttps://doi.org/10.1090/s0002-9904-1973-13258-6openalex-snapshot
Global definability theory in 𝐿_{𝜔₁𝜔}
inferred← citeshttps://doi.org/10.1142/s0219061311001006openalex-snapshot
CHAIN MODELS, TREES OF SINGULAR CARDINALITY AND DYNAMIC EF-GAMES
inferred← citeshttps://doi.org/10.1145/3704893openalex-snapshot
Barendregt Convenes with Knaster and Tarski: Strong Rule Induction for Syntax with Bindings
inferred← citeshttps://doi.org/10.1305/ndjfl/1039293062openalex-snapshot
Interpolation and Preservation in ${\cal M\kern-1pt L}_{\omega_1}$
inferred← citeshttps://doi.org/10.2307/2270256openalex-snapshot
Infinitary analogs of theorems from first order model theory
inferred← citeshttps://doi.org/10.2307/2272730openalex-snapshot
Infinitary formulas preserved under unions of models
inferred← citeshttps://doi.org/10.2969/jmsj/02510027openalex-snapshot
Model theory on a positive second order logic with countable conjunctions and disjunctions
inferred← citeshttps://doi.org/10.4288/jafpos1956.4.85openalex-snapshot
Interpolation Theorem and Characterization Theorem
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.