On the public citation graph

Archive for mathematical logic

https://doi.org/10.1007/bf02017494

0 signed · 18 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.

Claim with ORCID

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.

See reference health

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/3-540-45757-7_7openalex-snapshot

Towards Service Description Logics

inferred← citeshttps://doi.org/10.1007/978-1-4020-5764-9_11openalex-snapshot

Σ* Fine Structure

inferred← citeshttps://doi.org/10.1007/s11225-016-9692-xopenalex-snapshot

General-Elimination Stability

inferred← citeshttps://doi.org/10.1017/jsl.2015.15openalex-snapshot

AXIOM I0 AND HIGHER DEGREE THEORY

inferred← citeshttps://doi.org/10.1093/oso/9780198790396.001.0001openalex-snapshot

Philosophy and Model Theory

inferred← citeshttps://doi.org/10.1093/oso/9780198790396.003.0013openalex-snapshot

Boolean-valued structures

inferred← citeshttps://doi.org/10.1145/1013963.1013982openalex-snapshot

Characterizing strong normalization in a language with control operators

inferred← citeshttps://doi.org/10.1184/r1/6492092.v1openalex-snapshot

Lawvere-Tierney Sheaves in Algebraic Set Theory

inferred← citeshttps://doi.org/10.2178/jsl/1154698582openalex-snapshot

n–localization property

inferred← citeshttps://doi.org/10.2178/jsl/1203350784openalex-snapshot

There may be infinitely many near-coherence classes underu< ∂

inferred← citeshttps://doi.org/10.2178/jsl/1305810769openalex-snapshot

Stable embeddedness and NIP

inferred← citeshttps://doi.org/10.2307/2275248openalex-snapshot

On the number of nonisomorphic models of size |T|

inferred← citeshttps://doi.org/10.2307/2275763openalex-snapshot

Some questions concerning the cofinality of Sym(κ)

inferred← citeshttps://doi.org/10.2307/2275874openalex-snapshot

Storage operators and directed lambda-calculus

inferred← citeshttps://doi.org/10.2307/2586534openalex-snapshot

Separating stationary reflection principles

inferred← citeshttps://doi.org/10.2307/2586697openalex-snapshot

Model companions of theories with an automorphism

inferred← citeshttps://doi.org/10.2307/2586705openalex-snapshot

Ordinal diagrams for Π3-reflection

inferred← citeshttps://doi.org/10.2307/2695033openalex-snapshot

Supercompactness and measurable limits of strong cardinals

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.