On the public citation graph

Infinitary properties, local functors, and systems of ordinal functions

https://doi.org/10.1007/bfb0059538
0 signed · 40 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 this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1016/0003-4843(70)90006-9openalex-snapshot
Infinitary properties of abelian torsion groups
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)70760-2openalex-snapshot
Hereditarily Replete Functionals Over the Ordinals
inferredcites →https://doi.org/10.1016/s0049-237x(08)71183-2openalex-snapshot
Infinitary Properties of Models Generated from Indiscernibles
inferredcites →https://doi.org/10.2307/1970476openalex-snapshot
Diophantine Problems Over Local Fields: III. Decidable Fields
inferredcites →https://doi.org/10.2307/2269866openalex-snapshot
Systems of predicative analysis, II: Representations of ordinals
inferredcites →https://doi.org/10.2307/2270324openalex-snapshot
A survey of proof theory
inferredcites →https://doi.org/10.2307/2270848openalex-snapshot
Meeting of the association for symbolic logic
inferredcites →https://doi.org/10.2307/2270907openalex-snapshot
Reduced products and nonstandard logics
inferredcites →https://doi.org/10.2307/2317170openalex-snapshot
Lectures on Rings and Modules.
inferredcites →https://doi.org/10.4064/fm-47-1-57-103openalex-snapshot
The first order properties of products of algebraic systems
inferredcites →https://doi.org/10.4064/fm-49-2-129-141openalex-snapshot
An application of games to the completeness problem for formalized theories

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.19790250103openalex-snapshot
Non‐Standard Models of Ordinal Arithmetics
inferred← citeshttps://doi.org/10.1002/malq.19850312104openalex-snapshot
χ‐Local Operations for Topological Structures
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-63334-3openalex-snapshot
Feferman on Foundations - Logic, Mathematics, Philosophy
inferred← citeshttps://doi.org/10.1007/978-3-319-63334-3_1openalex-snapshot
From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory
inferred← citeshttps://doi.org/10.1007/978-94-011-2496-6_5openalex-snapshot
Working Foundations - ’ 91
inferred← citeshttps://doi.org/10.1007/978-94-017-0522-6_8openalex-snapshot
Continuous Operations on Spaces of Structures
inferred← citeshttps://doi.org/10.1007/bf00486048openalex-snapshot
Working foundations
inferred← citeshttps://doi.org/10.1007/bf01084980openalex-snapshot
Theory of proofs (arithmetic and analysis)
inferred← citeshttps://doi.org/10.1007/bf02017491openalex-snapshot
Natural well-orderings
inferred← citeshttps://doi.org/10.1007/bfb0079423openalex-snapshot
First-order logic and its extensions
inferred← citeshttps://doi.org/10.1007/bfb0080976openalex-snapshot
Categories of local functors
inferred← citeshttps://doi.org/10.1007/bfb0081120openalex-snapshot
Back-and-forth arguments and infinitary logics
inferred← citeshttps://doi.org/10.1016/0168-0072(85)90025-9openalex-snapshot
The model-theoretic structure of abelian group rings
inferred← citeshttps://doi.org/10.1016/0168-0072(86)90070-9openalex-snapshot
Recursive categoricity and recursive stability
inferred← citeshttps://doi.org/10.1016/j.apal.2003.11.002openalex-snapshot
Algorithmic uses of the Feferman–Vaught Theorem
inferred← citeshttps://doi.org/10.1016/j.apal.2005.05.012openalex-snapshot
Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results
inferred← citeshttps://doi.org/10.1017/9781009432894openalex-snapshot
Philosophical Uses of Categoricity Arguments
inferred← citeshttps://doi.org/10.1017/fms.2023.128openalex-snapshot
Functorial Fast-Growing Hierarchies
inferred← citeshttps://doi.org/10.1017/s0004972700023121openalex-snapshot
Models of well-orderings
inferred← citeshttps://doi.org/10.1090/s0002-9939-1973-0325389-7openalex-snapshot
Lefschetz's Principle and Local Functors
inferred← citeshttps://doi.org/10.1090/s0002-9947-1973-0325805-5openalex-snapshot
New Criteria for Freeness in Abelian Groups
inferred← citeshttps://doi.org/10.1090/s0002-9947-1974-0352294-8openalex-snapshot
New Criteria for Freeness in Abelian Groups. II
inferred← citeshttps://doi.org/10.1142/s0219061321500112openalex-snapshot
From noncommutative diagrams to anti-elementary classes
inferred← citeshttps://doi.org/10.2140/pjm.1974.52.175openalex-snapshot
Free products and elementary equivalence
inferred← citeshttps://doi.org/10.2178/bsl/1208358843openalex-snapshot
Logicality and Invariance
inferred← citeshttps://doi.org/10.2178/jsl/1058448449openalex-snapshot
Elementary properties of the Boolean hull and reduced quotient functors
inferred← citeshttps://doi.org/10.2307/2273095openalex-snapshot
Preservation of elementary equivalence under scalar extension
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.