Main

processing priority

4

site type

3 (personal blog or private political site, e.g. Blogspot, Substack, also small blogs on own domains)

review version

11

html import

20 (imported)

Events

first seen date

2024-10-13 09:21:00

expired found date

-

created at

2024-10-13 09:21:00

updated at

2026-01-31 18:54:44

Domain name statistics

length

21

crc

10095

tld

2211

nm parts

0

nm random digits

0

nm rare letters

0

Connections

is subdomain of id

13642151 (wordpress.com)

previous id

0

replaced with id

0

related id

-

dns primary id

0

dns alternative id

0

lifecycle status

0 (unclassified, or currently active)

Subdomains and pages

deleted subdomains

0

page imported products

0

page imported random

0

page imported parking

0

Error counters

count skipped due to recent timeouts on the same server IP

0

count content received but rejected due to 11-799

0

count dns errors

0

count cert errors

0

count timeouts

0

count http 429

0

count http 404

0

count http 403

0

count http 5xx

0

next operation date

-

Server

server bits

server ip

-

Mainpage statistics

mp import status

20

mp rejected date

-

mp saved date

-

mp size orig

349323

mp size raw text

45487

mp inner links count

20

mp inner links status

20 (imported)

Open Graph

title

fff

description

Forking, Forcing and back&Forthing

image

site name

fff

author

updated

2026-01-30 12:31:45

raw text

fff | Forking, Forcing and back&Forthing fff Forking, Forcing and back&Forthing Skip to content Home About fff ← Older posts Link Map of the Universe I just stumbled across a very neat map of the known (model-theoretic) universe, created by UIC graduate student Gabriel Conant: http://www.forkinganddividing.com/ I often used to dream of having some kind of reference for “Counterexamples in Model Theory,” and I’m really glad that something like this has finally been made. Leave a comment Posted on 25/08/2013 by John Goodrick in General Tagged Model theory Interpretations Posted on 18/08/2013 by andrescaicedo | 4 comments (This started as an answer on Math.Stackexchange . This version has been lightly edited and expanded. Also posted at my blog .) Throughout this post, theory means first-order theory . In fact, we are concerned with theories that are recursively presented, though the abstract framework applies more generall...

Text analysis

redirect type

0 (-)

block type

0 (no issues)

detected language

1 (English)

category id

SEC and Crypto [en] (228)

index version

2025123101

spam phrases

0

Text statistics

text nonlatin

0

text cyrillic

0

text characters

34593

text words

7007

text unique words

1610

text lines

1116

text sentences

347

text paragraphs

116

text words per sentence

20

text matched phrases

10

text matched dictionaries

6

RSS

rss status

32 (unknown)

rss found date

2024-10-13 09:21:01

rss size orig

270849

rss items

10

rss spam phrases

0

rss detected language

1 (English)

inbefore feed id

-

inbefore status

0 (new)

Sitemap

sitemap status

40 (completed successful import of reports.txt file to table in_pages)

sitemap review version

2

sitemap urls count

17

sitemap urls adult

0

sitemap filtered products

0

sitemap filtered videos

0

sitemap found date

2024-10-13 09:21:01

sitemap process date

2024-10-13 09:21:02

sitemap first import date

-

sitemap last import date

2025-12-26 08:47:53