Researcher profile

Rodrigo Peláez

Rodrigo Peláez contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

math.LO

Trust snapshot

Quick read

Trust 11 - UnverifiedVerification L1Unclaimed author

1works

0followers

1topics

2close collaborators

Actions

Decide how to stay connected

Follow researcher0

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2011arXiv

On many-sorted $ω$-categorical theories

We prove that every many-sorted $ω$-categorical theory is completely interpretable in a one-sorted $ω$-categorical theory. As an application, we give a short proof of the existence of non $G$--compact $ω$-categorical theories.

Rodrigo Peláez

Quick read

Decide how to stay connected

How to connect with this researcher

Open a focused conversation when the fit is right

See the researcher in context

Building this graph slice

1 published item(s)

On many-sorted $ω$-categorical theories