:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Codenotti, Alessandro, Kwiatkowska, Aleksandra
Format:	Preprint
Published:	2022
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2210.06899
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Projective Fraïssé limits of trees with confluent epimorphisms
by: Charatonik, Włodzimierz J., et al.
Published: (2023)

Topological properties of Wazewski dendrite groups
by: Duchesne, Bruno
Published: (2019)

Extensive embeddings into Fraïssé structures and stationary weak independence relations
by: Kwiatkowska, Aleksandra, et al.
Published: (2025)

Fixed points on null and tame flows for groups of automorphisms
by: Codenotti, Alessandro
Published: (2025)

On the computability of cofinal Fraïssé limits
by: Ackerman, Nathanael, et al.
Published: (2026)

On some Fraisse limits with free amalgamation
by: Bossut, Yvon
Published: (2024)

Fraïssé limit and Ramsey Theorem: the case of MV-algebras and a categorical generalization
by: Russo, Ciro
Published: (2025)

The projective Fra\"ıssé limit of the family of all connected finite graphs with confluent epimorphisms
by: Charatonik, Włodzimierz J., et al.
Published: (2022)

Homeomorphisms of continua through projective Fraïssé limits
by: Poór, Márk, et al.
Published: (2025)

Logical GANs: Adversarial Learning through Ehrenfeucht Fraisse Games
by: Mannucci, Mirco A.
Published: (2025)

Hybrid-Dynamic Ehrenfeucht-Fraisse Games
by: Badia, Guillermo, et al.
Published: (2024)

A New Ehrenfeucht-Fraïssé Game for Dependence Logic
by: Puljujärvi, Joni, et al.
Published: (2026)

Embeddings into the generic poset
by: Kwiatkowska, Aleksandra, et al.
Published: (2025)

Surfaces and other Peano Continua with no Generic Chains
by: Basso, Gianluca, et al.
Published: (2024)

Ehrenfeucht-Fraïssé Games for Continuous First-Order Logic
by: Hirvonen, Åsa, et al.
Published: (2024)

Homological algebra of pro-Lie Polish abelian groups
by: Casarosa, Matteo, et al.
Published: (2024)

Universal homogeneous two-sorted ultrametric spaces
by: Bartoš, Adam, et al.
Published: (2026)

Probabilistic Model Checking: Applications and Trends
by: Kwiatkowska, Marta, et al.
Published: (2025)

Homogeneity of the Lévy collapse from the perspective of Fraïssé theory
by: Kostana, Ziemowit
Published: (2026)

Fraïssé's Conjecture and big Ramsey degrees of structures admitting finite monomorphic decomposition
by: Mašulović, Dragan, et al.
Published: (2024)

Fraïssé's conjecture, partial impredicativity and well-ordering principles, part I
by: Freund, Anton
Published: (2024)

Provable Preimage Under-Approximation for Neural Networks (Full Version)
by: Zhang, Xiyue, et al.
Published: (2023)

Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability
by: Orvalho, Pedro, et al.
Published: (2026)

Towards Probabilistic Strategic Timed CTL
by: Jamroga, Wojciech, et al.
Published: (2026)

PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks
by: Zhang, Xiyue, et al.
Published: (2024)

A Fraïssé theory for partial orders of a fixed finite dimension
by: Smythe, Iian B., et al.
Published: (2024)

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems
by: Roy, Rajarshi, et al.
Published: (2025)

Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits
by: Orvalho, Pedro, et al.
Published: (2025)

Being polite is not enough (and other limits of theory combination)
by: Toledo, Guilherme V., et al.
Published: (2025)

Strategy Synthesis for Zero-Sum Neuro-Symbolic Concurrent Stochastic Games
by: Yan, Rui, et al.
Published: (2022)

About Time: Model-free Reinforcement Learning with Timed Reward Machines
by: Roy, Rajarshi, et al.
Published: (2025)

Strong Projective Witnesses
by: Fischer, Vera, et al.
Published: (2026)

Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks
by: König, Matthias, et al.
Published: (2024)

A Linear Temporal Logic of Frequencies on Series of Events
by: Antonelli, Melissa, et al.
Published: (2026)

Generically hereditarily equivalent continua and topological characterization of generic maximal chains of generalized Ważewski dendrites
by: Silva, Bryant Rosado, et al.
Published: (2024)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
by: Artale, Alessandro, et al.
Published: (2025)

Notes on the coexistence of limit notions
by: Yamazoe, Takashi
Published: (2024)

Found in Translation: at the limits of the Hudetz program
by: Meadows, Toby
Published: (2025)

Additivity of derived limits in the Cohen model
by: Bannister, Nathaniel
Published: (2023)

Transfer of generalized amalgamation in simple theories
by: Schilling, Baptiste
Published: (2026)