Pith. sign in

Paper Citation Record · LEDGER

Lifting countable to uncountable mathematics

As of 16 August 2026, this Paper Citation Record lists 59 of 59 outbound references and 1 inbound Pith citation observation for arXiv:1908.05677.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
1908.05677 v4

Coverage vector

measured 59 of 59 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T13:24:39.243859Z

measured 60 of 60 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-14T13:24:43.971134Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: pith, observed 2026-08-14T13:24:44.350441Z

Reference resolution

59 of 59 outbound references displayed

  • verified exact7
  • verified fuzzy32
  • unresolved20
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 1c251051-bad9-410f-b486-80c826abdfb4 · outbound

This paper cites Dialectica.

Lifting countable to uncountable mathematics Dialectica

Reference 1

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:24:40.575924Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:38.954147Z digest=sha256:49fc72a565519ad48c35b77e3c043472f7a5b6d361afec94734de9b21c168f71

Observation 1114741a-c6cd-46a7-8868-956623345438 · outbound

This paper cites Bartle, Nets and filters in topology , Amer.

Lifting countable to uncountable mathematics Bartle, Nets and filters in topology , Amer

Reference 2

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:24:40.562056Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:38.959377Z digest=sha256:336bf14a2fcdbd837091f660ae8ca92dde2a81ec20525affcee383e212208742

Observation a35d8f7c-f925-4716-bd1d-13fe938e4c24 · outbound

This paper cites Pure Appl.

Lifting countable to uncountable mathematics Pure Appl

Reference 3

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:24:40.545367Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:38.963856Z digest=sha256:e3ec3288df02ca0be23c36d44f4e5e319a5db922a226197e86adb1a190efa3c1

Observation 15578779-a254-4042-b38e-a91b9eb40f8e · outbound

This paper cites Brown, Notions of closed subsets of a complete separable metric spa ce in weak subsystems of second-order arithmetic , Logic and computation (Pittsburgh, PA, 1987), Con- temp.

Lifting countable to uncountable mathematics Brown, Notions of closed subsets of a complete separable metric spa ce in weak subsystems of second-order arithmetic , Logic and computation (Pittsburgh, PA, 1987), Con- temp

Reference 4

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:24:40.528712Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:38.969720Z digest=sha256:a1cd9d8ece412fdacbb69d770a9b070b40659fe5e33f0697372244560fd053ba

Observation 46bf4d2b-515c-4f9e-873c-eadd88de7f2b · outbound

This paper cites Notes Log., vol.

Lifting countable to uncountable mathematics Notes Log., vol

Reference 5

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:24:40.512223Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:38.974478Z digest=sha256:7ed1bd010335a2a4b4846eeec360374729bcb95941fec382f8c72b89b37a09be

Observation 5ce6f58f-3496-42cd-abb0-ef66476134ad · outbound

This paper cites an unresolved cited work.

Lifting countable to uncountable mathematics Unresolved cited work

Reference 6

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:24:40.486009Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:38.979129Z digest=sha256:5148e26dd2c59f1d856cf359d009c1531b9f6ae0775785a0c3ae5d0b041aa4fa

Observation ac422442-733e-478c-b953-d721034bac5e · outbound

This paper cites 19 (1895), 1–61.

Lifting countable to uncountable mathematics 19 (1895), 1–61

Reference 7

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:24:40.468800Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:38.984499Z digest=sha256:7ebe01368d7d461e47061730def23f4e53119624c45d2f4b7917b9b3824ec4f4

Observation fcb58b76-4a9d-475d-81c6-28920aa5f32f · outbound

This paper cites Reverse Mathematics and Algebraic Field Extensions.

Lifting countable to uncountable mathematics Reverse Mathematics and Algebraic Field Extensions

Reference 8

Resolution
verified exact
local_arxiv, observed 2026-08-14T13:24:39.426899Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:38.989494Z digest=sha256:a416fee9b7eade025e01f7ee325ecabb88650042fdb43ade0b70b287899ad19b

Observation 0235b44e-5cc4-4151-a71d-8b1d555f15a2 · outbound

This paper cites 2, 75–92.

Lifting countable to uncountable mathematics 2, 75–92

Reference 9

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:24:40.454869Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:38.994126Z digest=sha256:6c7205d109022274bdfaff55a3e8586d32dd2bf38c6a6b055a321e57f8906ee3

Observation 89e503f7-a034-4c2b-86fa-56760d4c8a7d · outbound

This paper cites an unresolved cited work.

Lifting countable to uncountable mathematics Unresolved cited work

Reference 10

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:24:40.442082Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:38.998549Z digest=sha256:0878bb2b8434ae949809d1590f52c427b65a89cc9629dbe0a9d5ed4d4b725e38

Observation ce106ee0-b561-49b6-b37d-d3f338fa6cce · outbound

This paper cites an unresolved cited work.

Lifting countable to uncountable mathematics Unresolved cited work

Reference 11

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:24:40.429713Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.003481Z digest=sha256:31e528e54f1fe381b78f2fe96c1f321c2621c7f83953d6c72ded793932338fce

Observation df13ce05-56d6-4881-a371-814b4beedf8f · outbound

This paper cites unpublished notes from 1977-1981 with updated intro duction, https://math.stanford.edu/~feferman/papers/pfa(1).pdf.

Lifting countable to uncountable mathematics unpublished notes from 1977-1981 with updated intro duction, https://math.stanford.edu/~feferman/papers/pfa(1).pdf

Reference 12

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:24:40.417330Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.007940Z digest=sha256:e616998958cb621def8f893b266b9f516fcefda1632ce01b17a24a8f535dace8

Observation 433933c5-26e0-4cb5-88d6-bcafcab5982b · outbound

This paper cites C ., 1974), Vol.

Lifting countable to uncountable mathematics C ., 1974), Vol

Reference 13

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:24:40.403994Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.012028Z digest=sha256:d26be8492afc75c936762bb571b37d195aacf96cd533671129f148c60fca1fba

Observation 5ad30b85-c67f-4f28-a20b-367255729990 · outbound

This paper cites Symbolic Logic 41 (1976), 557–559.

Lifting countable to uncountable mathematics Symbolic Logic 41 (1976), 557–559

Reference 14

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:24:40.386436Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.017143Z digest=sha256:5ea1aaff334260b8a33a081a3c6bb6307029b2336914d898b7a687def20ef84d

Observation 092b169a-381f-4b9e-8c31-a46bcf1e20a9 · outbound

This paper cites Simpson, and Rick L.

Lifting countable to uncountable mathematics Simpson, and Rick L

Reference 15

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:24:40.369315Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.022390Z digest=sha256:c91a2bd1f23adf92928242ac152972081c6ad6dff7c31428ccf67e1a4449d5ab

Observation 062a077b-ddcd-4f50-9769-db2b4d440c2d · outbound

This paper cites Fr¨ ohlich and J.

Lifting countable to uncountable mathematics Fr¨ ohlich and J

Reference 16

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:24:40.350600Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.028873Z digest=sha256:90f88580972ec7ddb0ceb89342b777d0696292c3ae265152657c3c24f5309da9

Observation 3c31bf42-da72-4fb8-9162-28f2d950dfe8 · outbound

This paper cites an unresolved cited work.

Lifting countable to uncountable mathematics Unresolved cited work

Reference 17

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:24:40.334655Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.035235Z digest=sha256:bbef63f863d3b5c65803c67b3615d7f72fd1a961aec431abeffb90949c1a85f2

Observation 96ca09c4-87b5-4b67-9a71-21921e187190 · outbound

This paper cites Symbolic Logic 56 (1991), no.

Lifting countable to uncountable mathematics Symbolic Logic 56 (1991), no

Reference 18

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:24:40.316957Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.041325Z digest=sha256:f823f25007b418559b2aa758a897a5f2ea71afd4d688460fb311a13ebb5bf808

Observation 391f213c-877b-45dc-9c7d-d89db80af0fe · outbound

This paper cites Thesis (Ph.D.)–The Pennsylvania State University.

Lifting countable to uncountable mathematics Thesis (Ph.D.)–The Pennsylvania State University

Reference 19

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:24:40.303587Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.047212Z digest=sha256:4fb66bcbd5b5061bd496df3c28cd25cfe3757af78183b4ecb719a6fc3078da86

Observation 47ee759f-cc7e-4ac0-83f3-2e59763c084a · outbound

This paper cites 1876, Springer, 2006.

Lifting countable to uncountable mathematics 1876, Springer, 2006

Reference 20

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:24:40.290695Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.053435Z digest=sha256:8fac5b1adc116402548dfe0d0c9d4d6625a2a32cd466f1dcb835607ec7857506

Observation 3bd88c26-76da-4f04-b72b-0cfd03139e52 · outbound

This paper cites I , Zweite Auflage.

Lifting countable to uncountable mathematics I , Zweite Auflage

Reference 21

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:24:40.276981Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.058101Z digest=sha256:b6a9e70105242ce278526fd134882de13cb6859fe70466aca4291f5f13156b56

Observation 8976ef66-9f1a-4522-9795-e4a304217de0 · outbound

This paper cites II , Zweite Auflage.

Lifting countable to uncountable mathematics II , Zweite Auflage

Reference 22

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:24:40.262620Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.064446Z digest=sha256:16025fc765bc2bb0051007df0586ea3de60845502efb3a465b952ccb8f00c7a7

Observation 65037731-25d0-4ba9-982d-c6da76c60ae4 · outbound

This paper cites Thesis (Ph.D.)–The University of Wisconsin - Madison.

Lifting countable to uncountable mathematics Thesis (Ph.D.)–The University of Wisconsin - Madison

Reference 23

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:24:40.249911Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.069502Z digest=sha256:d851dc27a086ec027fdb9bbfabd234f226cc00adbb8a3b927f89c4d08ca573a8

Observation a808be8d-306b-42db-921c-320eaa620a87 · outbound

This paper cites 87, American Mathematical Society, Providen ce, RI; Mathematics Advanced Study Semesters, University Park, PA, 2018.

Lifting countable to uncountable mathematics 87, American Mathematical Society, Providen ce, RI; Mathematics Advanced Study Semesters, University Park, PA, 2018

Reference 24

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:24:40.232565Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.074215Z digest=sha256:5aab75a42adca4a7c517285eff9ca811f6bab554a6fb0df520923f7ed5577821

Observation c47f339b-c4cd-4aa2-82e8-6d2abac9206e · outbound

This paper cites Kelley, General topology, Springer-Verlag, 1975.

Lifting countable to uncountable mathematics Kelley, General topology, Springer-Verlag, 1975

Reference 25

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:24:40.216199Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.079171Z digest=sha256:08637f4ee387a67c3e193046851f027d6f794ccb8582f92e1b794ad954d871a1

Observation b956ad8c-ee6b-4e6d-ab12-efc16050e19a · outbound

This paper cites Notes Log., vol.

Lifting countable to uncountable mathematics Notes Log., vol

Reference 26

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:24:40.196543Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.083624Z digest=sha256:42bcebb3af7ac80fd9b759579fa0badc83ba06b55a18f326f822bc22a19ff7f6

Observation e1e0c8c8-d3df-4f55-9173-99fd602985fd · outbound

This paper cites Notes Log., vol.

Lifting countable to uncountable mathematics Notes Log., vol

Reference 27

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:24:40.176158Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.088464Z digest=sha256:82abfa5d86b4a756639c542a215ad13008d93e761ec9b75334f74ce8268e4155

Observation a6b7cb88-bf05-40db-aa9c-1f5b690aad8d · outbound

This paper cites Kreisel and A.

Lifting countable to uncountable mathematics Kreisel and A

Reference 28

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:24:39.993482Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.093964Z digest=sha256:a3c03ff6d2f16ec9f9a692b82519229c2f5919c7b682ec907509f4f26eb059eb

Observation c06f0c27-8601-41f1-a5d0-7cb2eaefbb84 · outbound

This paper cites an unresolved cited work.

Lifting countable to uncountable mathematics Unresolved cited work

Reference 29

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:24:39.974770Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.098142Z digest=sha256:f32e5d74063d00e62a73b4694043efa284bc037b4059d25aacd28da7d9a0eea3

Observation 8b96f41a-62ea-4ba3-a363-e039ab24dbdd · outbound

This paper cites an unresolved cited work.

Lifting countable to uncountable mathematics Unresolved cited work

Reference 30

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:24:39.954546Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.101981Z digest=sha256:fe1f9125263a7d13b9fd40b81a9aefe64d25e53fbff70acdab5435c9bdb89ebb

Observation fe1c447f-52c7-4772-a0eb-9c10b1c511d1 · outbound

This paper cites Muldowney, A general theory of integration in function spaces, includi ng Wiener and Feynman integration, Vol.

Lifting countable to uncountable mathematics Muldowney, A general theory of integration in function spaces, includi ng Wiener and Feynman integration, Vol

Reference 31

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:24:39.935071Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.105763Z digest=sha256:802f76fb3b47d0d863a0b56f03689852b296e3d58d072397b2b88409058c5391

Observation bb24d492-1fd1-43c5-803d-3e7737e819ab · outbound

This paper cites an unresolved cited work.

Lifting countable to uncountable mathematics Unresolved cited work

Reference 32

Resolution
verified exact
doi, observed 2026-08-14T13:24:39.315583Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.109472Z digest=sha256:d093bfacf2de1230934b6e2f76301742f543ed9363d58616056b9561439cff91

Observation 5b891e7b-4d47-40c6-9b61-94125fd070af · outbound

This paper cites On the logical and computational properties of the Vitali covering theorem.

Lifting countable to uncountable mathematics On the logical and computational properties of the Vitali covering theorem

Reference 33

Resolution
verified exact
local_arxiv, observed 2026-08-14T13:24:39.407646Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.113392Z digest=sha256:a24b4198dc87e9010cdccef1da4118db31794f3dd2fc2a75742b135ae7b05ff0

Observation 7288f39d-8041-4f63-bfb1-b915a1eede79 · outbound

This paper cites an unresolved cited work.

Lifting countable to uncountable mathematics Unresolved cited work

Reference 34

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:24:39.916807Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.117818Z digest=sha256:6aafa319daaef528c1aad287d5857883840d057b0cc306ad56b31f137610c045

Observation 410f42a4-ec2e-472e-a8e4-90405d917b00 · outbound

This paper cites Pure Appl.

Lifting countable to uncountable mathematics Pure Appl

Reference 35

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:24:39.896069Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.122262Z digest=sha256:c081b21830b3d140c0cc6a89d7f53a82c3b5229b6830e67cdb845af0430c6cb0

Observation df439b0e-0cb0-4ab7-acfc-b6984f681b14 · outbound

This paper cites The Axiom of Choice in Computability Theory and Reverse Mathematics, with a cameo for the Continuum Hypothesis.

Lifting countable to uncountable mathematics The Axiom of Choice in Computability Theory and Reverse Mathematics, with a cameo for the Continuum Hypothesis

Reference 36

Resolution
verified exact
local_arxiv, observed 2026-08-14T13:24:39.385917Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.126312Z digest=sha256:711f3f81693c45317b1bed0aeda0cde4064eacd7a5df7597f8de19a4aa74e4c7

Observation be0f5d0f-b792-47ea-aee4-5ea676966521 · outbound

This paper cites an unresolved cited work.

Lifting countable to uncountable mathematics Unresolved cited work

Reference 37

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:24:39.868086Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.132280Z digest=sha256:e85bcd11a3e16fd75ab718c75d5f5dfba777febd2f7dca343de5e7bc454174a6

Observation 353de0a4-2fbb-4812-b4de-81e28e1c5dd5 · outbound

This paper cites Rado, Axiomatic treatment of rank in infinite sets , Canadian J.

Lifting countable to uncountable mathematics Rado, Axiomatic treatment of rank in infinite sets , Canadian J

Reference 38

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:24:39.849261Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.137379Z digest=sha256:16bd27b2d825bce6a53d93a3bef0f15f5aa794e12681fb0ac5062cf9e605b278

Observation af69942d-1c82-4325-bee2-2cbc4e6eac7a · outbound

This paper cites an unresolved cited work.

Lifting countable to uncountable mathematics Unresolved cited work

Reference 39

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:24:39.827390Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.144459Z digest=sha256:869d17c3a6fad3b8297a269676ed56b0284df1fe0d32edc05e162f1019324e20

Observation 7974fa49-8ba6-49c5-aa45-354a6ca699d9 · outbound

This paper cites an unresolved cited work.

Lifting countable to uncountable mathematics Unresolved cited work

Reference 40

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:24:39.804140Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.149260Z digest=sha256:9888b26f9810d9ac5690fe24f4796f2df0925a150c47571e2229bdce4c24a25e

Observation 90857e6c-1b6f-4fee-ab89-c450a11966f4 · outbound

This paper cites an unresolved cited work.

Lifting countable to uncountable mathematics Unresolved cited work

Reference 41

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:24:39.778719Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.154262Z digest=sha256:9d167ecb7e9d0120f0ce034b4fde2196ded83a7344c7f7be43593ba8a59247e9

Observation e980d26f-72e6-4b54-8979-440a6b4da688 · outbound

This paper cites an unresolved cited work.

Lifting countable to uncountable mathematics Unresolved cited work

Reference 42

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:24:39.756372Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.159534Z digest=sha256:c82556b9b7a193c917344767fb95235c26a4a7b8c77a18f7e8cd06ab5a5684ed

Observation e16780cb-4478-4c40-8ae0-bec0109ba657 · outbound

This paper cites an unresolved cited work.

Lifting countable to uncountable mathematics Unresolved cited work

Reference 43

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:24:39.731427Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.163947Z digest=sha256:5e3c6021bd35a14729bc8d884265eb136201cfee05f81449776f2aa6e2e518ef

Observation 86177026-9428-4acf-90c6-b0a7948b6d05 · outbound

This paper cites an unresolved cited work.

Lifting countable to uncountable mathematics Unresolved cited work

Reference 44

Resolution
verified exact
doi, observed 2026-08-14T13:24:39.295199Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.168957Z digest=sha256:c6eecfd9369c5a2e1696f0ae3420a25d9f64f176fbc81aa0468b5bf28fdc3a62

Observation f040861a-1772-4e1e-810e-f29dc5b3c892 · outbound

This paper cites Plato and the foundations of mathematics.

Lifting countable to uncountable mathematics Plato and the foundations of mathematics

Reference 45

Resolution
verified exact
local_arxiv, observed 2026-08-14T13:24:39.364489Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.173397Z digest=sha256:cda4a83f9c4999f3de342aae0bc2c6f8fd0b2d0c027db1c187a05a0b3eeb34f0

Observation 6bc23362-cb45-404d-8e94-c11e083938b5 · outbound

This paper cites an unresolved cited work.

Lifting countable to uncountable mathematics Unresolved cited work

Reference 46

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:24:39.710184Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.177697Z digest=sha256:b7c4be2972800b382551af781b569a092957d4b0539b243df6f496c7b84fbe3d

Observation bb20fe12-af03-4375-ad4d-28c8a71f1326 · outbound

This paper cites an unresolved cited work.

Lifting countable to uncountable mathematics Unresolved cited work

Reference 47

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:24:39.685367Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.181365Z digest=sha256:578b5cd196f62e1bb73aa202ca5fd3ff28415db2d734ea8011af2778c5d4a064

Observation 14251db5-9bff-454b-a3cf-c806d57e38f0 · outbound

This paper cites Reverse Mathematics of topology: dimension, paracompactness, and splittings.

Lifting countable to uncountable mathematics Reverse Mathematics of topology: dimension, paracompactness, and splittings

Reference 48

Resolution
verified exact
local_arxiv, observed 2026-08-14T13:24:39.339849Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.185734Z digest=sha256:6492ddfd155cdae202890fda71dfea3c75bbd045265d885e546c7ece6f965e08

Observation 91c716d5-2b20-49ec-a7b8-fbc2a7b431c2 · outbound

This paper cites Simpson and J.

Lifting countable to uncountable mathematics Simpson and J

Reference 49

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:24:39.662465Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.190262Z digest=sha256:de4886353912d22bafd05879fbfeea3a6deabd68074cd118d203cb4b4ed02350

Observation 86e62ad6-ee8e-4c4c-8b61-bfb3b4757e2e · outbound

This paper cites Simpson (ed.), Reverse mathematics 2001 , Lecture Notes in Logic, vol.

Lifting countable to uncountable mathematics Simpson (ed.), Reverse mathematics 2001 , Lecture Notes in Logic, vol

Reference 50

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:24:39.646503Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.195501Z digest=sha256:fb1bdfb56defcf2298bb2dd49f3d4b09458e098ed3af5c4897f72883cb4b3689

Observation 78c14e39-d91a-4302-b97c-4a55897c5937 · outbound

This paper cites an unresolved cited work.

Lifting countable to uncountable mathematics Unresolved cited work

Reference 51

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:24:39.627435Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.201032Z digest=sha256:7ad6aa4e98108e0b2f11a727e0fd79730c7fce35a20cdd6bbcb1fb3e603a63a8

Observation 453937e6-6a69-4de5-aed4-9352cc430bfa · outbound

This paper cites Symbolic Logic 14 (1949), 145–158 (German).

Lifting countable to uncountable mathematics Symbolic Logic 14 (1949), 145–158 (German)

Reference 52

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:24:39.612227Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.205750Z digest=sha256:3ee48996942adc86e4d2caf88aaefbbc9479344ee99fb990f8158a6fcfd6db69

Observation 6ab8e14c-5e8d-4d62-9080-6cd84e385216 · outbound

This paper cites Stillwell, Reverse mathematics, proofs from the inside out , Princeton Univ.

Lifting countable to uncountable mathematics Stillwell, Reverse mathematics, proofs from the inside out , Princeton Univ

Reference 53

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:24:39.588279Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.209974Z digest=sha256:494d2189e0a4c5f6892d55d7e39a2a83be37f1d4c62ca9fe9c1d327ac75d5f8f

Observation fc0c43e0-e8a4-4320-81a7-9944b2aa43c3 · outbound

This paper cites an unresolved cited work.

Lifting countable to uncountable mathematics Unresolved cited work

Reference 54

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:24:39.565956Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.216075Z digest=sha256:87d29b6a5db99de8972de8c69a338152b6c24266e11e4c5fa284086f99734d7a

Observation 7d6f0a66-1035-4bcd-a6e5-4638e58e2cde · outbound

This paper cites 81, North-Holland, 1987.

Lifting countable to uncountable mathematics 81, North-Holland, 1987

Reference 55

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:24:39.545707Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.220735Z digest=sha256:00614f213dd0a1edfe0c254a4984951b2159b43e286935aea4141d3dc9c4d561

Observation fecbba77-5ab2-4ec2-ba4b-f34ec7026353 · outbound

This paper cites Lecture Notes in Mathematics, Vol.

Lifting countable to uncountable mathematics Lecture Notes in Mathematics, Vol

Reference 56

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:24:39.518847Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.225662Z digest=sha256:a37a0dfee8db934c52a1484874dcece4c8ac3ff3b312670b15cafe0716a3622a

Observation c5c1d959-2ab8-45ee-a00e-36716755ea55 · outbound

This paper cites an unresolved cited work.

Lifting countable to uncountable mathematics Unresolved cited work

Reference 57

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:24:39.496797Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.230825Z digest=sha256:feca6c49b2506b8e24002cb5805429186f9ad4fb45cef754bab1952ca082b9bc

Observation 325f7eaa-44db-483a-97da-233c38574026 · outbound

This paper cites an unresolved cited work.

Lifting countable to uncountable mathematics Unresolved cited work

Reference 58

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:24:39.475106Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.238487Z digest=sha256:76d5b226225d06020137482cbe18442c2aac5eb511f290ef3b619224667a6eba

Observation 9105216f-ab9a-49af-869c-007408ea3b53 · outbound

This paper cites an unresolved cited work.

Lifting countable to uncountable mathematics Unresolved cited work

Reference 59

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:24:39.447306Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:39.243859Z digest=sha256:93ee63a7613ce76f76ba91a95efd522d27db0a8d17d9e3b616e23bc293ddfa64

Pith citing papers

Observation 3b8d60ac-a406-4667-87d3-0d854e9cda3a · inbound

Plato and the foundations of mathematics cites this paper.

Plato and the foundations of mathematics Lifting countable to uncountable mathematics

Reference 76

Resolution
metadata mismatch
local_arxiv, observed 2026-08-14T13:24:44.356981Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

source=pdf_text observed=2026-08-14T13:24:43.971134Z digest=sha256:5deeb9928736fefeac5feeb7c53827809d02dd25c46f7efbae902dba37b8b4d7