On the public citation graph
The monadic fragment of predicate calculus with the Chang quantifier and equality
0 signed · 22 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/bf01977150openalex-snapshot
Semantische Untersuchungen zur Entscheidbarkeit im Prädikatenkalkül mit Funktionsvariablen
inferredcites →https://doi.org/10.1016/s0049-237x(08)71504-0openalex-snapshot
Ultraproducts and Other Methods of Constructing Models
inferredcites →https://doi.org/10.1016/s0076-5392(08)62322-xopenalex-snapshot
1 Elements of Mathematical Logic
inferredcites →https://doi.org/10.1090/s0002-9904-1964-11219-2openalex-snapshot
On cardinalities of ultraproducts
inferredcites →https://doi.org/10.1090/s0002-9939-1965-0193016-3openalex-snapshot
A Note on the Two Cardinal Problem
inferredcites →https://doi.org/10.2307/2269698openalex-snapshot
An axiomatic system for the first order language with an equi-cardinality quantifier
inferredcites →https://doi.org/10.4064/fm-44-1-12-36openalex-snapshot
On a generalization of quantifiers
inferredcites →https://doi.org/10.4064/fm-54-3-291-302openalex-snapshot
Skolem-type normal forms for first-order languages with a generalized quantifier
inferredcites →https://doi.org/10.4064/fm-54-3-303-304openalex-snapshot
The completeness of logic with the added quantifier "there are uncountable many"
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.19720181306openalex-snapshot
A Remark On The Härtig Quantifier
inferred← citeshttps://doi.org/10.1002/malq.19780241913openalex-snapshot
Zum Entscheidungsproblem für Theorien in Logiken mit Monadischen Verallgemeinerten Quantoren
inferred← citeshttps://doi.org/10.1007/978-94-009-9825-4_12openalex-snapshot
On the Expressive Power of the Language Using the Henkin Quantifier
inferred← citeshttps://doi.org/10.1007/bf01974147openalex-snapshot
Ganzgeschlossene und prädikatengeschlossene Logiken I
inferred← citeshttps://doi.org/10.1007/bf02790755openalex-snapshot
A generalization of Ehrenfeucht’s game and some applications
inferred← citeshttps://doi.org/10.1007/bfb0096905openalex-snapshot
Decision problems for generalized quantifiers — A survey
inferred← citeshttps://doi.org/10.1007/s00153-021-00797-0openalex-snapshot
Model theory of monadic predicate logic with the infinity quantifier
inferred← citeshttps://doi.org/10.1016/s0049-237x(09)70457-4openalex-snapshot
The work of Andrzej Mostowski in model theory
inferred← citeshttps://doi.org/10.21099/tkbjm/1496158378openalex-snapshot
Monadic second order logic with an added quantifier Q
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.