On the public citation graph
Set Theory
0 signed · 46 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 points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.5281/zenodo.20712823zenodo-depositor-declared
To Set a Stone with Six Birds: The Free and Purchased Parts of ZFC
inferred← citeshttps://doi.org/10.1007/978-3-030-12797-8_9openalex-snapshot
A Semantic Investigation of Spiking Neural P Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-22996-2_16openalex-snapshot
An algorithmic approach to characterizations of admissibles
inferred← citeshttps://doi.org/10.1007/978-3-030-48939-7_3openalex-snapshot
Information Technologies for Assessing the Impact of Climate Change and Natural Disasters in Socio-Economic Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-36978-0_6openalex-snapshot
Symmetry for Transfinite Computability
inferred← citeshttps://doi.org/10.1007/978-3-032-04590-4_5openalex-snapshot
Axiomatics of Restricted Choices by Linear Orders of Sets with Minimum as Fallback
inferred← citeshttps://doi.org/10.1007/978-3-662-59533-6_12openalex-snapshot
A Self-contained Provability Calculus for $$\varGamma _0$$
inferred← citeshttps://doi.org/10.1007/978-981-99-8391-9_9openalex-snapshot
Symbolic Data Analysis to Improve Completeness of Model Combination Methods
inferred← citeshttps://doi.org/10.1007/s00153-022-00845-3openalex-snapshot
Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse
inferred← citeshttps://doi.org/10.1007/s00605-020-01482-9openalex-snapshot
Factoring Solovay-random extensions, with application to the reduction property
inferred← citeshttps://doi.org/10.1007/s13235-024-00575-6openalex-snapshot
Strategy Complexity of Reachability in Countable Stochastic 2-Player Games
inferred← citeshttps://doi.org/10.1016/j.tcs.2018.06.001openalex-snapshot
Toward an algebraic theory of systems
inferred← citeshttps://doi.org/10.1016/j.topol.2021.107937openalex-snapshot
On the continuous gradability of the cut-point orders of R -trees
inferred← citeshttps://doi.org/10.1070/im8937openalex-snapshot
Models of set theory in which the separation theorem fails
inferred← citeshttps://doi.org/10.1098/rspa.2024.0364openalex-snapshot
Efficient set-theoretic algorithms for computing high-order Forman-Ricci curvature on abstract simplicial complexes
inferred← citeshttps://doi.org/10.1145/3776652openalex-snapshot
Characterizing Sets of Theories That Can Be Disjointly Combined
inferred← citeshttps://doi.org/10.12775/llp.2024.005openalex-snapshot
ZF-Class Nominalism and the Küng-Armstrong Trilemma
inferred← citeshttps://doi.org/10.15517/revfil.2026.2083openalex-snapshot
¿Dios juega a los dados? Argumentos a favor y en contra del ajuste fino
inferred← citeshttps://doi.org/10.15588/1607-3274-2018-4-20openalex-snapshot
IDENTIFICATION OF “HUMAN ERROR” NEGATIVE MANIFESTATION IN MARITIME TRANSPORT
inferred← citeshttps://doi.org/10.15588/1607-3274-2019-2-15openalex-snapshot
APPROACHES GOING TO DETERMINATION PERIODS OF THE HUMAN FACTOR OF NAVIGATORS DURING SUPERNUMERARY SITUATIONS
inferred← citeshttps://doi.org/10.15588/1607-3274-2020-1-15openalex-snapshot
DIAGNOSTIC SYSTEM OF PERCEPTION OF NAVIGATION DANGER WHEN IMPLEMENTATION COMPLICATED MANEUVERS
inferred← citeshttps://doi.org/10.15802/stp2018/147937openalex-snapshot
MODELING THE MANIFESTATIONS OF THE HUMAN FACTOR OF THE MARITIME CREW
inferred← citeshttps://doi.org/10.2140/involve.2012.5.15openalex-snapshot
A generalization of modular forms
inferred← citeshttps://doi.org/10.2140/mt.2025.4.231openalex-snapshot
Infinite cliques in simple and stable graphs
inferred← citeshttps://doi.org/10.2140/pjm.2019.301.67openalex-snapshot
Complemented copies of c0(τ) in tensor products of Lp[0,1]
inferred← citeshttps://doi.org/10.26493/1855-3974.3453.4a8openalex-snapshot
Brooks' type theorems for coloring parameters of locally finite graphs and Kőnig's Lemma
inferred← citeshttps://doi.org/10.3103/s0027132225700469openalex-snapshot
Resolvability at a Point and Generalizations of Compactness
inferred← citeshttps://doi.org/10.3233/fi-2021-2088openalex-snapshot
On the Expressive Power of Non-deterministic and Unambiguous Petri Nets over Infinite Words
inferred← citeshttps://doi.org/10.3390/math11030726openalex-snapshot
On the Significance of Parameters in the Choice and Collection Schemata in the 2nd Order Peano Arithmetic
inferred← citeshttps://doi.org/10.37069/1810-3200-2025-22-3-2openalex-snapshot
Hausdorff distance between ultrametric balls
inferred← citeshttps://doi.org/10.4115/jla.2021.13.4openalex-snapshot
Almost disjoint families and ultrapowers
inferred← citeshttps://doi.org/10.4204/eptcs.255.3openalex-snapshot
Bisimulation and Hennessy-Milner Logic for Generalized Synchronization Trees
inferred← citeshttps://doi.org/10.4213/im8521openalex-snapshot
Неуниформизуемые множества второго проективного уровня со счетными сечениями в виде классов Витали
inferred← citeshttps://doi.org/10.4213/im8937openalex-snapshot
Модели теории множеств, в которых теорема отделимости неверна
inferred← citeshttps://doi.org/10.4213/mzm10758openalex-snapshot
О некоторых свойствах частичной консервативности интуиционистской теории множеств с принципом DCS
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.