On the public citation graph
Some remarks on the model theory of infinitary languages
0 signed · 98 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.1007/bfb0079689openalex-snapshot
The hanf number for complete sentences
inferredcites →https://doi.org/10.1016/0003-4843(71)90010-6openalex-snapshot
Some applications of model theory in set theory
inferredcites →https://doi.org/10.1016/b978-0-7204-2233-7.50031-9openalex-snapshot
OMITTING CLASSES OF ELEMENTS
inferredcites →https://doi.org/10.1016/b978-0-7204-2233-7.50036-8openalex-snapshot
LOGIC WITH DENUMERABLY LONG FORMULAS AND FINITE STRINGS OF QUANTIFIERS**The author is very much indebted to Carol Karp, E. G. K. Lopez-Escobar, and Czeslaw Ryll-Nardzewski for much stimulating correspondence and many interesting conversations on the topic of this paper.
inferredcites →https://doi.org/10.1016/b978-0-7204-2233-7.50043-5openalex-snapshot
FINITE-QUANTIFIER EQUIVALENCE
inferredcites →https://doi.org/10.1016/s0049-237x(08)71183-2openalex-snapshot
Infinitary Properties of Models Generated from Indiscernibles
inferredcites →https://doi.org/10.1016/s0049-237x(08)x7021-1openalex-snapshot
Languages with Expressions of Infinite Length
inferredcites →https://doi.org/10.1016/s0049-237x(09)70467-7openalex-snapshot
Models of axiomatic theories admitting automorphisms
inferredcites →https://doi.org/10.2307/2314842openalex-snapshot
Languages with Expressions of Infinite Length.
inferredcites →https://doi.org/10.4064/fm-43-1-50-68openalex-snapshot
Models of axiomatic theories admitting automorphisms
inferredcites →https://doi.org/10.4064/fm-53-3-309-324openalex-snapshot
Incompactness in languages with infinitely long expressions
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.19720180804openalex-snapshot
Ordinals with Partition Properties and the Constructible Hierarchy
inferred← citeshttps://doi.org/10.1002/malq.19730192604openalex-snapshot
Variations on a theme of cantor in the theory of relational structures
inferred← citeshttps://doi.org/10.1002/malq.200610031openalex-snapshot
Existence of EF‐equivalent non‐isomorphic models
inferred← citeshttps://doi.org/10.1002/malq.201300022openalex-snapshot
A Hanf number for saturation and omission: the superstable case
inferred← citeshttps://doi.org/10.1007/978-1-4613-8928-6_16openalex-snapshot
Variations on a Theme of Cantor in the Theory of Relational Structures
inferred← citeshttps://doi.org/10.1007/978-94-009-9825-4_9openalex-snapshot
Hierarchies of Model Theoretic Definability—an Approach to Second Order Logics
inferred← citeshttps://doi.org/10.1007/bf00671564openalex-snapshot
Classifying ?0-categorical theories
inferred← citeshttps://doi.org/10.1007/bf00972801openalex-snapshot
Cardinality of models for theories in a calculus with a Härtig quantifier
inferred← citeshttps://doi.org/10.1007/bf01894775openalex-snapshot
Structures elementarily equivalent relative to infinitary languages to models of higher power
inferred← citeshttps://doi.org/10.1007/bf01987298openalex-snapshot
The cardinality of subdirectly irreducible systems in quasivarieties
inferred← citeshttps://doi.org/10.1007/bf01991854openalex-snapshot
On models with large automorphism groups
inferred← citeshttps://doi.org/10.1007/bf02482899openalex-snapshot
Union decompositions and universal classes categorical in power
inferred← citeshttps://doi.org/10.1007/bf02757993openalex-snapshot
A compactness theorem for singular cardinals, free algebras, Whitehead problem and tranversals
inferred← citeshttps://doi.org/10.1007/bf02771648openalex-snapshot
Hanf numbers for fragments of ℶ h (A)
inferred← citeshttps://doi.org/10.1007/bfb0079423openalex-snapshot
First-order logic and its extensions
inferred← citeshttps://doi.org/10.1007/bfb0079679openalex-snapshot
The Syntax and Semantics of Infinitary Languages
inferred← citeshttps://doi.org/10.1007/bfb0081120openalex-snapshot
Back-and-forth arguments and infinitary logics
inferred← citeshttps://doi.org/10.1007/bfb0081121openalex-snapshot
Consistency properties for finite quantifier languages
inferred← citeshttps://doi.org/10.1007/bfb0081122openalex-snapshot
Chain models: Applications of consistency properties and back-and-forth techniques in infinite-quantifier languages
inferred← citeshttps://doi.org/10.1007/bfb0098507openalex-snapshot
On the no(M) for M of singular power
inferred← citeshttps://doi.org/10.1007/s00029-016-0296-0openalex-snapshot
Shelah’s eventual categoricity conjecture in universal classes: part II
inferred← citeshttps://doi.org/10.1007/s00153-004-0248-9openalex-snapshot
Definability and automorphisms in abstract logics
inferred← citeshttps://doi.org/10.1016/0003-4843(71)90015-5openalex-snapshot
Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory
inferred← citeshttps://doi.org/10.1016/0003-4843(74)90017-5openalex-snapshot
Scott sentences and admissible sets
inferred← citeshttps://doi.org/10.1016/0003-4843(76)90026-7openalex-snapshot
A new approach to infinitary languages
inferred← citeshttps://doi.org/10.1016/0003-4843(77)90008-0openalex-snapshot
An “admissible” generalization of a theorem on countable ∑11 sets of reals with applications
inferred← citeshttps://doi.org/10.1016/0003-4843(77)90010-9openalex-snapshot
Countable approximations and Löwenheim-Skolem theorems
inferred← citeshttps://doi.org/10.1016/0168-0072(83)90013-1openalex-snapshot
Models with second order properties IV. A general method and eliminating diamonds
inferred← citeshttps://doi.org/10.1016/0168-0072(84)90006-xopenalex-snapshot
Countably decomposable admissible sets
inferred← citeshttps://doi.org/10.1016/j.apal.2017.03.003openalex-snapshot
Shelah's eventual categoricity conjecture in universal classes: Part I
inferred← citeshttps://doi.org/10.1016/j.apal.2023.103248openalex-snapshot
Axiomatizing AECs and applications
inferred← citeshttps://doi.org/10.1016/j.jpaa.2016.02.002openalex-snapshot
μ-Abstract elementary classes and other generalizations
inferred← citeshttps://doi.org/10.1016/s0304-0208(08)73824-6openalex-snapshot
Models Built on Linear Orderings
inferred← citeshttps://doi.org/10.1017/jsl.2014.30openalex-snapshot
TAMENESS FROM LARGE CARDINAL AXIOMS
inferred← citeshttps://doi.org/10.1017/s0022481200029066openalex-snapshot
A downward Löwenheim-Skolem theorem for infinitary theories which have the unsuperstability property
inferred← citeshttps://doi.org/10.1017/s0022481200031169openalex-snapshot
On the number of nonisomorphic models of an infinitary theory which has the infinitary order property. Part A
inferred← citeshttps://doi.org/10.1090/conm/380/07103openalex-snapshot
Ehrenfeucht-Mostowski models in abstract elementary classes
inferred← citeshttps://doi.org/10.1090/s0002-9904-1972-12921-5openalex-snapshot
Löwenheim-Skolem and interpolation theorems in infinitary languages
inferred← citeshttps://doi.org/10.1090/s0002-9939-1970-0260579-0openalex-snapshot
On the existence of 𝐿_{∞𝐾}-indiscernibles
inferred← citeshttps://doi.org/10.1090/s0002-9939-1976-0421982-4openalex-snapshot
On the Failure of the Weak Beth Property
inferred← citeshttps://doi.org/10.1090/s0002-9947-1975-0416903-8openalex-snapshot
Large Models of Countable Height
inferred← citeshttps://doi.org/10.1090/tran/6572openalex-snapshot
Three red herrings around Vaught’s conjecture
inferred← citeshttps://doi.org/10.1093/logcom/exac043openalex-snapshot
Projective classes as images of accessible functors
inferred← citeshttps://doi.org/10.1093/oso/9780198790396.001.0001openalex-snapshot
Philosophy and Model Theory
inferred← citeshttps://doi.org/10.1093/oso/9780198790396.003.0001openalex-snapshot
Logics and languages
inferred← citeshttps://doi.org/10.1093/oso/9780198790396.003.0002openalex-snapshot
Permutations and referential indeterminacy
inferred← citeshttps://doi.org/10.1093/oso/9780198790396.003.0003openalex-snapshot
Ramsey sentences and Newman’s objection
inferred← citeshttps://doi.org/10.1093/oso/9780198790396.003.0004openalex-snapshot
Compactness, infinitesimals, and the reals
inferred← citeshttps://doi.org/10.1093/oso/9780198790396.003.0005openalex-snapshot
Sameness of structure and theory
inferred← citeshttps://doi.org/10.1093/oso/9780198790396.003.0006openalex-snapshot
Modelism and mathematical doxology
inferred← citeshttps://doi.org/10.1093/oso/9780198790396.003.0007openalex-snapshot
Categoricity and the natural numbers
inferred← citeshttps://doi.org/10.1093/oso/9780198790396.003.0008openalex-snapshot
Categoricity and the sets
inferred← citeshttps://doi.org/10.1093/oso/9780198790396.003.0009openalex-snapshot
Transcendental arguments against model-theoretical scepticism
inferred← citeshttps://doi.org/10.1093/oso/9780198790396.003.0010openalex-snapshot
Internal categoricity and the natural numbers
inferred← citeshttps://doi.org/10.1093/oso/9780198790396.003.0011openalex-snapshot
Internal categoricity and the sets
inferred← citeshttps://doi.org/10.1093/oso/9780198790396.003.0012openalex-snapshot
Internal categoricity and truth
inferred← citeshttps://doi.org/10.1093/oso/9780198790396.003.0013openalex-snapshot
Boolean-valued structures
inferred← citeshttps://doi.org/10.1093/oso/9780198790396.003.0014openalex-snapshot
Types and Stone spaces
inferred← citeshttps://doi.org/10.1093/oso/9780198790396.003.0017openalex-snapshot
Classification and uncountable categoricity
inferred← citeshttps://doi.org/10.1093/oso/9780198790396.003.0018openalex-snapshot
Wilfrid Hodges A short history of model theory
inferred← citeshttps://doi.org/10.1142/s0219061306000554openalex-snapshot
CATEGORICITY FROM ONE SUCCESSOR CARDINAL IN TAME ABSTRACT ELEMENTARY CLASSES
inferred← citeshttps://doi.org/10.1305/ndjfl/1093870570openalex-snapshot
A pair of nonisomorphic $\equiv_{\infty \lambda}$ models of power $\lambda$ for $\lambda$ singular with $\lambda_\omega=\lambda$.
inferred← citeshttps://doi.org/10.1305/ndjfl/1093870759openalex-snapshot
On the possible number ${\rm no}(M)=$ the number of nonisomorphic models $L_{\infty,\lambda}$-equivalent to $M$ of power $\lambda$, for $\lambda$ singular.
inferred← citeshttps://doi.org/10.1305/ndjfl/1093883334openalex-snapshot
On the number of nonisomorphic models of cardinality $\lambda \ L_{\infty \lambda }$-equivalent to a fixed model.
inferred← citeshttps://doi.org/10.2140/pjm.1972.41.247openalex-snapshot
A combinatorial problem; stability and order for models and theories in infinitary languages
inferred← citeshttps://doi.org/10.2178/bsl/1080330272openalex-snapshot
Barwise: Infinitary Logic and Admissible Sets
inferred← citeshttps://doi.org/10.2178/bsl/1102022661openalex-snapshot
Notes on Quasiminimality and Excellence
inferred← citeshttps://doi.org/10.2307/2586536openalex-snapshot
On inverse γ-systems and the number ofL∞λ-equivalent, non-isomorphic models for λ singular
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.3792/pja/1195519517openalex-snapshot
Countable structures for uncountable infinitary languages
inferred← citeshttps://doi.org/10.4064/fm174-2-1openalex-snapshot
The number of L∞κ-equivalent nonisomorphic models for κ weakly compact
inferred← citeshttps://doi.org/10.4064/fm213-3-5openalex-snapshot
A Hanf number for saturation and omission
inferred← citeshttps://doi.org/10.46298/lmcs-18(3:4)2022openalex-snapshot
A Coalgebraic Approach to Dualities for Neighborhood Frames
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.