The following pages link to Alessandro Berarducci (Q361790):
Displaying 50 items.
- Discrete subgroups of locally definable groups (Q361793) (← links)
- A descending chain condition for groups definable in o-minimal structures (Q556829) (← links)
- Higher homotopy of groups definable in o-minimal structures (Q616515) (← links)
- (Q624900) (redirect page) (← links)
- Group covers, o-minimality, and categoricity (Q624901) (← links)
- On the provability logic of bounded arithmetic (Q685071) (← links)
- Groups definable in two orthogonal sorts (Q891089) (← links)
- Products of straight spaces (Q1013834) (← links)
- Automatic synthesis of typed \(\Lambda\)-programs on term algebras (Q1079357) (← links)
- Combinatorial principles in elementary number theory (Q1182430) (← links)
- Infinite \(\lambda\)-calculus and types (Q1275621) (← links)
- Some new results on easy lambda-terms (Q1314346) (← links)
- On the cop number of a graph (Q1325748) (← links)
- Cardinal invariants and independence results in the poset of precompact group topologies (Q1380060) (← links)
- An effective version of Wilkie's theorem of the complement and some effective o-minimality results. (Q1428036) (← links)
- Functions with distant fibers and uniform continuity (Q1612190) (← links)
- Uniform quasi components, thin spaces and compact separation (Q1612234) (← links)
- Surreal numbers, derivations and transseries (Q1708554) (← links)
- An additivity theorem for uniformly continuous functions (Q1763603) (← links)
- A Vietoris-Smale mapping theorem for the homotopy of hyperdefinable sets (Q1783980) (← links)
- Intersection theory for o-minimal manifolds (Q1840458) (← links)
- \(\Delta_ 0\)-complexity of the relation \(y= \prod_{i\leq n} F(i)\) (Q1899142) (← links)
- On the value group of the transseries (Q1979488) (← links)
- Local connectedness and extension of uniformly continuous functions (Q2433696) (← links)
- Provability logic: models within models in Peano arithmetic (Q2701199) (← links)
- General recursion on second order term algebras (Q2778868) (← links)
- Topology of definable abelian groups in o-minimal structures (Q2893264) (← links)
- On the homotopy type of definable groups in an o-minimal structure (Q3004908) (← links)
- Infinite paths and cliques in random graphs (Q3112380) (← links)
- A recursive nonstandard model of normal open induction (Q3128470) (← links)
- o-MINIMAL FUNDAMENTAL GROUP, HOMOLOGY AND MANIFOLDS (Q3151098) (← links)
- Transfer methods for o-minimal topology (Q3160569) (← links)
- Cohomology of groups in o-minimal structures: acyclicity of the infinitesimal subgroup (Q3399182) (← links)
- (Q3837724) (← links)
- A self-interpreter of lambda calculus having a normal form (Q4283231) (← links)
- Transseries as germs of surreal functions (Q4645127) (← links)
- An additive measure in o-minimal expansions of fields (Q4676280) (← links)
- Factorization in generalized power series (Q4699622) (← links)
- (Q4722040) (← links)
- (Q4732443) (← links)
- (Q4837694) (← links)
- (Q4896520) (← links)
- o-MINIMAL COHOMOLOGY: FINITENESS AND INVARIANCE RESULTS (Q4933184) (← links)
- (Q4941990) (← links)
- Cartan subgroups and regular points of o‐minimal groups (Q4973661) (← links)
- ASYMPTOTIC ANALYSIS OF SKOLEM’S EXPONENTIAL FUNCTIONS (Q5082063) (← links)
- The interpretability logic of Peano arithmetic (Q5202653) (← links)
- Corrigendum to: “Transfer methods for o-minimal topology” (Q5422320) (← links)
- O-minimal spectra, infinitesimal subgroups and cohomology (Q5444693) (← links)
- (Q5457299) (← links)
